Меньшим термином называется субъект заключения. Поэтому он обозначается буквой «S».
Бóльшим термином именуется предикат заключения (буква «Р»).
Средний термин не входит в заключение, но входит в обе посылки, обеспечивая логическую связь между ними, выступая их посредствующим звеном и тем самым делая возможным само заключение. Обозначается буквой «М» (от лат. medius — средний).
Посылка, в которую входит больший термин, называется большей.
Посылка, включающая в себя меньший термин, — меньшая.
Вся эта структура может быть наглядно представлена на примере:
Все люди (М) смертны (Р). (Бóльшая посылка)
Сократ (S) — человек (М). (Меньшая посылка)
Следовательно, Сократ (S) смертен (Р). (Заключение)
Заметим, что все значение подобного силлогизма, который кажется ученически тривиальным и который люди до поры до времени не склонны относить к себе, обнаруживается (как это с огромной художественной силой показал Л.Толстой в повести «Смерть Ивана Ильича») лишь на смертном одре.
Аксиома силлогизма. Отражением многовековой практики мышления людей, миллиардного повторения одной и той же мыслительной конструкции служит аксиома силлогизма. В зависимости от того, рассматриваются ли посылки в объемном или содержательном плане, различаются две ее формулировки.
1. Dictum de omni et de nullo (буквально: сказанное обо всем и ни об одном): все, что утверждается или отрицается о классе предметов в целом, утверждается или отрицается и о части или отдельном элементе этого класса.
2. Nota notae est nota rei (признак признака есть признак самой вещи).
В современной логической литературе обе формулировки подвергаются критике; последняя считается даже элементарно ошибочной; но сама аксиома в целом сохраняет известный рациональный смысл. Более того, она составляет исходную логическую основу, на которой выстраивается грандиозное и стройное здание всей силлогистики.
Общие правила простого категорического силлогизма. Построение простого категорического силлогизма подчиняется ряду общих правил, без соблюдения которых даже из истинных посылок нельзя с логической необходимостью получить истинное заключение. Всего таких правил семь: три из них — это правила терминов, а четыре — правила посылок.
Каковы прежде всего правила терминов?
1. В силлогизме должно быть только три термина (S, Р и М). Нарушение этого правила ведет к логической ошибке, которая называется «quaternio terminorum» («учетверение терминов»). Так, из того, что «Собака бегает по двору», а «Кошка сидит на заборе», никакого вывода не получится. Здесь налицо четыре разных термина — два субъекта и два предиката. Среднего термина, который связывал бы оба суждения, нет.
Логическая ошибка «учетверение терминов» часто носит завуалированный характер. Это может быть связано с употреблением омонимов (т.е. одного и того же слова в разных значениях). Например, слово «закон» означает и объективную связь между предметами, и юридическое установление. Поэтому если мы построим силлогизм, где это слово выражает средний термин, то вытекающего отсюда с логической необходимостью вывода не получится.
Например:
Все законы объективны, т.е. не зависят от людей.
Конституция России — закон.
Следовательно, Конституция России не зависит от людей.
Нелепость получается именно из-за «учетверения терминов».
2. Средний термин должен быть распределен хотя бы в одной из посылок. Если это правило нарушается, то связь между большим и меньшим терминами будет неопределенной. Значит, и вывод из посылок не может следовать с логической необходимостью.
Все художники (Р) тонко чувствуют природу (М).
Петров (S) тонко чувствует природу (М).
Следовательно, Петров (S) — художник (P).
Вывод неопределенный, так как Петров может и не быть художником. Причина неопределенности в том, что средний термин (М), занимающий место предиката и в большей, и в меньшей посылках, не распределен, так как обе они утвердительные, а в утвердительных суждениях предикат, как правило, не распределен. Покажем соотношение терминов на круговой схеме:
3. Если больший или меньший термины не распределены в посылках, то они не могут быть распределены и в заключении.
Например:
Все учебники (М) полезны (Р).