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

Умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или P2 (первая посылка); S есть Р1 (вторая посылка); S не есть P2 (заключение). Такую форму имеет, напр., следующее умозаключение: "Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем". В таком умозаключении для обеспечения его правильности в разделительной посылке союз "или" ("либо") должен употребляться в строго разделительном смысле (см.: Дизъюнкция). Простейшая форма модуса (2) имеет вид: S есть Р1 или P2, S не есть Р1; следовательно, S есть Р2. Пример: Организмы бывают одноклеточными или многоклеточными. Данный организм не является одноклеточным. Данный организм является многоклеточным. В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).