168 Дайте коротку характеристику атрибутивним,релятивним та екзистенціальним судженням судженням, їх класифікація

Атрибутивні судження

Судження класифікуються шляхом їх поділу за ознакою їх структурних особливостей, тобто за ознаками

Прості судження поділяються на:

1) екзистенціальні (судження існування), в яких виражається сам факт існування предмета, що відображається в думці. Наприклад: «Існує любов». Логічна формула такого судження: А — А;

2) релятивні (судження відношення), в яких роль предмета, що виражає відношення між двома іншими елементами судження, виконують інші поняття. Наприклад: «Петро брат Івана». Логічна формула такого судження: аRв або R(а,в);

3) атрибутивні судження, в яких стверджуються або заперечуються певні властивості, що належать предмету. Наприклад: «Люди є приматами», «Життя не є легкою справою». Логічна формула атрибутивних суджень: S є (не є) Р. Ці судження називаються ще категоричними.

Атрибутивні судження називають загальними, частковими, одиничними залежно від того, чи мова в них йде про весь клас предметів, чи про його частину, чи про один предмет у суб’єкті.

169 Логічний квадрат

Логічні відношення між судженнями можна подати у формі «логічного квадрата».

Розподіленим наз таке поняття (термін), яке в даному С взято в його повному обсязі. Нерозподіленим наз таке поняття (термін), яке взято частково, не в його повному обсязі.

У загальноствердних С (А) поняття на місці суб’єкта (S) повинні бути розподіленими, а на місці предиката (Р) можуть бути і розподіленими, і нерозподіленими.

У загальнозаперечних судженнях (Е) поняття на місці суб’єкта (S) та предиката (Р) завжди є розподіленими.

У частковоствердних судженнях (І) поняття на місці суб’єкта (S) завжди нерозподілені, а на місці предиката (Р) можуть бути розподіленими, але, як правило, є також нерозподіленими.

У частковозаперечних С (О) поняття на місці суб’єкта (S) завжди є нерозподіленим, а на місці предиката (Р) – завжди розподіленим.

170 Охарактеризуйте процес розподленості термінів судження.

Розподіленість термінів у категоричних судженнях

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

Розподілений термін - термін, який мислиться в повному обсязі, тобто обсяг якого повністю включається в обсяг іншого або повністю з нього виключається.

Так, у судженні "Всі паралелограми - чотирикутники" суб'єкт, безумовно, є розподіленим, тобто мислиться в повному обсязі, повністю включається своїм обсягом в обсяг поняття "чотирикутники". Це засвідчує вже кванторне слово "всі". Те саме можна сказати і про суб'єкт будь-якого загальностверджувального і загальнозаперечного судження. У судженні "Жоден хімічний елемент не є складною речовиною" суб'єкт ("хімічний елемент") є розподіленим, оскільки всі хімічні елементи в цьому судженні мислено виключаються із множини складних речовин. Про це свідчить і кванторне слово "жоден", яке в контексті квантора загальності ототожнюється з кванторним словом "усі".

Явно нерозподіленим є суб'єкт часткового визначеного судження. Так, у судженні "Тільки деякі метали тонуть у воді" суб'єкт, безумовно, нерозподілений. Про це свідчить словосполучення "тільки деякі", яке означає, що суб'єкт цього судження мислиться не в повному обсязі, тобто його обсяг і не повністю включається в обсяг предиката ("те, що тоне у воді"), і не повністю виключається.