Утверждающе - отрицающий модус (modus ponendo tollens)

Здесь мысль направляется от утверждения одного из мыслимых вариантов

к отрицанию другого. Большая посылка данного модус

должна быть разделительным суждением, меньшая посылка

(простое категорическое суждение)

-утверждает один из членов дизъюнкции,

азаключение (тоже категорическое суждение)

-отрицает другой(или другие) дизъюнкт

Пример:

Суждение может быть либо утвердительным (А),

либо отрицательным (В)

Это суждение утвердительное (А)

--------------------------------------------------------------

Это суждение не является отрицательным (не-В)

Символическая его запись: ((А В) А) В

Отрицающе-утверждающий модус

(modus tollendo ponens)

Здесь наша мысль следует от отрицания одного

к утверждению другого из двух мыслимых вариантов.

Меньшая посылка, являясь простым категорическим суждением,

отрицает один из дизъюнктов исходного сложного

разделительного суждения, а в заключении утверждается другой.

Пример:

«Понятия употребляются в собирательном

(А) или разделительном значении (В).

Данное понятие употреблено не в собирательном значении (не-А).

Данное понятие употреблено в разделительном значении (В)».

Символическая запись приведённого умозаключения: ((А В) А) В

Мысль, оформленная в разделительно-категорических умозаключениях, должна подчиняться следующим правилам:

1) разделительное суждение должно быть строго разделительным, то есть мыслимые варианты (дизъюнкты) должны исключать друг друга

Пример:

Книги бывают полезными (А) и интересными (В) Эта книга полезна (А)

------------------------------------------------------------------

Следовательно, она неинтересна (не-В)

Ясно, что вывод не является корректным.

А причина заключается в том, что суждения А и В не исключают друг друга,

то есть книги могут быть одновременно и интересными, и полезными

2) строго разделительное суждение должно быть исчерпывающим

Пример:

Власть может быть законодательной или исполнительной Данная власть - не законодательная

-------------------------------------------------

Следовательно, она исполнительная

Вывод проблематичен, так как мы в перечень типов власти не включили судебную власть.

Аесли понятие «власть» употребить

вещё более широком значении, то в

него могут быть включены в качестве составных элементов

власть духовная, власть экономическая