- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Способы доказательства
Доказательства делятся на прямые и косвенные по типу отношений аргументов и тезиса.
Прямое доказательство - это доказательство, в котором истинность тезиса выводится из истинности аргументов без введения дополнительных предположений.
Пример. Доказательство "Все люди смертны, потому что все люди, родившиеся до ХVШ века включительно, умерли" является прямым, поскольку выводит истинность (вероятностную в данном случае) тезиса из истинности аргументов (единичных суждений о том, что каждый из упомянутых людей умер) при помощи популярной индукции. Здесь не требуется никаких дополнительных суждений, кроме аргументов и тезиса.
Пример. В речи нашего обвинителя прямое доказательство применяется в ходе доказательства того, что И.принял меры к обеспечению алиби. Действительно, здесь мы имеем дело с энтимемой: "Алиби И. удостоверено родственниками или друзьями, следовательно, И. принял меры к обеспечению алиби". Если развернуть эту энтимему, то получится: "Алиби И. удостоверено родственниками или друзьями. Если алиби удостоверено родственниками, то И. принял меры к обеспечению алиби. Если алиби удостоверено друзьями, то И. принял меры к обеспечению алиби. Следовательно, И. принял меры к обеспечению алиби". Это - простая конструктивная дилемма, т.е. прямое доказательство.
Наглядно структуру прямого доказательства можно представить следующим образом:
Рис. 3
где а1, а2, ..., аn- аргументы, аТ- тезис.
Косвенное доказательство- это доказательство, в котором тезис обосновывается при помощи введения дополнительных суждений, несовместимых с тезисом.
Пример. Разберем, каким образом в речи обвинителя происходило доказательство того, что факт поджога имел место. Обвинительпредполагает, чтопожар произошел от посторонней причины. Но тогда, говорит он,сигнализация должна была быть включена. Но из фактов дела известно, чтосигнализация была отключена. Следовательно, выдвинув предположение, противоречащее доказываемому суждению, мы получили противоречие, а это означает, что наше предположение ложно и истинно его отрицание.
Косвенные доказательства можно разделить на два вида в зависимости от отношений тезиса к вводимому дополнительному суждению, которое мы будем называть допущением косвенного доказательства: 1) рассуждение от противного и 2)разделительное доказательство.
Мы уже знакомы с этими видами рассуждений из темы "Умозаключение" (§ 5 главы 12). Однако в данном случае существует некоторое отличие, которое связано с различием между умозаключениями и доказательствами. Умозаключения для своей правильности требуют только правильной логической связи между посылками и заключением. Ложность посылок не оказывает влияния на правильность умозаключения. Доказательство обосновывает истинность тезиса, поэтому его посылки - аргументы - также должны быть истинными.
Доказательство от противного.
По своей формальной структуре доказательство от противного совпадает с рассуждением от противного, которое было рассмотрено в главе 12 § 5. Единственное изменение состоит в том, что мы рассматриваем не произвольное суждение А, а тезис некоторого доказательства Т. Доказательство от противного начинается с того, что:
а) мы временно предполагаем истинность суждения, противоречащего тезису.
Суждение, противоречащее тезису доказательства, называется антитезисом.
Символически: если тезис - это суждение Т, то антитезис -;
б) из антитезиса при помощи обычных средств дедукции выводится противоречие, т.е. суждение вида А и одновременно суждение, т.е. А;
в) по схеме сведения к абсурду выводится заключение о ложности антитезиса:;
г) по закону двойного отрицания (Т) получаем Т.
Отсюда: доказано, что Т.
Наглядно это доказательство можно изобразить следующим образом:
Рис. 4
Разделительное доказательство
Разделительное доказательство по своей формальной структуре совпадает с разделительно-категорическим умозаключением, способ отрицающе-утверждающий. Единственное отличие связано с тем, что в разделительном доказательстве мы заранее выделяем тезис суждение, истинность которого стремимся обосновать. В таком случае разделительное доказательство подсказывает нам стратегию доказательства: чтобы доказать некоторый тезис Т, который мы не можем вывести из аргументов впрямую, следует построить такое разделительное суждение р1 ... рnТ, в котором тезис будет одним из составляющих суждений, а затем попытаться доказать ложность всех сужденийр1,..., рn. Тогда по схеме разделительно-категорического умозаключения будет следовать истинность нашего тезиса Т.
p1...pn T
T
Примеры разделительных доказательств совпадают с примерами разделительно-категорических умозаключений, способ отрицающе-утверждающий. Аналогична и возможная ошибка - неполный перечень альтернатив.