А или в, или с

Не-в и не-с

Например:

 

Власть может быть законодательной, или исполнительной, или судебной

Данная власть - законодательная

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

 

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

Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение остав­шегося члена. Его логическая структура такова:

__не-а и не-в__

с

Например:

Власть может быть или законодательной, или исполнительной, или судебной

Данная власть не законодательная и не исполнительная

Следовательно, власть – судебная

 

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

Условно-разделительным или лемматическим (от лат. lemme - «предположение») называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая - разделительное суждение. По количеству следствий условной посылки (альтернатив) различают дилеммы, трилеммы и полилеммы.

Дилемма - это условно-разделительное умозаключение с двумя альтер­нативами. В практике рассуждений встречаются два вида дилемм - конст­руктивная и деструктивная.

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

 

Если политические теории прогрессивны, то они способствуют развитию общества

Если же политические теории реакционны, то они препятствуют развитию общества

Но политические теории могут быть либо прогрессивными, либо реакционными

Политические теории либо способствуют развитию общества, либо препятствуютему

 

В условной посылке деструктивной дилеммы устанавливается, что из двух оснований могут вытекать два следствия. В разделительной посылке от­рицается одно из возможных следствий, а в заключении отрицается одно из возможных оснований. Например:

 

Если философ признает первичность материи по отношению к сознанию, то он является материалистом

Если же философ признает первичность сознания по отношению к материи, то он является идеалистом

Но философ либо не является материалистом, либо не является идеалистом

Философ не признает либо первичность материи по отношению к сознанию, либо первичность сознания по отношению к материи

 

В целом же, при правомерности выводов лемматических умозаключений нужно руководствоваться следующим: вывод правомерен, если ход рассуж­дений направлен от утверждения оснований к утверждению следствий или от отрицания следствий к отрицанию оснований, и неправомерен, если ход рассуждений направлен обратно указанному.

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