§ 3. Правила, или аксиомы, обоснованности

§ 3. Правила, или аксиомы, обоснованности

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

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

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

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

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

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

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

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

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

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