Умозаключение. Основные способы умозаключений

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

Дедуктивные умозаключения (от лат. deductio - выведение) – показывают такие связи между посылками и заключением, которые представляют логические законы и с помощью дедукции выводят некоторые суждения из других суждений. При истинной посылке умозаключение будет всегда истинным.

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

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

Условно-категорические умозаключения - это двухпосылочные умозаключения, которые содержат импликативную посылку А É В. Другая посылка, а также заключение могут быть либо антецедентом (А), либо консеквентом (В) первой посылки, либо отрицанием того или другого (ØА или ØВ). К числу правильных условно-категорических умозаключений относятся:

А É В, А – modus ponens (утверждающий способ)

В

А É В, ØВ – modus tollens (отрицающий способ)

ØА

Таким образом, правильными являются умозаключения от утверждения антецедента (А) к утверждению консеквента (В) и от отрицания консеквента (ØВ) к отрицанию антецедента (ØА).

Например, «Если идет дождь, то крыши мокрые. Дождь идет. Значит, крыши мокрые» и «Если наступает осень, с деревьев опадают листья. Листья еще не опали. Значит, осень не наступила».

Разделительно - категорические умозаключения. Эти умозаключения также являются двухпосылочными, причем в них имеется дизъюнктивная посылка (А Ú В) или строго дизъюнктивная посылка (А Ú В). Другая же посылка и заключение совпадают с одним из дизъюнктов (А или В) или с его отрицанием (ØА или ØВ).

К числу правильных разделительно-категорических умозаключений относятся:

А Ú В, ØА – modus tollendo ponens

В (отрицающе-утверждающий способ)

АÚВ, А – modus ponendo tollens

ØВ (утверждающе-отрицающий способ).

Например, «В банкомате закончились деньги или он сломался.

Банкомат не сломался. Значит, кончились деньги» и «В понедельник

Студент-вечерник был либо на занятиях, либо на работе. Он был