КарпенкоПрограммаЛогика

Государственный университет - Высшая школа экономики
Философский факультет
Программа дисциплины
Логика
Карпенко И.А, к.филос.н.
Москва, 2008
СОДЕРЖАНИЕ
1.
2.
3.
4.
5.
6.
7.
8.
Цель и задачи дисциплины ................................................................................................3
Требования к уровню освоения дисциплины ..................................................................3
Объем дисциплины и виды учебной работы ...................................................................4
Базовый учебник .................................................................................................................5
Формы контроля .................................................................................................................5
Содержание курса ...............................................................................................................5
Темы семинарских занятий ...............................................................................................7
Вопросы для подготовки к экзамену ..............................................................................10
2
1. Цель и задачи дисциплины
В ходе изучения науки логики студент получает шанс научиться
правильно рассуждать, то есть рассуждать, не допуская логических
ошибок, а также выявлять слабые места в чужих рассуждениях.
Инструмент символической логики позволяет узнать, из каких
ингредиентов состоит наш язык, каков их смысл и как правильно их
использовать и сочетать, чтобы выраженная мысль получалась точной
и однозначной. Логика выступает как увлекательная языковая игра, в
которой каждый может конструировать реальность по своему вкусу.
Ведь известно, что свойства действительности во многом зависят от
того, каким языком мы её описываем.
Цель курса
o формирование знаний о формах и приемах интеллектуальной
познавательной деятельности
o
o
o
o
o
Задачи курса
дать представление о логике как самостоятельной науке;
развить способность правильно рассуждать;
ознакомить с основными инструментами и понятиями логики;
изучить основные формы и приемы логического мышления;
освоить базовые логические системы
2. Требования к уровню освоения дисциплины
В результате изучения дисциплины специалист должен:
Знать
-
предмет логики;
понятийно-категориальный аппарат логики;
формы и приемы логического мышления;
методы дедуктивных рассуждений
Уметь
- логически грамотно выражать свои мысли;
- осуществлять логические операции с понятиями, суждениями и
рассуждениями;
- анализировать рассуждения естественного языка на предмет их
правильности;
3
- пользоваться инструментами математической логики для
доказательства истинности утверждений и обоснования правильности
рассуждений.
3. Объем дисциплины и виды учебной работы
Названия разделов и
тем
Предмет логики
Тема
1.
Основные
понятия науки логики и
её задачи
Тема 2. Правильные
рассуждения
Классическая логика
высказываний
Тема 3. Язык логики
высказываний
Тема 4. Теории
дедуктивных
рассуждений
Классическая логика
предикатов первого
порядка
Тема 1. Язык логики
предикатов
Тема 2. Интерпретации
и модели логики
предикатов
Теория понятий
Тема 1. Сущность
понятия, виды понятий
Тема 2. Операции над
понятиями и отношения
между понятиями
Силлогистика
Тема 1. Позитивная
силлогистика
Тема 2. Негативная
силлогистика
Всего часов
6
Виды учебных занятий
лекции семинары Самостоятельная
работа
4
2
10
4
6
8
4
4
4
2
2
8
4
4
4
Итого
36
18
18
4. Базовый учебник
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008
5. Формы контроля
o
o
o
o
текущий контроль (работа на семинарах);
промежуточный контроль (написание контрольной работы);
итоговый контроль (устный экзамен);
итоговая оценка (складывается из результата работы на семинарах,
результата письменной аудиторной контрольной работы и результата
экзамена).
6. Содержание курса
Раздел 1. Предмет логики
Тема 1. Формирование, основные понятия науки логики и её
задачи
Становление логики, как раздела научного знания. Логика как
нормативная наука о формах и приемах интеллектуальной познавательной
деятельности. Мышление, познание, язык. Естественные и искусственные
языки. Знак, значение, смысл. Синтаксический, семантический и
прагматический аспекты изучения языка. Объектный язык и метаязык.
Понятие, суждение, теория, рассуждение.
Тема 2. Правильные рассуждения
Принцип двузначности. Истинность суждений и правильность
рассуждений. Логическая форма, логический закон, логическое следование.
Значение логики как основы естественного и гуманитарного знания.
Раздел 2. Классическая логика высказываний
Тема 3. Язык логики высказываний
Алфавит логики высказываний. Правильно построенное выражение.
Функции истинности. Таблицы истинности. Тождественно-ложные,
тождественно-истинные,
выполнимые
и
опровержимые
формулы.
5
Отношения между формулами: совместимость по истинности, совместимость
по ложности, отношение логического следования. Язык классической логики
высказываний, как средство анализа структуры естественного языка
Тема 4. Теория дедуктивного вывода
Дедукция. Содержательные теории, формализованные теории,
формальные теории. Адекватная формализация. Правила вывода
классического
исчисления
высказываний.
Эвристики.
Вывод
и
доказательство.
Раздел 3. Классическая логика предикатов первого порядка
Тема 5. Язык логики предикатов
Алфавит логики предикатов. Значение логики предикатов для анализа
структуры естественного языка, его суждений и рассуждений. Определение
терма и формулы. Значения термов и формул языка логики предикатов.
Тема 6. Интерпретации и модели логики предикатов
Интерпретации и модели логики предикатов. Виды формул, отношения
между формулами. Понятие логического следования в языке логики
предикатов. Семантические таблицы.
Раздел 4. Теория понятий
Тема 7. Сущность понятия, виды понятий
Общая характеристика понятий. Различие термина и его понимания.
Формулировка понятий в языке. Род понятия, видовое отличие. Объем и
содержание понятия. Закон обратного соотношения между объемами и
содержаниями понятий. Виды понятий.
Тема 8. Операции над понятиями и отношения между понятиями
Булевы операции над понятиями. Совместимые и несовместимые
понятия. Отношения между понятиями. Анализ отношений между объемами
понятий посредство кругов Эйлера. Операции ограничения, обобщения и
деления понятий.
Раздел 5. Силлогистика
Тема 9. Позитивная силлогистика
Своеобразие силлогистики как логической системы. Виды
категорических атрибутивных высказываний. Семантика традиционной
силлогистики.
Основные
способы
построения
непосредственных
умозаключений: превращение, обращение, противопоставление предикату.
Простой категорический силлогизм и его структура. Общие правила
простого категорического силлогизма (правила терминов, правила посылок,
правила фигур). Понятие модуса силлогизма. Правила выведения модусов.
6
Сокращенные, сложные и сложносокращенные категорические силлогизмы,
их общая характеристика. Энтимема, ее виды.
Тема 10. Негативная силлогистика
Терминное отрицание. Новые логические законы. Превращение,
контрапозиция
предикату,
контрапозиция
субъекту,
чистое
противопоставление. Негативная силлогистика как фрагмент логики
одноместных предикатов. Общезначимая формула негативной силлогистики.
7. Темы семинарских занятий
Раздел 1. Предмет логики
Тема 1. Формирование, основные понятия науки логики и её задачи
Вопросы к теме:
1. Нужна ли логика (если да, то зачем)?
2. Какие проблемы решает логика?
3. Что именно исследует логика, чтобы добиться проставленных целей
(явления природы, знаковые системы, артефакты)?
4. Зачем нужны искусственные языки?
5. В каких целях используются метаязыки (метаметаязыки и т.д.)?
Тема 2. Правильные рассуждения
Вопросы к теме:
1. Что означает двузначность классической логики?
2. Возможны ли иные значения, помимо известных вам истинностных
значений?
3. Чем отличается правильность мышления от его истинности?
4. Что такое закон? Отличие законов природы от законов мышления?
5. Что такое логическое следование (важнейшее понятие логики)?
Литература:
Основная:
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008
Дополнительная:
Ивлев Ю.В. Логика. М., 2006
Кириллов В.И., Старченко А.А. Логика. М, 2004
Асмус В.Ф. Логика: Учебник. М., 2001
Раздел 2. Классическая логика высказываний
7
Тема 3. Язык логики высказываний
Вопросы к теме:
1.
Что называется формулой в логике высказываний?
2.
Какие есть виды формул в логике высказываний?
3.
Каково содержательное значение понятия логического
следования?
4.
Охарактеризуйте основные отношения между формулами логики
высказываний.
5.
Чем отличается закон исключенного третьего от закона
непротиворечия?
Тема 4. Теории дедуктивных рассуждений
Вопросы к теме:
1.
Чем
отличаются
друг
от
друга
содержательные,
формализованные и формальные теории?
2.
Обоснуйте методом таблиц истинности правила вывода
классического исчисления высказываний.
3.
Для чего нужна теория дедуктивного вывода?
4.
Докажите в классическом исчислении высказываний закон
Пирса.
5.
Чем удобно использование эвристик и почему их бывает
недостаточно?
Литература:
Основная:
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008
Дополнительная:
Мендельсон Э. Введение в математическую логику. М., 1984
Чёрч А. Введение в математическую логику. М., 1960
Раздел 3. Классическая логика предикатов первого порядка
Тема 5. Язык логики предикатов
Вопросы к теме:
1. В чем заключаются основные отличия языка логики предикатов от
языка логики высказываний?
2. 2.Какие виды правильно построенных выражений встречаются в
логике предикатов, и что выступает их значениями?
3. 3.Является ли логика предикатов разрешимой?
4. Какие преимущества появляются с введением логики предикатов
второго порядка?
8
5. Почему в логике предикатов больше видов правильно построенных
выражений, чем в логике высказываний?
Тема 6. Интерпретации и модели логики предикатов
Вопросы к теме:
1. Каким типам объектов приписываются значения в языке логики
предикатов?
2. Перечислите все возможные значения нелогических терминов языка
логики предикатов.
3. Как можно усовершенствовать язык логики предикатов для более
адекватного соответствия естественному языку?
4. В чем сущность метода моделей?
5. Охарактеризуйте особенности метода семантических таблиц.
Литература:
Основная:
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008
Дополнительная:
Мендельсон Э. Введение в математическую логику. М., 1984
Чёрч А. Введение в математическую логику. М., 1960
Раздел 4. Теория понятий
Тема 7. Сущность понятия, виды понятий
Вопросы к теме:
1. В чем состоит разница между термином и понятием?
2. Какова связь между содержанием и объемом понятия?
3. По каким признакам понятия делятся на виды?
4. Приведите примеры пустых, единичных и общих понятий.
5. Что такое род и вид понятия?
Тема 8. Операции над понятиями и отношения между понятиями
Вопросы к теме:
1. Какие существуют отношения между объемами понятий? Приведите
примеры для каждого отношения.
2. Что такое деление понятий? Укажите виды и правила деления.
3. Приведите примеры применения операций обобщения и ограничения
понятий.
4. Объясните связь термина, понятия и определения
5. Какую роль понятия играют в науке?
Литература:
9
Основная:
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008.
Раздел 5. Силлогистика
Тема 9. Позитивная силлогистика
Вопросы к теме:
1. Что такое категорическое атрибутивное высказывание и каковы его
виды?
2. Назовите
виды
непосредственных
умозаключений
и
охарактеризуйте их.
3. В чем сущность простого категорического силлогизма?
4. Каковы правила терминов и посылок простого категорического
силлогизма?
5. Что такое фигура и модус силлогизма?
Тема 10. Негативная силлогистика
Вопросы к теме:
1. Чем отличается негативная силлогистика от позитивной?
2. Что изменится в традиционной силлогистике, если добавить
отрицательные термины?
3. Охарактеризуйте новые виды непосредственных умозаключений
негативной силлогистики.
4. Объясните взаимосвязь негативной силлогистики и логики
предикатов.
5. Проверьте правильность модусов негативной силлогистики
средствами языка логики предикатов.
Литература:
Основная:
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008
8. Вопросы для подготовки к экзамену
1.
Предмет логики.
2.
Формы и приемы рационального познания.
3.
Понятия логической формы и логического закона.
4.
Правильное рассуждение.
5.
Закон тождества, закон непротиворечия, закон исключенного
третьего, закон достаточного основания.
6.
Язык как знаковая система. Виды языков.
10
7.
Виды знаков. Смысл и значение знака.
8.
Классическая логика высказываний: язык.
9.
Таблицы истинности, функции истинности.
10. Виды формул, отношения между формулами.
11. Основные законы и способы правильных рассуждений
классической логики высказываний.
12. Вывод и доказательство в классическом исчислении
высказываний.
13. Язык классической логики предикатов первого порядка.
14. Значения нелогических терминов языка логики предикатов.
15. Модели в языке логики предикатов.
16. Значения термов и формул логики предикатов.
17. Отношения между формулами и виды формул в логике
предикатов.
18. Правила вывода классического исчисления предикатов первого
порядка.
19. Метод построения семантических таблиц в логике предикатов.
20. Логика высказываний и логика предикатов – сравнительный
анализ.
21. Понятие как форма мышления и его основные виды.
22. Булевы операции над понятиями.
23. Виды отношений между понятиями.
24. Операции с понятиями: обобщение, ограничение, деление.
25. Понятие
логического
квадрата,
непосредственные
умозаключения и их виды.
26. Простой категорический силлогизм. Фигуры и модусы.
27. Правила терминов и посылок в простом категорическом
силлогизме.
28. Условно-категорический
и
разделительно-категорический
силлогизмы.
29. Сокращенный силлогизм (энтимема).
30. Содержание негативной силлогистики.
11