Syllogismus — умозаключение — от греческого «совместный счёт». Аристотелевский syllogism: если A присуще всем B, и B присуще всем C — то A присуще всем C. Три термина, три высказывания, одно следствие.
Все люди смертны. Сократ — человек. Следовательно, Сократ смертен. Идеальный пример, вошедший во все учебники.
Схоласты разрабатывали syllogistica как главный инструмент аргументации. Фигуры и модусы силлогизма — Barbara, Celarent, Darii, Ferio — запоминались студентами как формулы.
Стоики создали параллельную систему — пропозициональную логику. Не «A присуще B», а «если P, то Q». Пять «неопровержимых» форм умозаключения Хрисиппа: modus ponens, modus tollens и другие.
Обе системы — инструменты одного и того же: правильного мышления, в котором следствие с необходимостью вытекает из посылок. Разница в языке и применении, а не в цели.
Syllogismus как практика: прежде чем делать вывод, спроси — а вытекает ли он из посылок? Очень много «следовательно» в повседневной речи — не syllogismi, а fallaciae. Проверь.