РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ

Найдено 3 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [постсоветское] [современное]

Разделительное суждение
сложное суждение, образуемое логическим союзом дизъюнкция, соответствующим грамматическим союзам «или», «либо» в значении: «или то, или это, или то и это вместе».

Источник: Традиционная логика. Словарь по книге

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ

- дизъюнктивное (от лат. disjunctio - разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки "или". Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn - суждение (член дизъюнкции, альтернатива), a v - знак дизъюнкции. Существуют два вида Р. с.: строго разделительные и нестрого разделительные. В строго разделительных суждениях связка "или", "либо" употребляется в строго разделительном смысле (см.: Дизъюнкция), т. е. когда члены дизъюнкции (альтернативы) в двучленном суждении A1 v A2 несовместимы (одно из них является истинным, а другое - ложным). Таково суждение: "Этот человек является виновным (A1) либо этот человек не является виновным (А2)". Естественно, что данный человек не может быть одновременно виновным и невиновным, имеет место лишь одна из альтернатив. В нестрого разделительных суждениях (см.: Дизъюнкция) альтернативы не являются несовместимыми. Таково суждение "Этот ученик является способным или он является прилежным". В этом суждении не исключается, что ученик может быть одновременно способным и прилежным.
Р. с. в обычном языке формулируются чаще всего в сокращенной форме и имеют, напр., вид: "S есть Р1 или P2 или "Р1 или P2 принадлежит S". Так, суждение "Данный треугольник прямоугольный или непрямоугольный" означает Р. с. "Данный треугольник прямоугольный или данный треугольник непрямоугольный" Связка "либо" вместо связки "или" используется обычно в строго разделительных суждениях.

Источник: Словарь по логике

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ
дизъюнктивное суждение (от лат. 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. Б. Бирюков. Москва.

Источник: Философская Энциклопедия. В 5-х т.

Похожие термины: