Категорический силлогизм
Материал из Википедии — свободной encyclopedia
Простой категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных суждений: двух посылок и одного заключения.
Формальная логика есть не что иное, как учение о свойствах, общих всякой классификации, — разъясняет Анри Пуанкаре. — Она учит нас, что два солдата, являющихся частью одного полка, тем самым принадлежат к одной и той же бригаде, следовательно, к одной и той же дивизии; к этому-то и сводится вся теория силлогизмов[1].
Пример силлогизма:
Всякий человек смертен. | |
Сократ — человек. | |
След.: | Сократ смертен. |