Умозаключения

Главная - Логика - Умозаключения

Возможно и так: и основа и следствие большей предпосылки является как утвердительной, так и буду отрицать вальними суждениями: р~q, p .

~qВидиляючи условные суждения достоверны во всех четырех модусах.

Разделительно-категорический - умозаключение, в котором одна из предпосылок, - разделительный, а другая предпосылка и вывод - категорические суждения. Различают два модуса разделительно-категорического умозаключения : 1) Утвердительно-отрицательная (modus ponento tollens - MPT) - меньшая предпосылка - категорическое суждение - утверждает один член V, вывод - также категорическое суждение - отрицает другой ее член:

а или вВ символической записи:

а р v q, р

не-в ~q

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

2) Отрицательно-утвердительный модус (modus tollendo ponens - MNP) - меньшая предпосылка отрицает один диз'юнкт, вывод утверждает другой:

вВ ли символической записи:

не а

, ~р

- закрит. v.

в q

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

Умовно-роздилювальний - умозаключение, в котором одна предпосылка условно, а другой разделительное суждение (лемматичний умозаключение ли lemma - предположение). Разделительное суждение может содержать две и больше альтернативы, потому тематическое умозаключение делящееся на дилеммы, трилеми и так далее

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

Различают две дилеммы: конструктивную и деструктивную.

В простой конструктивной дилемме условная предпосылка содержит две основы из которых вытекает одно и то же следствие. Рассуждение направлено от утверждения истинности основы к утверждению истинности следствия.

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

а или в (pr) Λ (qr)p v q

с r

В сложной конструктивной дилемме условная предпосылка содержит две основы и два последствия. Рассуждение направлено от утверждения истинности основ к утверждению истинности последствий : с ли.

в или d

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