- •Предисловие
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
7.4. Эвристики натурального исчисления высказываний
Построение выводов и доказательств является творческой задачей, например, при поиске посылок в доказательстве при условии, что хотя в качестве посылок можно брать любые формулы, но в ходе вывода все они должны быть исключены. Выбор нужных для вывода посылок может быть случайным и иметь характер простого перебора различных возможностей. Во избежание последнего в логике были выработаны и применяются особые методологические приёмы эвристики, позволяющие предельно сократить число переборов. Натуральное исчисление высказываний опирается на три основных эвристики.
Первая эвристика применяется тогда, когда являющаяся целью вывода формула импликативна; в таком случае антецедент этой формулы берётся в качестве дополнительной посылки, а целью выведения становится консеквент формулы.
Пример
Применим первую эвристику к формуле законa введения конъюнкции:
(pq)(pq)).
Получим следующую схему вывода:
_______ ______________
|
1. p — пос. 2. q — пос. 3. p q — в, 1, 2. 4. q (p q) — в, 2, 3. 5. p (q (p q)) — в, 1, 4. |
В данной схеме из числа исключающих посылки правил вывода имеется только правило введения импликации, что характеризует данный вывод в качестве прямого. Вывод, в котором при выборе посылок использовалась только первая эвристика (т. е. не применялось правило введения отрицания), называется прямым выводом.
В предыдущих же схемах доказательств имелось правило введения отрицания, что характеризует эти выводы в качестве косвенных (от противного) и свидетельствует об использовании второй эвристики. При этом фундаментальным является прямой вывод, и всё то, что обосновывается посредством прямого вывода, может быть обосновано и посредством вывода косвенного.
Вторая эвристика применяется после исчерпания возможностей первой, когда целью вывода не является импликативная формула; в таком случае в качестве дополнительной посылки берётся отрицание этой формулы, а целью вывода становится получение в ходе рассуждения противоречия. Если это удаётся сделать, то, применяя правило введения отрицания, можно получить в выводе формулу отрицания дополнительной посылки, а используя правило исключения отрицания, получить итоговую формулу.
Пример
Рассмотрим в качестве ещё одного примера использования второй эвристики доказательство закона обратной контрапозиции ((q p) (p q)):
_______ ____________________ ____________________________ |
1. q p — пос. 2. p — пос. 3. q — пос. 4. p — и, 1, 3. 5. q — в, 2, 4. 6. q — и, 5. 7. p q — в, 2, 6. 8. (q p) (p q) — в, 1, 7. |
Третья эвристика применяется после исчерпания возможностей первой и второй, когда в выводе имеется дизъюнктивная формула, а целью вывода остаётся получение противоречия.
Пример
Докажем, что формула (pq)(qp) является теоремой:
____________ ____________________________ _________________________________________
|
1. pq — пос. 2. (qp) — пос. 3. p — пос. 4. q — и, 1, 3. 5. qp — в, 1, 3. 6. p — в, 2, 5. 7. p — и, 6. 8. qp — в, 7. 9. (qp) — в, 2, 8. 10. qp — и, 9. 11. (pq)(qp) — в, 10. |
Лекция восьмая
ЯЗЫК И ИСЧИСЛЕНИЕ
КЛАССИЧЕСКОЙ ЛОГИКИ ПРЕДИКАТОВ
8.1. Общая характеристика классической логики предикатов
Классическая логика предикатов, в отличие от классической пропозициональной логики, не отвлекается от логической структуры простых высказываний, но формализует эту структуру, что существенно расширяет возможности логического анализа содержания высказываний и умозаключений, увеличивает точность мышления, позволяет в ещё большей мере исключать из процесса рассуждений неопределённости, двусмысленности. Целям такого анализа служат языки логики предикатов, также имеющие различную глубину формализации выражений естественного языка.
Наиболее простым и эффективным из них является язык логики предикатов первого порядка, в котором применение кванторов (квантификация) разрешено не ко всем предметным переменным, но только к тем, возможными значениями которых являются индивиды (предметы мышления, обозначаемые единичным или собственным именем). Существующие в логике предикатов языки большего порядка расширяют применение квантификации. Решаемой в данной теме задачей является рассмотрение классической логики предикатов со стороны логических возможностей первопорядкового языка.