Формула модуса tollendo ponens была уже нами выведена нами рассмотрении первого примера разделительного силлогизма:
| А есть или В, или С. |
| Но А не есть С. |
| ———————— |
| След., А есть В. |
§ 16. Другой модус разделительно-категорического силлогизма противоположен предыдущему.
Вот его пример:
| Орбиты комет — или эллипсы, или параболы, или гиперболы. |
| Орбита кометы Галлея есть эллипс. |
| ————————————————————————— |
| Орбита кометы Галлея не есть ни парабола, ни гипербола. |
В этом силлогизме разделительная посылка указывает, какие из исключающих друг друга свойств могут принадлежать предмету. Категорическая посылка устанавливает, какое именно из этих свойств действительно принадлежит предмету. Вывод состоит в заключении, что ни одно из остальных свойств не может принадлежать ему.
Разделительно-категорический силлогизм такого строения называется modus ponendo tollens, т. е. модусом, который «утверждая отрицает». И действительно, то, что категорическая посылка этого модуса утверждает как действительно принадлежащее предмету, ведёт в заключении к отрицанию всех прочих свойств, принадлежащих к тому же роду, но исключающих утверждаемое.
Ошибки, возможные в разделительно-категорическом силлогизме
§ 17. Модус tollendo ponens и модус ponendo tollens —два единственных модуса разделительно-категорического силлогизма, по которым может быть получен правильный вывод.
При умозаключениях по модусам разделительно-категорического силлогизма возможны две логические ошибки. Первая из них вызывается двусмысленностью грамматической формы и обусловленной ею неясностью разделительного смысла суждений.
Рассмотрим, например, силлогизм:
| Успехи в фортепианной игре обусловлены или усердием, или одарённостью. |
| Успехи Николаева в фортепианной игре обусловлены одарённостью. |
| ————————————————————————— |
| Успехи Николаева в фортепианной игре не обусловлены усердием. |
В этом примере умозаключение велось по модусу ponendo tollens. Однако вывод здесь получился логически ошибочным. Причина ошибки — двусмысленность союза «или», который может иметь и разделительный и не разделительный смысл. Это значит, что сказуемые, перечисляемые в предложении и отделяемые друг от друга союзом «или», могут или исключать друг друга как члены деления, или могут оказаться и совместимыми между собой. В первом случае союз «или» будет иметь разделительный смысл, во втором он не будет иметь разделительного смысла.
В нашем примере перечисляемые в посылке предикаты не обязательно исключают друг друга как члены деления, но могут оказаться и совместимыми между собой. Успехи в фортепианной игре могут объясняться не только усердием и не только одарённостью, в отдельности взятыми, но также и соединённым действием обоих этих качеств. Поэтому из того, что успехи Николаева обусловлены одарённостью, никак нельзя вывести, что на эти успехи не оказало влияния усердие Николаева: оба качества могли действовать вместе.
Не строго разделительный смысл союза «или» препятствует логической правильности вывода только при умозаключении по модусу ponendo tollens, так как только в этом модусе заключение говорит о несовместимости свойств.
Напротив, при умозаключении по модусу tollendo ponens не строго разделительный смысл слова «или» не препятствует правильности заключения, так как заключение говорит не о несовместимости свойств, как это бывает в модусе ponendo tollens, но утверждает принадлежность предмету единственного оставшегося свойства.