Разделительно-категорические умозаключения
Представляют собой умозаключения, в которых одна посылка – разделительное (дизъюнктивное) суждение, а другое – простое (с внешним отрицанием или без него). Рассмотрим умозаключения, в которых разделительная посылка содержит только два простых суждений. Имеется две правильные разновидности данных умозаключений. ·Отрицающе-утверждающий модус Данная схема строится на основе применения к посылкам правила ИД1. Напомним, что в этих умозаключениях дизъюнкция может быть как нестрогой, так и строгой.
Примеры умозаключений по этой схеме даны в разделе 4.2. в связи с описанием правила ИД1.
·Утверждающе-отрицающий модус Его схема строится на основе правила ИД2
Пример умозаключения по этой схеме см. в разделе 4.2. в связи с описание правила ИД2. Все остальные модусы разделительно-категорических умозаключений не являются схемами дедуктивных выводов (возможность убедиться в этом предоставляется читателю). Всем дедуктивным разделительно-категорическим умозаключениям присущи следующие свойства: – Если из всех возможностей, которые описаны разделительным суждением, какие-то не реализуются, то имеет место все остальное. – Если какая-то одна возможность из тех, которые описаны разделительным суждением со строгой дизъюнкцией, реализуется, то все остальные не имеют места.
|
Схема:
3. q
3.не - q
