030100.62-01 Логика

ЛОГИКА
ИСПН 62.2010
Программа дисциплины
(Стандарт Б.3)
5. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ
5.1. Рекомендуемая литература
5.1.1. Основная литература
1. Бочаров В.А., Маркин В.И. Введение в логику: Учебник. М., 2008.
2. Демидов И В. Логика: метод. указания и практ. задания студентам для самостоятельной
работы. 2-е изд. М., 2010.
3. Демидов И.В. Логика: учебник. 5-е изд., испр. М., 2009.
4. Попов Ю.П. Логика: учеб. пособие для студентов вузов, обучающихся по направлению
подгот. 520400 (030100) - Философия и специальности 020100 (030101). 3-е изд., перераб. и
доп. М., 2009.
5.1.2. Дополнительная литература
1. Аристотель. Соч. в 4 т. Т. 2. М., 1978.
2. Асмус В.Ф. Учение логики о доказательстве и опровержении. М., 1954.
3. Бочаров В.А., Маркин В.И. Основы логики: Учебник. М., 1997.
4. Бродский И.Н. Элементарное введение в символическую логику. Л., 1972.
5. Войшвилло Е.К. Понятие как форма мышления. М., 1989.
6. Брюшинкин В.Н. Логика. М., 2001.
7. Войшвилло Е.К., Дегтярев М.Г. Логика: Учебник для вузов. М., 1998.
8. Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
9. Гильберт Д., Бернайс П. Основания математики: Логические исчисления и формализация
арифметики. М., 1979.
10. Ивлев Ю.В. Логика: Учебник. М., 1992.
11. Клини С. Математическая логика. М., 1973.
12. Костюк В.Н. Элементы модальной логики. Киев, 1978.
13. Котарбиньский Т. Лекции по истории логики. М., 1958.
14. Логический словарь: ДЕФОРТ. М., 1994.
15. Математическая теория логического вывода. М., 1967.
16. Мельников А.Н. Сборник задач по логике. Киев, 1990
17. Мендельсон Э. Введение в математическую логику. М., 1984.
18. Меськов В.Н., Карпинская О.Ю. и др. Логика: наука и искусство. М., 1993.
19. Минто В. Дедуктивная и индуктивная логика. Екатеринбург, 1997.
20. Непейвода Н.Н. Прикладная логика: Учеб. пособие. Новосибирск, 2000.
21. Новиков П.С. Элементы математической логики. М., 1973.
22. Сборник упражнений по логике. Минск, 1991.
23. Свинцов В.И. Логика. М., 1987.
24. Серебрянников О.Ф., Бродский И.Н. Дедуктивные умозаключения. Л., 1969.
25. Символическая логика: Учебник. СПб., 2005.
26. Стяжкин Н.И. Формирование математической логики. М., 1948.
27. Тарский А. Введение в логику и методологию дедуктивных наук. М., 1948.
28. Упражнения по логике. М., 1993.
29. Формальная логика. Л., 1977.
30. Фреге Г. Логика и логическая семантика: Сборник трудов. М., 2000.
31. Челпанов Г.И. Учебник логики. М., 1994.
32. Чёрч А. Введение в математическую логику. М., 1960., Т.1.
5.1.3. Методические разработки
1. Долгоруков В.В. Табличные методы для классической логики высказываний и классической
логики предикатов. Екатеринбург, 2008.(http://www.hse.ru/org/persons/14260246).
2. Кислов А.Г. Аксиоматическое исчисление высказываний: Задания для самостоятельной
работы по логике для студентов философского факультета. Екатеринбург, 1996.
3. Лобовиков В.О. Алгебра высказываний: Задачи для самостоятельной работы по логике для
студентов философского факультета: Учеб. пособие. Свердловск, 1980.
4. Лобовиков В.О. Натуральное исчисление высказываний: Задания для самостоятельной работы
по логике для студентов философского факультета: Учеб. пособие. Свердловск, 1980.
5.2.




Электронные образовательные ресурсы
Национальная философская энциклопедия http://terme.ru
Философский портал http://www.philosophy.ru
Портал «Философия online» http://phenomen.ru
Электронная библиотека по философии http://filosof.historic.ru
9. ПЕРЕЧЕНЬ КЛЮЧЕВЫХ СЛОВ ДИСЦИПЛИНЫ
№
раздела
Р1
Р1.Т1
Р1.Т2
Р2
Р2.Т1
Р2. Т2
Р2.Т3
Р2.Т4
Р2.Т5
Р3
Р3. Т1
Р3.Т2
Р3.Т3
Р4
Р4.Т1
Р4.Т2
Р4.Т3
Р4. Т4
Наименование раздела,
темы
Ключевые слова
Раздел I. Предмет и значение логики
Тема 1. Логика как наука
Предмет логики. Формы рационального познания. Рассуждение.
Метод познания. История логики.
Тема 2. Логическая форма,
Умозаключение. Логический анализ языка. Логический закон.
логическое следование и
Логическая теория.
логический закон
Раздел II. Классическая логика высказываний
Тема 1. Синтаксис логики
Алфавит логики высказываний. Атомарные высказывания.
высказываний
Пропозициональные связки. Формулы логики высказываний.
Тема 2. Семантика
Интерпретация пропозициональных переменных. Определение
классической логики
пропозициональных связок. Таблицы истинности. Виды формул
высказываний
логики высказываний.
Тема 3. Логические
Фундаментальные и производные логические отношения. Анализ
отношения между
умозаключений. Метод аналитических таблиц для классической
формулами
логики высказываний.
Тема 4. Алгебра
Равносильные преобразования формул. Нормальные формы.
классической логики
Анализ формул и логического следования посредством
высказываний
нормальных форм.
Тема 5. Исчисления
Теория дедукции. Система натурального исчисления классической
классической логики
логики высказываний. Ааксиоматическая система исчисления
высказываний
классической логики высказываний.
Раздел III. Классическая логика предикатов первого порядка
Тема 1. Синтаксис логики
Алфавит логики предикатов первого порядка. Термы и формулы
предикатов первого порядка
логики предикатов первого порядка.
Тема 2. Семантика
Интерпретация языка классической логики предикатов первого
классической логики
порядка. Виды формул классической логики предикатов. Метод
предикатов первого порядка
аналитических таблиц для классической логики предикатов.
Тема 3. Исчисления
Система натурального исчисления классической логики
классической логики
предикатов первого порядка. Аксиоматическая система
предикатов первого порядка
исчисления классической логики предикатов первого порядка.
Раздел IV. Силлогистика
Тема 1. Силлогистические
Категорические атрибутивные высказывания. Виды
теории
силлогистических теорий. Понятие силлогистической формулы.
Семантика традиционной силлогистики.
Тема 2. Непосредственные
Логический квадрат. Обращение. Непосредственные
умозаключения
умозаключения в негативной силлогистике: превращение,
противопоставление предикату и др.
Тема 3. Простой
Фигуры и модусы простого категорического силлогизма. Общие
категорический силлогизм
правила силлогизма. Специальные правила фигур. Энтимемы.
Сложные силлогизмы.
Тема 4. Силлогистика и
Перевод категорических атрибутивных высказываний средствами
современная логика
логики предикатов. Традиционная силлогистика и метод
аналитических таблиц.
Р5
Р5.Т1
Р5.Т2
Р5. Т3
Р6
Р6. Т1
Р6. Т2
Р6. Т3
Р7
Р7. Т1
Р7. Т2
Р7. Т3
Р8
Р8. Т1
Р8. Т2
Раздел V. Понятие
Тема 1. Общая
характеристика понятий
Тема 2. Операции над
понятиями
Тема 3. Отношения между
понятиями
Раздел VI. Определение
Тема 1. Теоретикопознавательные
характеристики определений
Тема 2. Виды определений
Роль понятий в познании и коммуникации. Языковая форма
представления понятий. Объем и содержание понятий. Виды
понятий.
Булевы операции над понятиями. Операции ограничения и
обобщения понятий. Деление понятий. Операция классификации.
Фундаментальные отношения между понятиями. Производные
отношения между понятиями. Закон обратного отношения.
Понятие определения. Роль определений в познании.
Явные определения. Неявные определения. Другие виды
определений.
Тема 3. Требования к
Содержательные и формальные требования. Приемы, сходные с
корректности определений
определением.
Раздел VII. Правдоподобные рассуждения
Тема 1. Общие сведения о
Правдоподобное рассуждение. Массовые события. Вероятностная
правдоподобных
мера. Условная вероятность. Правдоподобное следование.
рассуждениях
Обобщающая индукция.
Тема 2. Методы
Причинная зависимость. Основные принципы исключающей
установления причинных
индукции. Метод сходства. Метод различия. Метод
связей
сопутствующих изменений. Метод корреляции.
Тема 3. Гипотеза и аналогия
Гипотетико-дедуктивный метод. Опровержение гипотез.
Подтверждение гипотез. Аналогия по свойствам. Аналогия по
отношениям.
Раздел VIII. Дополнительные сведения о современной логике
Тема 1. Неклассические
Неклассические логики. Неэкстенсиональные логики.
логики
Тема 2. Логический анализ
Теория. Операции над теориями. Отношения между теориями.
теорий
Метатеоретические свойства логических систем.