Наши партнеры
-умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2 (первая посылка); S есть Р1 (вторая посылка); S не есть p2 (заключение). Такую форму имеет, напр., следующее умозаключение: «Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем». В таком умозаключении для обеспечения его правильности в разделительной посылке союз «или» («либо») должен употребляться в строго разделительном смысле (см.: Дизъюнкция).
Простейшая форма модуса (2) имеет вид: S есть Р1 или p2, S не есть р1; следовательно, S есть Р2. Пример:
Организмы бывают одноклеточными или многоклеточными.
Данный организм не является одноклеточным.
Данный организм является многоклеточным.
В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).
РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Дилемма.
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА,см.: Разрешения проблема.