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

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

[295]

Простейшая форма модуса (2) имеет вид: S есть Р₁ или p₂, S не есть р₁; следовательно, S есть Р₂. Пример:

Организмы бывают одноклеточными или многоклеточными.

Данный организм не является одноклеточным.

Данный организм является многоклеточным.

В таком умозаключении для обеспечения его правильности в пер­вой посылке должны быть перечислены все члены дизъюнкции (аль­тернативы).