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

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

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

1) В утверждающе-отрицающем модусе меньшая посылка – категорическое суждение – утверждает один член дизъюнкции, заключение – также категорическое суждение – отрицает другой её член.

Пример:

Облигации могут быть предъявительскими (р) или именными (q)

  Данная облигация предъявительская (q)

Данная облигация не является именной (не-q)

 

Схема:

p ˅˅ q, p

˥q

 

˅˅ - строгая дизъюнкция (в оригинале должна быть двойной вертикально)

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

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

Пример:

 Облигации могут быть предъявительскими (р) или именными (q)

Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

 

Схема:

<p˅˅q>, ˥p

   q

< > - символ закрытой дизъюнкции.

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

Дилеммы, их виды и правильные формы.

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

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

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

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

Схема:

(p→r)˄(q→r), p˅q

       r

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

Схема

(p→q)˄(r→s), p˅r

       q˅s

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

Схема

(p→q)˄(p→r), ˥q˅˥r

        ˥p

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

Схема

(p→q)˄(r→s), ˥q˅˥s

      ˥p˅˥r

Недедуктивные умозаключения, их виды и роль в познании.

Индукция как метод познания. Индуктивные умозаключения.

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