Силлогизмы
Дедуктивное умозаключение из двух посылок. Структура: большая посылка, меньшая посылка, заключение. Пример: Все люди смертны. Сократ — человек. ∴ Сократ смертен. Фигуры и модусы силлогизма. Barbara, Celarent, Darii, Ferio. Аристотель, IV в. до н.э. Основа формальной логики.
Фигуры силлогизмов и правила вывода
Классический анализ силлогизмов опирается на фигуры, модусы и проверки валидности через распределённость терминов. Это даёт формальные критерии корректного дедуктивного перехода.
Логические ошибки и контрпримеры
Разбор силлогизмов включает выявление типичных ошибок в распределении терминов и кванторах. Контрпримеры показывают, почему внешне правдоподобный вывод может быть формально неверным.