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

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

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

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

Пример:

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

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

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

Схема:

P ˅˅ q, p

˥q

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

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

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

Пример:

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

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

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

Схема:

<p˅˅q>, ˥p

q

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

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

Не нашли, что искали? Воспользуйтесь поиском: