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