Валентин Асмус - ЛОГИКА

Не строго разделительный смысл союза «или» препятствует логической правильности вывода только при умозаключении по модусу ponendo tollens, так как только в этом модусе заключение говорит о несовместимости свойств.

Напротив, при умозаключении по модусу tollendo ponens не строго разделительный смысл слова «или» не препятствует правильности заключения, так как заключение говорит не о несовместимости свойств, как это бывает в модусе ponendo tollens, но утверждает принадлежность предмету единственного оставшегося свойства.

Пример:

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

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

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

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

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

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

Например:

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

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

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

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

§ 20.Сокращённые силлогизмы называются энтимемами — от греческого слова ἐν θυμῷ, означающего «в уме». Название это показывает, что одна из посылок силлогизма не высказывается, но подразумевается говорящим.