Как уже отмечалось силлогизмом называют умозаключение из более чем одной посылки. В таком расширительном смысле силлогизмами являются, например, умозаключения типа modus ponens, modus tollens и т.д., рассмотренные ранее.
Простой категорический силлогизм – это умозаключение, в котором от наличия некоторых отношений между терминами S и М и терминами Р и М, фиксируемых в посылках, приходят к заключению о наличии определенного отношения между терминами S и Р.
Таким образом, простой категорический силлогизм состоит из трех высказываний (две посылки и одно заключение), любые два из которых имеют общий термин.
Термин, имеющийся в обеих посылках, опосредует следование из них заключения, в силу чего силлогизмы часто называют также опосредованными умозаключениями. Пример:
Все люди смертны. Все М есть Р.
Демокрит человек. S есть М.
Демокрит смертен. S есть Р.
Здесь вывод о смертности Демокрита делается благодаря термину М «человек» («люди»), который является общим для обеих посылок. Именно этот термин опосредует связь между терминами S «Демокрит» и Р «смертный» в заключении.
Итак, в состав любого силлогизма входят три термина – S, Р и М.
S (меньшим термином) называется субъект заключения.
Р (большим термином) называется предикат заключения.
М (средним термином) называется термин, имеющийся в обеих посылках.
Посылка, содержащая больший термин, называется большей, а посылка, содержащая меньший термин, – соответственно, меньшей. В приведенном примере большей является первая посылка, а меньшей – вторая.
С логической точки зрения важнейшими характеристиками силлогизма, от которых зависит его правильность, являются модус и фигура.
Фигурой силлогизма называется способ расположения терминов в его посылках.