Опосредованные дедуктивные умозаключения

Если а, то в

___а___

в 

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

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

Например: 

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу __________Решение суда обжаловано в кассационном порядке________

Следовательно, оно  еще не вступило в законную силу 

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

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу ________Решение суда еще не вступило в законную силу________

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

Правильная форма  отрицательного модуса - это разновидность  условно-категорического умозаключения, в которой ход умозаключения  направлен от отрицания следствия  к отрицанию основания. Например: 

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу _____________Решение суда вступило в законную силу_________

Значит, оно не может  быть обжаловано в кассационном порядке 

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

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу _____________Решение суда не обжаловано в кассационном порядке________

Следовательно, оно  уже вступило в законную силу 

Разделительным называется умозаключение, в котором одна или  не¬сколько посылок - разделительные суждения. Выделяют разделительно-категорические и условно-разделительные умозаключения.

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

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

а или в, или с

____а____

не-в и не-с

Например: 

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

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

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

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

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

а или в, или с 

__не-а и не-в__

с

Например: 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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