Условные умозаключения

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

Если а, то b Схема:

Если b, то с.

Если а, то с а→b, b→c

a→c

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

((а→c)^ (b→с))→(а→с).

Доказательство тождественной истинности этой формулы можно провести табличным методом. Этот вид умозаключения часто используется в обучении, в частности при изучении мате­матики, физики, биологии.

Приведем пример:

Если правильно внести удобрения, то урожай повысится

Если урожай повысится, то себестоимость продукции станет ниже.

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

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

Если а, то b Схема:

Если не-а, то b а→b

b а→b

b

Формула: ((а →b )Ù (ā →b))→b.

Эта формула является законом логики. В умозаключении су­ждение b истинно и независимо от того, утверждается или отри­цается а.

Примером такого умозаключения является следующее рассуж­дение:

Если бензин не подорожает, уберем урожай.

Если бензин подорожает; уберем урожай.

Уберем урожай.

Приведем пример из художественной литературы. Один из героев Агаты Кристи, оказавшийся на острове, рассуждает:

“Генерал Макартур пребывал в мрачной задумчивости. Черт побери, до чего все странно! Совсем не то, на что он рассчиты­вал... Будь хоть малейшая возможность, он бы под любым пред­логом уехал... Ни минуты здесь не остался бы. Но моторка ушла. Так что хочешь не хочешь, а придется остаться”.

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