- •Предисловие
- •Глава 1 задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Глава 2 слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Глава 3 имена
- •1. Виды имен
- •2. Отношения между именами
- •3. Определение
- •4. Деление
- •1. Деление должно вестись только по одному основанию.
- •2. Деление должно быть соразмерным, или исчерпывающим, т.Е. Сумма объемов членов деления должна равняться объему делимого понятия.
- •3. Члены деления должны взаимно исключать друг друга.
- •4. Деление должно быть непрерывным.
- •Глава 4 высказывания
- •1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция
- •2. Условное высказывание, импликация, эквивалентность
- •3. Описательные и оценочные высказывания
- •4. Модальные высказывания
- •Глава 5 ловушки языка
- •1. Тайная мудрость языка
- •2. Многозначность
- •3. Эгоцентрические слова
- •4. Неточные и неясные имена
- •5. Гипостазирование
- •6. Роли имен
- •Глава 6 о смысле бессмысленного
- •1. Осмысленное и бессмысленное
- •2. Абсурд
- •3. Синтаксические нарушения
- •4. Семантические нарушения
- •5. Крайние случаи бессмысленного
- •6. Туманное и темное
- •Глава 7 логика высказываний
- •1. Логический закон
- •2. Закон противоречия
- •3. Закон исключенного третьего
- •4. Логические законы тождества, двойного отрицания и другие закон тожества
- •Закон двойного отрицания
- •Законы контрапозиции
- •Модус поненс
- •Модус толленс
- •Модус понендо толленс
- •Модус толлендо поненс
- •Законы де моргана
- •Закон приведения к абсурду
- •Закон косвенного доказательства
- •Закон клавия
- •Закон транзитивности
- •Законы ассоциативности и коммутативности
- •Закон дунса скотта
- •5. Логическое следование
- •6. Язык логики предикатов
- •Глава 8 модальная логика
- •1. Логические модальности
- •2. Физические модальности
- •3. Логическое исследование ценностей
- •Глава 9 логика категорических высказываний
- •1. Категорические высказывания
- •2. Логический квадрат
- •3. Категорический силлогизм
- •Глава 10 доказательство и опровержение
- •1. Понятие доказательства и его структура
- •2. Прямое и косвенное доказательство
- •3. Виды косвенных доказательств
- •4. Опровержение
- •5. Ошибки в доказательстве
- •6. Софизмы
- •Глава 11 индуктивные рассуждения
- •1. Индукция как вероятное рассуждение
- •2. Неполная индукция
- •3. Подтверждение следствий
- •4. Полная индукция и математическая индукция
- •5. Методы установления причинных связей
- •Единственное сходство
- •Единственное различие
- •Сходство и различие
- •Сопутствующие изменения
- •Остающаяся часть причины
- •6. Надежность индукции
- •7. Аналогия
- •Аналогия свойств и аналогия отношений
- •Вероятный характер аналогии
- •Понимание по аналогии
- •Типичные ошибки
- •Глава 12 проблема понимания
- •1. Структура понимания
- •2. Сильное понимание
- •3. Понимание поведения
- •4. Понимание природы
- •5. Понимание языковых выражений
- •6. Объяснение
- •Глава 13 аргументация и логика
- •1. Теория аргументации
- •2. Обоснование
- •3. Эмпирическая аргументация
- •4. Факты как примеры и иллюстрации
- •5. Теоретическая аргументация
- •6. Контекстуальная аргументация
- •7. Обоснование и истина
- •8. Аргументация в поддержку оценок
- •Глава 14 спор и его виды
- •1. Корректные и некорректные споры
- •2. Споры об истине и споры о ценностях
- •3. Четыре разновидности споров
- •4. Общие требования к спору
- •5. Победа в споре
- •Вместо заключения
Закон приведения к абсурду
Редукция к абсурду (приведение к нелепости) – это рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т.е. логического противоречия. Если из высказывания А выводится как высказывание В, так и его отрицание, то верным является отрицание А. Например, из высказывания "Треугольник – это окружность" вытекает с одной стороны то, что треугольник имеет углы (быть треугольником значит иметь три угла), с другой, что у него нет углов (поскольку он окружность); следовательно, верным является не исходное высказывание, а его отрицание "Треугольник не является окружностью".
Закон приведения к абсурду представляется формулой:
(А → В) & (А → ~ В) → ~ А,
если (если А, то В) и (если А, то не-B), то не-А
Приведение к нелепости, замечает математик Д. Пойа, имеет некоторое сходство с иронией, любимым приемом сатирика: ирония принимает определенную точку зрения, подчеркивает ее и затем настолько ее утрирует, что в конце концов приводит к явному абсурду.
Частный закон приведения к абсурду представляется формулой:
(А → ~ А) → ~ А,
если (если А, то не-A), то не-А. Например, из положения "Всякое правило имеет исключения", которое само является правилом, вытекает высказывание "Есть правила, не имеющие исключений"" значит, последнее высказывание истинно.
Закон косвенного доказательства
Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Например: "Если из того, что 17 не является простым числом, вытекает как то, что оно делится на число, отличное от самого себя и единицы, так и то, что оно не делится на такое число, то 17 есть простое число".
Символически закон косвенного доказательства записывается так:
(~ А → В) & (~ А → ~ В) → А,
если (если не-А, то В) и (если не-А, то не-В), то А.
Законом косвенного доказательства обычно называется и формула:
(~ А → (В & ~ В)) → А,
если (если не-А, то В и не-B), то А. К примеру: "Если из того, что 10 не является четным числом, вытекает, что оно делится и не делится на 2, то 10 – четное число".
Закон клавия
Закон Клавия характеризует связь импликации и отрицания. Он читается так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно. Или иначе: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно. Например, если условием того, чтобы машина не работала, является ее работа, то машина работает.
Закон назван именем Клавия – ученого-иезуита, жившего в XVI в., одного из изобретателей григорианского календаря. Клавий первым обратил внимание на этот закон в своем комментарии к "Геометрии" Евклида. Одну из своих теорем Евклид доказал, выведя из ее допущения, что она является ложной.
Символически закон Клавия представляется формулой:
(~ А → А) → А,
если не-А имплицирует А, то верно А.
Из закона Клавия вытекает следующий совет, касающийся доказательства: если хочешь доказать А, выводи А из допущения, что верным является не-А Например, нужно доказать утверждение "У трапеции четыре стороны". Отрицание этого утверждения: "Неверно, что у трапеции четыре стороны". Если из этого отрицания удается вывести само утверждение, это будет означать, что оно истинно.
Эту схему рассуждения использовал однажды древнегреческий философ Демокрит в споре с софистом Протагором. Последний утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения "Каждое высказывание истинно" вытекает истинность и его отрицания: "Не все высказывания истинны". И значит, это отрицание, а не положение Протагора, на самом деле истинно.
Закон Клавия – один из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, оно составляет вместе с отрицанием логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.
К закону Клавия близок по своей структуре уже упоминавшийся логический закон, отвечающий этой же общей схеме: если из утверждения вытекает его отрицание, то последнее истинно. Например, если условием того, что поезд прибудет вовремя, будет его опоздание, то поезд опоздает. Иначе говоря: если необходимым условием истинности некоторого утверждения является его ложность, то утверждение ложно. Данный закон представляет собой схему рассуждения, идущего от некоторого утверждения к его отрицанию. Можно сказать, что он в некотором смысле слабее, чем закон Клавия, представляющий рассуждение, идущее от отрицания утверждения к самому утверждению.