ЛОГИКА

В этом примере союз «или» в разделительной посылке может, так же как и в предыдущем примере, иметь не строго разделительный смысл. И всё же вывод в этом примере логически правильный. Объясняется это тем, что в данном случае умозаключение идёт по модусу tollendо ponens. Результатом умозаключения здесь оказывается утверждение за предметом того единственного свойства, которое из числа всех свойств рода осталось не исключённым категорической посылкой. Так как это оставшееся свойство во всяком случае должно принадлежать предмету, то способность этого свойства совмещаться с другим свойством (а именно это и означает не строго разделительный смысл слова «или») не делает заключение ошибочным.

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

Рассмотрим, например, силлогизм:

Жиры бывают по происхождению или минеральные или животные.

Розовое масло — не животного происхождения.

—————————————————————————

Розовое масло — минерального происхождения.

Силлогизм этот, конечно, ошибочный. Ошибка в нём заключается в том, что разделительная посылка даёт не полное, не исчерпывающее перечисление свойств определённого рода (в данном случае — в отношении происхождения), которые могут принадлежать предмету. Кроме жиров минерального и животного происхождения, возможны ещё жиры растительного происхождения. Поэтому, удостоверившись посредством категорической посылки в том, что розовое масло — не животного происхождения, мы ещё не имеем права утверждать, будто оно — минерального происхождения. И действительно, истина в том, что розовое масло — растительного происхождения.

Неполное деление в разделительной посылке ведёт к логической ошибке в заключении только при умозаключении по модусу tollendo ponens. При пробеле в членах деления всегда может случиться, что единственное оставшееся по исключении свойство вовсе не есть то именно свойство, которое должно принадлежать предмету. Принадлежащим предмету может оказаться свойство, пропущенное в разделительной посылке — по причине неполноты деления.

Напротив, для правильности вывода по модусу ponendo tollens полнота деления определяющих свойств, которые могут принадлежать предмету и которые перечисляются в разделительной посылке, не имеет значения. Для правильности умозаключения по модусу ponendo tollens важна не полнота деления, но несовместимость его членов. И действительно, утверждая — в категорической посылке — принадлежность некоторого свойства предмету, силлогизм по модусу ponendo tollens отрицает в заключении ряд других свойств ввиду их несовместимости с утверждаемым свойством. Так как в этом модусе категорическая посылка устанавливает, какое именно свойство из всех свойств известного рода принадлежит предмету, то совершенно очевидно, что отрицание ряда свойств, не совместимых с ним, остаётся истинным и в том случае, если при этом перечисляются не все свойства, не совместимые с установленным.

Например:

Тела, обращающиеся вокруг солнца, бывают или планеты, или астероиды, или кометы.

Эрос — астероид.

—————————————————————————

Эрос не есть ни планета, ни комета.

В этом силлогизме заключение логически правильно. Правда, логическое деление, осуществлённое в разделительной посылке, недостаточно полное, так как в нём пропущены некоторые члены: спутники планет, метеориты солнечной системы и т. д. Однако все эти пропуски не препятствуют правильности вывода. Так как Эрос оказался — на основании категорической посылки — астероидом и так как понятия остальных членов деления, указанных в разделительной посылке, несовместимы с понятием астероида, то заключение, исключающее астероид Эрос из числа планет и комет, остаётся во всяком случае истинным, хотя в нём названы не все виды тел солнечной системы, к каким не может принадлежать Эрос.

Сокращённые силлогизмы

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