Силлогистика. 
Логика

Краткое содержание темы.

• • Особенности силлогистики как логической теории.
• • Атрибутивные и реляционные высказывания.
• • Структура простого атрибутивного высказывания: субъект, предикат, связка, кванторное слово.
• • Виды простых атрибутивных высказываний: по количеству (общие и частные), по качеству (утвердительные и отрицательные).
• • Ассерторические и модализироваиные высказывания. Категорические высказывания, их виды.
• • Модельные схемы как условия истинности категорических высказываний.
• • Параллелизм между методом таблиц истинности в КЛ В и методом модельных схем в силлогистике, между пропозициональными связками и логическими константами в силлогистике.
• • Различные виды отрицаний в силлогистике, способы их элиминации.
• • Основные эквивалентности в силлогистике (законы силлогистики) — правила обращения, превращения, диагоналей логического квадрата.
• • Непосредственные умозаключения в силлогистике.
• • Простой категорический силлогизм, его структура.
• • Ошибка «учегверение терминов» (различные варианты).
• • Фигуры и модусы ПКС.
• • Понятие распределенности терминов в категорическом высказывании, его содержательное обоснование.
• • Алгоритм анализа ПКС и проверки его на правильность.
• • Основные и дополнительные (производные) правила проверки силлогизмов на правильность, их статус и доказательство как производных правил.
• • Специальные правила фигур.
• • Проблема минимизации количества правил проверки ПКС.
• • Опровержение ПКС с помощью модельных схем.
• • Проблема доказательства правильности ПКС с помощью метода модельных схем.
• • Полисиллогизмы и сориты.
• • Энтимсмы, их виды («структурная» — в зависимости от того, что пропущено, и «логико-прагматическая» классификации).
• • Алгоритм восстановления энтимем до полных силлогизмов.
• • Проверка энтимем на логическую и прагматическую корректность.

Ключевые термины:

контрадикторность контрарность логический квадрат логическое подчинение ассерторическое высказывание атрибутивное высказывание категорическое высказывание кванторное слово модельная схема распределенность терминов реляционное высказывание сорит субконтрарность субъект термины силлогизма фигура силлогизма энтимема модус силлогизма обращение полисиллогизм превращение предикат предицирующая связка простой категорический силлогизм противопоставление.