Формальная логика есть не что иное, как учение о свойствах, общих всякой классификации, — разъясняет Анри Пуанкаре. — Она учит нас, что два солдата, являющихся частью одного полка, тем самым принадлежат к одной и той же бригаде, следовательно, к одной и той же дивизии; к этому-то и сводится вся теория силлогизмов.
Простой категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных суждений: двух посылок и одного заключения.
Пример силлогизма:
Всякий человек смертен. Сократ — человек. След.: Сократ смертен. Содержание 1 Структура простого категорического силлогизма
2 Общие правила простого категорического силлогизма 2.1 Правила терминов
2.2 Правила посылок 3 Фигуры и модусы
4 История
5 Силлогизм в современной логике
6 См. также
7 Примечания
8 Литература
9 Ссылки
Простой категорический силлогизм