Понятие об умозаключении, его видах


Если в, то с.(рq) Λ (qr)

Если а, то с. pr

Вывод в нем строится на правиле: следствие следствия есть следствие основания (основания).

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

Если а, то в.В символической записи:

a (рq), р

в q

(1) Это умозаключение получило название утверждающего модуса (modus ponens - МР). Рассуждение направлено от утверждения основы к утверждению следствия.

Modus ponens дает достоверные выводы.

(2) Другой модус, который дает достоверный вывод, есть отрицающий модус (modus tollens - МТ), в котором предпосылка выражена категорическим суждением, отрицает истинность следствия, а вывод заперчуе истинность основы (основания). Рассуждение направленно от отрицания следствия к отрицанию основы.

Если А, то В.В символической записи:

В (рq), ~q

Ā ~p

(3) Рассуждение направленно от отрицания основы к отрицанию следствия.

Если А, то В.В символической записи:

не-А рq, ~р

не-В ~q

(4) Рассуждение направленно от утверждения следствия к утверждению основы :

Если а, то в.В символической записи:

в рq, q

а p

Два первых модуса выражают законы логики и являются правильными модусами условно-категорического суждения. Они подлежат правилу: утверждение основы ведет к утверждению следствия и отрицанию следствия - к отрицанию основы. Два других модусы (3) и (4) достоверных выводов не дают и являются неправильными модусами. Они подчиняются правилу: отрицание основы не ведет с необходимостью к отрицанию следствия и утверждению следствия не ведет с необходимостью к утверждению основы.

(рq) Λ р)q - табл. истинности (пример), утвердительный модус.





Вернуться назад