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

Это значит, что он должен быть либо субъектом общеутвердительного, либо предикатом общеотрицательного суждения.

Рассмотрим пример:

Все люди (Р) разумны (М);

Данное существо (S) разумно (М).

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

Е сли же мы построим силлогизм следующим образом (допуская истинность посылок):

Ни один человек не разумен;

Данное сущестео разумно;

то вывод получится: данное существо не человек. B этом примере мы в качестве большей посылки взяли общеотрицательное суждение, в котором распределен предикат.

3. Термин, не распределенный в посылках, не может быть распределен в выводе.

Рассмотрим пример:

Все люди (М) — разумны (Р);

Это существо (S) не человек (М).

Вывод, что это существо неразумно, сделать нельзя, ибо существуют разумные существа ангелы, которые людьми не являются. Больший термин не распределен в посылке, а в предполагаемом выводе распределен (как предикат отрицательного суждения), поэтому заключение не получается.

Правила посылок.

4. Из двух частных посылок нельзя сделать вывод.

П ример:

Некоторые люди (М)разумны (Р);

Некоторые существа (S) - люди (М).

Вывод не получается, потому что классы объектов, входящих в понятия некоторых существ, людей и разумных существ, могут не иметь общих членов.

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

Пример:

Ни один учащийся академии (М) не является студентом университета (Р);

Н u один учащийся семинарии (S) не является учащимся академии (М).

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

6. Из двух утвердительных посылок нельзя сделать отрицательный вывод.

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

Так, если мы утверждаем, что все или некоторые люди разумны, то получаем следующие ситуации. 

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

Это значит, что если субъект не включается в область Ρ, тο он обязательно включается в область не-Р и не может одновременно включиться в обе эти области или в какую-либо третью область. Поэтому если объем среднего термина включен в объем среднего термина, а объем меньшего термина включен в объем большего термина, то и м еньший термин должен включаться в больший. Средний термин соединяет больший и меньший в посылках и не может разъединять их в выводе. Общая ситуация с положительными посылками имеет следующий вид:

Все люди (М) разумны (Р);

Сократ (S) — человек (М);

Следовательно, Сократ разумен.