Является ли категорическим силлогизмом следующий аргумент: «А старше В, В старше С, следовательно, А старше С»? Он, бесспорно, похож на категорический силлогизм. Однако всякое категорическое суждение может быть разложено на субъектный термин, предикатный термин и связку, являющуюся одной из форм глагола «быть», и поэтому данный аргумент, несмотря на свою обоснованность, не является силлогизмом, ибо содержит четыре термина. Нижеследующий аргумент, предложенный Ч. Л. Доджсоном (Льюисом Кэрроллом), также не является силлогизмом в той форме, в какой он представлен, однако он может быть видоизменен так, чтобы обрести форму силлогизма: «Благоразумный человек остерегается гиен, ни один банкир не является неблагоразумным, следовательно, ни один банкир не может не остерегаться гиен».

Термин, содержащийся в обеих посылках, называется средним термином, предикат заключения – это больший термин, субъект заключения – это меньший термин. Посылка, содержащая больший термин, называется большей посылкой, а посылка, содержащая меньший термин, называется меньшей посылкой. Таким образом, порядок, в котором следуют посылки, не детерминирует то, какая из них является большей. В силлогизме «все мистические рассказы являются угрозой здоровью, ибо все мистические рассказы вызывают психическое возбуждение, и все, что вызывает психическое возбуждение, является угрозой здоровью» заключение стоит в начале, а большая посылка – в конце. Однако, как правило, большая посылка ставится в начале умозаключения.

Несмотря на то что силлогистическое рассуждение нередко встречается в ежедневном общении, его присутствие зачастую не замечается, поскольку такое рассуждение выражено не в полной форме. Силлогизм, выраженный не в полной форме, т. е. тот, в котором одна из посылок или заключение не выражено и присутствует в неявной форме, называется энтимемой.

Следующие умозаключения являются примерами энтимем: «Это лекарство вылечило больное горло моей дочери, следовательно, оно вылечит и мое больное горло». Данное умозаключение является обоснованным при неявном допущении большей посылки «все, что вылечивает больное горло моей дочери, вылечивает и мое больное горло». Энтимема, в которой не выражена большая посылка, считается энтимемой первого порядка.

«Все пьяницы живут недолго, следовательно, Джон долго не проживет». В данном случае пропущена меньшая посылка «Джон является пьяницей». Энтимемы, в которых не выражена меньшая посылка, считаются энтимемами второго порядка.

«Ростовщичество является безнравственным, а это – ростовщичество». Здесь заключение «это безнравственно» осталось невыраженным. Данная энтимема является энтимемой третьего порядка. Без сомнения, ценность подобных энтимем для того, чтобы делать намеки, знакома читателю.

Хотя энтимемы не предлагают какую-либо новую форму умозаключения, на практике очень важно уметь их распознавать. Мы еще сможем убедиться в том, что индуктивные умозаключения зачастую рассматриваются как особый способ рассуждения, тогда как на деле являются лишь энтимемами первого порядка.

На данном этапе мы всего лишь определили, что именно мы называем категорическим силлогизмом. Однако мы ничего еще не сказали об условиях, при которых подобный аргумент является обоснованным. Мы перечислим пять суждений, которые вместе выразят факторы, детерминирующие обоснованность любого категорического силлогизма. Эти суждения называются правилами или аксиомами. Мы сформулируем их без какого-либо доказательства, поскольку они будут нашими «первыми принципами», с помощью которых мы будем доказывать все другие суждения. Несмотря на то что мы не пытаемся доказывать аксиомы, мы утверждаем их как суждения, выражающие условия обоснованного силлогистического умозаключения. Если мы понимаем силлогизм как форму умозаключения, в которой отношение между двумя терминами может утверждаться на основании отношения, существующего между каждым из этих терминов и третьим общим термином, то мы сможем «усмотреть», что данные аксиомы на самом деле выражают условия обоснованности категорического силлогизма. Однако такое «усмотрение» не следует путать с доказательством. Поскольку аксиомы являются принципами логики, то, рассматривая их, мы затрагиваем фундаментальное свойство логических принципов: не все логические принципы могут быть доказаны логически, поскольку подобное доказательство само должно будет опираться на некоторые логические принципы; в частности, никакое доказательство принципа тождества (если нечто является А, то оно является А) невозможно без допущения того, что обозначаемое фразой «все, что является А», встречающейся в одной части такого предполагаемого доказательства, тождественно обозначаемому этой же фразой, встречающейся в другой части данного доказательства.

Аксиомы категорического силлогизма делятся на два множества: аксиомы относительно количества и распределенности терминов и аксиомы относительно качества суждений.

Аксиомы количества

1. Средний термин должен быть распределен, по крайней мере, в одной из посылок.

2. Термин, нераспределенный в посылке, не может быть распределенным в заключении.

Аксиомы качества

3. Из двух отрицательных посылок нельзя сделать никакого заключения.

4. Если одна посылка является отрицательной, заключение должно быть отрицательным.

5. Если ни одна посылка не является отрицательной, заключение должно быть утвердительным.

Данные аксиомы вместе с принципами условного умозаключения достаточны для того, чтобы целиком построить теорию категорического силлогизма. Аксиомы не являются независимыми друг от друга, поскольку некоторые из них можно вывести из других. Однако, несмотря на это, мы будем рассматривать все эти правила в качестве аксиоматического базиса нашего анализа.

На данном этапе мы докажем четыре теоремы.

Теорема I. Число распределенных терминов в заключении должно быть, по крайней мере, на один меньше, чем общее число распределенных терминов в посылках.

Доказательство. Число распределенных терминов в заключении не может быть больше, чем общее число распределенных терминов в посылках (аксиома 2).

Средний термин, который должен быть распределенным, по крайней мере, в одной из посылок (аксиома 1), не входит в заключение (определение среднего термина).

Следовательно, заключение должно содержать, по крайней мере, на один распределенный термин меньше, чем посылки.

Теорема II. Если две посылки являются частными суждениями, то из них нельзя получить заключения.

Доказательство. Два частных суждения в посылках могут быть а) оба отрицательными, Ь) оба утвердительными, с) одно утвердительным, а другое отрицательным.

a. Если обе посылки – отрицательные, то заключения быть не может (аксиома 3).

b. В частноутвердительном суждении ни один термин не является распределенным. Если обе посылки являются частноутвердительными суждениями, то в них не содержится распределенных терминов. Следовательно, из них не может следовать заключения (аксиома 1).

c. В частноутвердительном суждении нет распределенных терминов, а в частноотрицательном – только один. Поэтому посылки содержат один, и только один, распределенный термин. Следовательно, если существует заключение, то оно не может содержать нисколько распределенных терминов (теорема I). Однако поскольку одна посылка является отрицательной, заключение должно быть отрицательным (аксиома 4). Следовательно, по крайней мере один термин в заключении должен быть распределенным. Допущение о том, что заключение существует, требует принятия того, что в нем одновременно не содержится ни одного распределенного термина и что в нем содержится, по крайней мере, один распределенный термин. Это абсурдно. Следовательно, заключение не существует.