СИЛЛОГИЗМ

Syllogism

See Syllogistic.

Силлогизм

(Греч. syllogismós) вид дедуктивного умозаключения, две посылки и заключение которого имеют одну и ту же субъектно-предикатную структуру. Наименование «С.» прилагают чаще всего к так называемым категорическим С., посылки и заключения которых суть высказывания (суждения), выраженные посредством простых предложений, предикатами которых (в обычном грамматическом смысле, т. е. попросту сказуемыми) служит глагол-связка «есть» (в изъявительном наклонении, единственном или множественном числе, с отрицанием или без такового), связывающий термины данного предложения: субъект (подлежащее) и предикат (в логическом смысле слова; в данном случае - наименование некоторого класса), причём предложения эти образованы с помощью т. н. кванторных слов (см. Квантор) «все» (или «всякий», «каждый», «любой» и т. п.) и «некоторый» (или «имеется», «существует» и т. п.). Такие предложения могут иметь одну из следующих четырёх форм (прописными лат. буквами обозначаются термины): «Всякое R есть Q » (такое высказывание называется общеутвердительным и обозначается обычно буквой A), «Ни одно R не есть Q » (общеотрицательное, обозначается через Е ), «Некоторое R есть Q »

(частноутвердительное, I) и «Некоторое R не есть Q » (частноотрицательное, О). Примерами категорических С. могут служить рассуждения: «Ни одно P не есть М , некоторые S суть М ; следовательно, некоторые S не суть P»

(или, в форме условного высказывания: «Если ни одно P не есть М и некоторые S есть М , то некоторое S не есть P»), «Всякое М есть P, всякое S есть М ; следовательно, всякое S есть P»

(такой вид имеет хрестоматийный пример С.: «Все люди смертны, все греки - люди; следовательно, все греки смертны») и т. п. Посылку, содержащую предикат заключения («больший термин» Р), называют большей посылкой; посылку, содержащую субъект заключения («меньший термин» S ), - меньшей посылкой. По положению «среднего термина» М , входящего лишь в посылки С., различают четыре фигуры С.: в 1-й М служит субъектом в большей посылке и предикатом в меньшей, во 2-й - предикатом в обеих посылках, в 3-й - субъектом в обеих посылках, в 4-й - предикатом в большей и субъектом в меньшей. В зависимости же от форм силлогистических предложений (A, Е , I или O) говорят о различных модусах С. Поскольку в каждой фигуре мыслимы 4·4·4 = 64 модуса, то имеет смысл говорить всего о 256 модусах.

Правильными же (т. е. обеспечивающими получение истинного заключения из истинных посылок) оказываются лишь 24, в том числе 5 «ослабленных» (допускающих усиление, например замену частного предложения в заключении на общее), так что во всех 4 фигурах остаётся 19 неослабленных правильных модусов С. (первая буква характеризует ниже вид большей посылки, вторая - меньшей, третья - заключения): ААА , EAE , All и EIO 1-й фигуры, EAE , AEE , EIO и AOO 2-й, AAI , IAI , AII , EAO , OAO и EIO 3-й и AAI , AEE , IAI , EAO и EIO 4-й фигуры. Обоснование правильности этих модусов С. и неправильности остальных даётся в силлогистике.

Термином «С.» пользуются также в более широком смысле - в применении к умозаключениям, образованным из предложений других видов; так, говорят об условных, условно-категорических, разделительно-категорических и условно-разделительных С. Наконец, тот же термин употребляется иногда и просто в качестве синонима термина «умозаключение».

Лит. см. при ст. Силлогистика.