Логика: Учебное пособие для юридических вузов

Условное умозаключение (условный силлогизм) - это такой вид опосре­дованного дедуктивного умозаключения, в котором по крайней мере одна из посылок - условное суждение. Выделяют чисто условные и условно-катего­рические умозаключения.

Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки и заключение являются условными суждениями. Его логическая структура такова:

Если а, то в

__Если в, то с__

Если а, то с

Например:

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

Если у обучаемого не вырабатывается потребность качественно осваивать профессию юриста, то он будет плохим специалистом

Если у обучаемого не развито чувство ответственности, то он будет плохим специалистом

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

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

Если а, то в

___а___

в

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

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

Например:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

а или в, или с

____а____

не-в и не-с

Например:

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

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

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

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

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

а или в, или с

__не-а и не-в__

с

Например:

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

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

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

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

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

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