Тема 5. Дедуктивные умозаключения

Умозаключение как форма мышления. Структура умозаключения: посылки, вывод, логическая связь. Значение умозаключения в мыслительном процессе.

Демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Классификация умозаключений по направленности логического следования (дедукция, индукция, умозаключение по аналогии). Традукция, продукция, субдукция, едукция, одукция. Неправильные умозаключения (в логическом отношении и в словесном выражении).

Опосредственные и непосредственные умозаключения. Разновидности непосредственных умозаключений. Превращение. Обращение и его виды: простое (чистое), обращение с ограничением. Противопоставление предикату. Умозаключение по логическому квадрату. Умозаключение модальности алетической.

Силлогистика как учение формальной логики о видах и правилах опосредственных умозаключений. Сущность и структура простого категорического силлогизма (ПКС). Термины ПКС, их характеристика и символическое выражение. Большая и меньшая посылки, заключение. Аксиома силлогизма. Общие правила ПКС: правила терминов и правила посылок. Фигуры ПКС. Правила фигур. Отображение в фигурах силлогизма различных приемов оперирования посылками. Модусы силлогизма и их буквенное обозначение. Правильные модусы в аристотелевской системе силлогистики и в математической логике. Аристотелевская система силлогистики как теория четырех логических отношений (констант) и ее специфическое выражение в математической логике. Запись основных для силлогистики форм высказываний в исчислении предикатов. Способы формализации аристотелевской силлогистики в математической логике. ПКС с выделяющими суждениями.

Умозаключения из суждений с отношениями. Свойства отношений (симметричность, транзитивность, рефлексивность).

Выводы из сложных суждений. Чисто-условное умозаключение. Условно-категорическое умозаключение: модусы, правила, возможные ошибки. Дизъюнктивные силлогизмы. Чисто-разделительный силлогизм. Разделительно-категорический силлогизм: модусы и типичные ошибки. Разделительно-условное умозаключение и его формы. Лемматический силлогизм и его виды.

Энтимема, ее сущность, структура, схемы. Правила образования энтимемы и ее восстановления в полный силлогизм. Полисиллогизм и его структура. Прогрессивный и регрессивный разновидности полисиллогизма. Эпихейрема. Сорит. Роль дедукции в познании и правовой практике.