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

Тема 4. Понятие формально-логического закона

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

Понятие закона. Законы всеобщие и частные. Законы бытия и законы мышления (логические законы). Основные черты законов мышления: объективность, аксиоматичность, универсальность, относительность (лимитативность достаточная). Проблема дифференциации законов в традиционной и современной логике. Закон и принцип.

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

Закон непротиворечия, его сущность, символическое выражение и требования. Условия реализации и границы действия закона непротиворечия. Проблема совместимости норм права.

Закон исключенного третьего, его сущность, символическое выражение и требования. Сфера и границы действия закона исключенного третьего. Закон исключенного третьего в многозначной логике.

Закон (принцип) достаточного основания, его сущность и требования. Требование обоснованности как необходимое условие правильного мышления. Проблема “твердых оснований”. Основные способы обоснования, обеспечивающие “достаточные основания”.

Законы де Моргана. Закон Клавия. Закон гипотетического силлогизма. Закон двойного отрицания.

Отражение основных законов логики в юридических нормах, требованиях; праксеологический смысл.

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

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

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

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

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

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

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

Дата добавления: 2014-12-17