Средний термин второго силлогизма «планета» распределен в большей посылке и не распределен в меньшей. Средний термин первого силлогизма «то, что вращается вокруг Солнца» не распределен ни в большей, ни в меньшей посылке. Мы знаем, что вывод может быть правильным лишь в том случае, когда в заключении говорится о тех же самых предметах, о которых идет речь в посылках. Это условие соблюдается, если средний термин в одной из посылок распределен: если о всех планетах говорится, что они вращаются вокруг Солнца, то, естественно, о любой отдельной планете можно с уверенностью сказать, что она вращается вокруг Солнца. Совсем иначе обстоит дело в том случае, когда средний термин в посылках не распределен. Если в данном случае говорится не о всем объеме понятия «то, что вращается вокруг Солнца», то мы не можем утверждать, что «все то, что вращается вокруг Солнца», — планеты. Следовательно, если относительно чего-то нам известно, что оно вращается вокруг Солнца, то мы еще не знаем, является ли оно планетой или каким-нибудь другим телом, вращающимся вокруг Солнца. Поэтому вывод «Земля — планета» будет логически неправилен, хотя он случайно и оказался истинным.
Таким образом, мы можем сформулировать второе правило, выполнение которого необходимо для правильности вывода в категорическом силлогизме:
В вышеприведенном примере вывод оказался истинным, несмотря на нераспределенность среднего термина. Это получилось совершенно случайно. В других случаях из истинных посылок вывод получится ложный, если средний термин в этих посылках не распределен, например:
все рыбы размножаются икрой;
лягушки размножаются икрой;
————————————————
лягушки — рыбы.
Средний термин «размножаются икрой» не распределен ни в большей, ни в меньшей посылке, так как не все размножающиеся икрой — рыбы и не все размножающиеся икрой — лягушки.
Довольно часто приходится встречаться с тем, что человека относят к определенной группе, например, к тому или иному философскому направлению, на основе сходства отдельных высказываний этого человека с высказываниями представителей данного философского направления.
Следует отметить, что нераспределенность среднего термина наблюдается не только в том случае, когда он является предикатом в обеих посылках. Средний термин может быть не распределен и тогда, когда он является субъектом одной из посылок, например:
многие металлы тонут в воде;
натрий — металл;
————————
натрий тонет в воде.
Средний термин здесь «металл». В большей посылке он не распределен как субъект частного суждения, а в меньшей — как предикат утвердительного.
Теперь мы можем разобрать и ту логическую ошибку, которой открывается наша брошюра. Из какого положения можно вывести, что треугольник со сторонами 3, 4 и 5 будет прямоугольным? Если мы будем выводить это из теоремы Пифагора, то получим такой силлогизм:
во всяком прямоугольном треугольнике квадрат одной стороны равен сумме квадратов двух других сторон;
в данном треугольнике квадрат одной стороны равен сумме квадратов двух других сторон;
—————————————————
этот треугольник прямоугольный.
Такой силлогизм неправилен. Вывод «этот треугольник прямоугольный» из данных посылок не следует, так как здесь не распределен средний термин. Обращать это суждение нельзя, так как из общеутвердительного суждения при обращении получится частноутвердительное и средний термин опять не будет распределен ни в одной из посылок:
некоторые треугольники, у которых квадрат одной стороны равен сумме квадратов двух других сторон, являются прямоугольными;
в данном треугольнике квадрат одной стороны равен сумме квадратов двух других сторон;
————————————————————
данный треугольник прямоугольный.
Средний термин был бы распределен, если бы большей посылкой было суждение «всякий треугольник, в котором сумма квадратов двух сторон равна квадрату третьей, является прямоугольным». Мы можем взять это суждение в качестве посылки для нашего силлогизма, так как существует теорема, обратная теореме Пифагора, и она выражается именно в виде этого суждения. Итак: