Условно-категорическое умозаключение

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

1) утверждающий модус – категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия. Схема:

pàq, p

______

q

2) отрицающий модус – категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания. Схема:

pàq, | q

______

| p

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

Задания для самостоятельной работы.

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

Образец:

Если студент сдаст все зачеты текущей сессии (основание - р), то он будет допущен к экзаменам (следствие - q).

Студент не допущен к экзаменам (|q).

Студент не сдал все зачеты текущей сессии (|p).

Отрицающий модус pàq, | q

______

| p

1.1. Если изменяются экономические отношения, изменяется и правосознание. Экономические отношения изменились.

1.2. Договор будет заключен, если между договаривающимися сторонами достигнуто соглашение. Однако договор заключен не будет.

1.3. Обмен жилого помещения не допускается, если он носит корыстный или фиктивный характер. Данный обмен носит фиктивный характер.

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

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

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

p\/q, p

______, где дизъюнкция строгая

| q

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

<p\/q>, | p

______, где дизъюнкция полная

q

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