Відносини між простими судженнями

Відносини між простими судженнями визначаються, з одного боку, їх конкретним змістом, а з іншого - логічною формою: характером суб'єкта, предиката, логічної зв'язки. Оскільки за характером предиката прості судження поділяються насамперед на атрибутивні та реляційні, розглянемо кожен з цих видів окремо.
Відносини між атрибутивними судженнями. За своїм змістом атрибутивні судження можуть перебувати в двох найважливіших відносинах - порівнянності і непорівнянність.

Незрівнянні судження. У них різні суб'єкти або предикати або те й інше разом. Такі, наприклад, судження: «Космос неосяжний» і «Закон суворий». У подібних випадках істинність або хибність одного з суджень безпосередньо не залежить від істинності чи хибності іншого. Вона прямо визначається відношенням до дійсності - відповідністю або невідповідністю їй. Правда, в умовах універсальної зв'язку і взаємодії предметів і явищ дійсності судження про них не можуть бути абсолютно незалежними один від одного. Очевидна лише їх відносна самостійність, незалежність з точки зору істинності чи хибності. Так, якщо істинно судження «Енергія зберігається» (а не зникає і не виникає з нічого, як сказано в законі збереження і перетворення енергії), то буде помилковим судження «Вічний двигун можливий», хоча за конкретним змістом вони не мають нічого спільного - ні суб'єкта , ні предиката, а отже, є високими порівняно.

До незрівняним відносяться також судження, у яких може бути однаковим суб'єкт або предикат. Наприклад: «Закон суворий» і «Закон вступив в силу» або «Закон вступив в силу» і «Указ вступив в силу». І хоча смислове відмінність тут менше, ніж у попередньому випадку, вони теж не можуть співвідноситися між собою по істинність або хибність. Тому в подальшому їх аналіз не проводиться.

Порівнянні судження. Вони, навпаки, мають однакові терміни - і суб'єкт, і предикат, але можуть відрізнятися за кількістю і якістю. Це судження, як кажуть, «однакової матерії», а отже, можна порівняти по істинності і хибності.

За своєю логічною формою - перш за все за кількістю і якістю - порівнянні судження поділяються на сумісні і несумісні.

Сумісні судження містять одну і ту ж думку - повністю або частково. Між ними виникають такі логічні відносини: еквівалентність, підпорядкування, часткової сумісності.

Еквівалентність (рівнозначність) - це відношення між судженнями, у яких суб'єкт і предикат виражені одними і тими ж або рівнозначними поняттями (хоча і різними словами), причому і кількість і якість одні й ті ж. Такі, наприклад, общеутвердітельние судження: «Всі адвокати - юристи» і «Все захисники в суді мають спеціальне, юридичну освіту».

Аналогічно може обстоять справа з Общеотріцательное, Частноутвердітельное і частноотріцательное судженнями. Відносини між такого роду судженнями по їх істинність або хибність характеризуються взаємно-однозначним відповідністю: вони або одночасно істинні, або одночасно хибні. Тому якщо істинно одне, то істинно і інше, а якщо одне хибне, то і інше брехливо.

Наступні відносини між простими атрибутивними судженнями - А, Е, I, О - для наочності зображуються графічно у вигляді «логічного квадрата».

Підпорядкування - це відношення між такими судженнями, у яких кількість різна, а якість один і той же. В такому відношенні знаходяться общеутвердительное (А) і частноутвердительное (I), общеотріцательное (Е) і частноотрицательное (О) судження.

При підпорядкуванні діють такі закономірності: а) Якщо істинно підкоряє судження (А, Е), то тим більше істинно підлегле (відповідно I, О), але якщо істинно підлегле (I, О), то підкоряє (А, Е) невизначено: воно може бути як істинним, так і помилковим.

Приклади. Якщо істинно А, що «Все адвокати - юристи», то тим більше істинно I, що «Принаймні деякі адвокати - юристи». Але якщо істинно I, що «Деякі свідки правдиві», то звідси ще не випливає, що істинно А: «Всі свідки правдиві». В даному випадку це помилкове судження. В інших випадках А може бути істинним. Наприклад: якщо істинно I, що «Деякі адвокати - юристи», то істинно А, що «Все адвокати - юристи». б) Якщо помилково підлегле судження (1,0), то тим більше помилково підкоряє (А, Е), але якщо помилково підкоряє (А, Е), то підлегле (1, О) невизначено: воно може бути як істинним, так і хибним.

Приклади. Якщо помилково I, що «Деякі громадяни вправі порушувати закони», то тим більше помилково А, що «Всі громадяни мають право порушувати закони». Але якщо помилково А, що «Всі свідки правдиві», то звідси ще не випливає, що помилково I: «Деякі свідки правдиві». В даному випадку це істинне судження. В інших випадках I може бути помилковим. Наприклад: якщо помилково А, що «Всі громадяни мають право порушувати закони», то помилково і I, що «Деякі громадяни вправі порушувати закони».

Часткова сумісність (субконтрарность) - це відношення між судженнями однакової кількості, але різної якості: між Частноутвердітельное (I) і частноотріцательное (О) судженнями. Для неї характерна наступна закономірність: обидва судження можуть бути одночасно істинними, але не можуть бути одночасно хибними. Наприклад, при істинності I, що «Деякі відетелі правдиві», може бути істинно і О, що «Деякі свідки не правдиві». Але О може бути і помилковим. Наприклад: якщо істинно I, що «Деякі адвокати - юристи», то це не означає, що істинно Про: «Деякі адвокати - не юристи». Воно помилково. Однак якщо помилково I, що «Деякі громадяни вправі порушувати закони», то не може бути хибним О, що «Принаймні деякі громадяни не мають права порушувати закони». Воно буде неодмінно істинним.

Несумісні судження. Вони мають такі логічні відносини: протилежності і суперечності.

Протилежність - це відношення між Общеутвердітельное (А) і Общеотріцательное (Е) судженнями. Обидва таких судження не можуть бути одночасно істинними, але можуть бути одночасно хибними. Тут, отже, закономірність, зворотна тій, що характеризувала відносини часткової сумісності. Так, якщо істинно А, що «Все адвокати - юристи», то помилково Е, що «Жоден адвокат - не юрист». І якщо істинно Е, що «Жоден громадянин не має права порушувати закони», то помилково А, що «Всі громадяни мають право порушувати закони». Але якщо помилково А, що «Всі свідки правдиві», то звідси ще не випливає істинність Е, що «Жоден свідок не правдивий». В даному випадку воно теж помилкове. Істинно тут I, що «Деякі свідки правдиві», і О, що «Деякі свідки не правдиві». В інших випадках Е може бути істинним. Так, якщо помилково А, що «Всі громадяни мають право порушувати закони», то істинно Е, що «Жоден громадянин не має права порушувати закони».

Протиріччя (контрадікторності) - відношення між такими судженнями, як общеутвердительное (А) і частноотрінательное (О), общеотріцательное (Е) і частноутвердительное (I). Їм притаманні такі закономірності: вони не можуть бути одночасно істинними і не можуть бути одночасно хибними. Це «самі несумісні» з усіх суджень: між ними, образно кажучи, відносини «кішки і собаки», оскільки ті не можуть ужитися один з одним.