Розділову судження - це

диз'юнктивне судження (від лат. 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) Р. с. відповідає відмінність між розділяють судженнями, виражають розподіл обсягу поняття при виключають і при що не виключають один одного членах ділення.

Б. Бірюков. Київ.

Філософська енциклопедія. У 5-х т. - М. Радянська енциклопедія. За редакцією Ф. В. Константинова. 1960-1970.

Дивитися що таке "розділову судження" в інших словниках:

розділову судження - диз'юнктивне (від лат. disjunctio роз'єднує) складне судження, утворене з двох або більшої кількості суджень за допомогою логічної зв'язки або. Загальна форма Р. с. має вигляд А1 v A2 v. v An, де Аn судження (член диз'юнкції, альтернатива), a ... ... Словник термінів логіки

З'єднувальні-розподільного судження - см. Розділове судження. Філософська енциклопедія. У 5 х т. М. Радянська енциклопедія. За редакцією Ф. В. Константинова. 1960 1970 ... Філософська енциклопедія

МІРКУВАННЯ - думка, що виражається розповідним пропозицією і є істинною або помилковою. С. позбавлене психологічного відтінку, властивого твердженням. Хоча С. знаходить своє вираження тільки в мові, воно, на відміну від пропозиції, не залежить від ... ... Філософська енциклопедія

Чи поділяєте МІРКУВАННЯ - см. Розділове судження. Філософська енциклопедія. У 5 х т. М. Радянська енциклопедія. За редакцією Ф. В. Константинова. 1960 1970 ... Філософська енциклопедія

Зенон - Зенон, син Мнасея (або Демея), з Кітію, що на Кіпрі, грецькому місті з финикийскими поселенцями. У нього була крива шия (говорить Тимофій Афінський в Життєписах), а сам він, за свідченням Аполлонія Тирского, був худий, досить ... ... Про життя, навчаннях і висловах знаменитих філософів

Силогізм - умовивід, в якому на підставі кількох суджень з необхідністю виводиться нове судження, зване ув'язненням. На відміну від С. як умовиводи посереднього, безпосереднім висновком називається те, в якому висновок ... ... Енциклопедичний словник Ф.А. Брокгауза і І.А. Ефрона

Розділові - розділові, розділова, розділову. 1. ділячи що небудь, що позначає розділ, поділ (кніжн.). Розділова риса. 2. Виражає або позначає вибір між двома або кількома думками, можливостями (філос. І грам.). ... ... Тлумачний словник Ушакова

розділовий - а, е. Ділив що л. позначає розділ, поділ. Розділовий знак. Розділова риса. ◊ розділовий сполучник грам. союз, який з'єднує однорідні члени речення або частини пропозиції і вказує на можливу реальність лише ... ... Малий академічний словник

ДИЛЕММА - (грец. Di двічі, лат. Lemma припущення подвійне припущення) судження, в якому предмету приписуються два суперечать ознаки, що виключають можливість третього. Дилемою називається також особливий випадок умовно розділового силогізму ... Новітній філософський словник

ДИЛЕММА - (грец. Від двічі і лема, припущення, посилка), форма умовиводу (логічний. Виводу), посилки (початкові допущення) якого мають гіпотетічен. (Умовну) і діз'юнктівную (розділову) структуру. Якщо прописними лат. буквами ... ... Філософська енциклопедія