32. Что такое чисто условное умозаключение? Каковы его правила?

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

Если а, то в

Если в, то с

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

Если а, то с

Например :

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

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

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

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

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

33. Что такое условно-категорическое умозаключение и его достоверные и вероятностные модусы?

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

Если а, то в

а

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

в

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

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

Например :

Если слово стоит в начале предложения ( а ), то его нужно писать с большой буквы ( b )

Слово "столица" стоит в начале предложения ( a )

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

Слово "столица" в этом предложении нужно писать с большой буквы ( b )

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

Например :

Если слово стоит в начале предложения ( а ), то его нужно писать с большой буквы ( b )

Слово "Москва" написано с большой буквы ( b )

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

Слово "Москва" стоит в начале предложения ( a )

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

Например :

Если слово стоит в начале предложения ( а ), то его нужно писать с большой буквы ( b )

Слово "столица" в предложении не написано с большой буквы (- b )

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

Слово "столица" не стоит в начале предложения(- а )

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

Например :

Если слово стоит в начале предложения ( а ), то его нужно писать в большой буквы ( b )

Слово "Москва" не стоит в начале предложения(- а )

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

Слово "Москва" не нужно писать с большой буквы(- b )

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

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

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

а или b

а

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

не-b

Например :

Суждение может быть либо утвердительным ( a ), либо отрицательным ( b )

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

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

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

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

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

а или b

а

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

не-b

Например :

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

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

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

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

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