Приглашаем посетить сайт
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕ́НИЕ - дизъюнктивное суждение (от лат. disjungo - разобщаю), - сложное суждение, к-рое либо (а) образовано из двух (или большего числа) др. суждений (членов Р. с.) с помощью логич. союза "или" (или союзов "либо", "или..., или", "либо..., либо", подобных союзу "или" с логич. т. зр.), либо (б) может быть без изменения логич. смысла представлено в виде (а). В зависимости от смысла логич. союза "или" - строго-разделительного (исключающего, исключающе-разделительного), к-рому при двух членах Р. с. соответствует с и л ь н а я дизъюнкция, или же нестрого- разделительного (соединительно-разделительного), которому соответствует с л а б а я дизъюнкция, - различают: 1) строго-, чисто-Р. с. (предложения, высказывания) и 2) нестрого-разделительные (соединительно-разделительные) суждения. Логич. форма Р. с. (обоих видов) может быть передана записью (*) "А1 или А2, или..., или Аn" (где Ai обозначает к.-л. суждение, i - 1, 2, ..., n; число n обычно невелико, т.к. в содержат. мышлении и естеств. языке неупотребительны громоздкие конструкции); в случае Р. с. вида (1) иногда применяется запись "Или Α1, или А2, или ..., или Аn" или "Либо Α1, либо А2, либо..., либо Аn".
В Р. с. вида (1) союз "или" выражает попарную несовместимость его членов, а смысл всего суждения состоит в утверждении истинности одного и только одного из членов Р. с. В таких Р. с. логич. союз "или" можно рассматривать соответствующим операции строгой дизъюнкции лишь в случае двухчленного Р. с, т.к. формулы логики вида Ø1VØ2V... VØm [где Øi - к.-л. формулы (высказывания) логики высказываний или предикатов, i = 1, 2,..., m, a знак V означает строгую дизъюнкцию], в отличие от Р. с. вида (1), обладают тем свойством, что получают значение "истина" тогда и только тогда, когда нечетное число дизъюнктивных членов истинно, в силу чего, напр., формула вида Ø1VØ2VØ3 оказывается истинной, когда все три высказывания Ø1Ø2Ø3 истинны.
В Р. с. вида (2) союз "или" не предполагает несовместимости членов Р. с; смысл Р. с. здесь состоит в утверждении того, что по крайней мере один из членов Р. с. истинен (а может быть, и все они истинны). Союзу "или" в таких Р. с. соответствует операция (слабой) дизъюнкции, и Р. с. вида (2) выразимы формулами логики вида (* *): Ø1VØ2V...VØm, где V - знак (слабой) дизъюнкции. Р. с. вида (1) выразимы теми же формулами (* *), но с конъюнктивным добавлением выражения вида (Ø1 традиц. логики); эти формы легко представимы записью вида (*), если учесть, что, напр., форма (α) по смыслу равнозначна форме "S есть P1, или S есть Р2, или..., или S есть Рn". Иногда термин "Р. с." применяют именно к указ. формам традиц. логики, обозначая общее понятие Р. с, как оно описано выше, термином "дизъюнкция суждений".
Родственными Р. с. и преобразуемыми в них (правда, с нек-рым изменением смысла) являются суждения, выражающие деление объема понятия; в нематематич. формальной логике их называют разделяющими суждениями. Напр., "Животные бывают позвоночные и (или) беспозвоночные" - разделяющее суждение, а "Данное животное или позвоночное, или беспозвоночное" - Р. с. Различию видов (1) и (2) Р. с. соответствует различие между разделяющими суждениями, выражающими деление объема понятия при исключающих и при не исключающих друг друга членах деления.
Лит.: Челпанов Г. И., Учебник логики, [М.], 1946, с. 42-43; Асмус В. Ф., Логика, [М.], 1947, с. 83-87; Строгович М. С., Логика, [М.], 1949, с. 167-69; Таванец П. В., Суждение и его виды, М., 1953, с. 105-10; его же, Вопросы теории суждения, М., 1955, с. 113-21; Дроздов А. В., Вопросы классификации суждений, [Л.], 1956, с. 43-60; Бирюков Б. В., Исключающее "или" естеств. языка и строгая дизъюнкция в математич. логике (дополнение редактора), в кн.: Гетманова А. Д., Выражение дедуктивных умозаключений традиционной логики в символич. логике, Мурманск, 1962.
Б. Бирюков. Москва.