Словарь по логике

РАЗДЕЛИТЕЛЬНОКАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

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


  1. разделительнокатегорическое умозаключение—умозаключение в котором одна из посылок разделительное суждение а другая категорическое. Р.к. у. имеет два модуса модус утверждающеотрицающий модус отрицающеутверждаю...Словарь логики