4.3. Розподіленість термінів у судженнях
Терміни S i P в атрибутивних судженнях розподілені, якщо беруться в повному обсязі. Терміни в судженнях нерозподілені, якщо беруться не в повному обсязі. Формальною ознакою розподіленості суб’єкта є квантор «усі», формальною ознакою його нерозподіленості є квантор «деякі».
Що стосується визначення розподіленості предиката, то формальною ознакою його розподіленості в більшості випадків виступає зв’язка «не є», а нерозподіленості — зв’язка «є». Існує лише виняток для предикатів за- гальноствердних і частковоствердних суджень з виділяючими словами і одиничних суджень (наприклад: «тільки деякі метали тонуть у воді», «лише деякі люди — поети», «Київ є столицею сучасної України», «К. Твардовський — засновник Львівсько-Варшавської школи логіків» тощо), в яких предикат завжди розподілений. В усіх інших випадках формально-логічними засобами визначити розподіленість термінів неможливо.Таблиця 5
РОЗПОДІЛЕНІСТЬ ТЕРМІНІВ У СУДЖЕННЯХ
| Види суджень | Позначення суджень | Формула суджень | Розподіленість термінів судження | ||
| У традиційній логіці | У математичній логіці | S | P | ||
| Загальноствердні | А | "S - Р | "х[S(x)®P(x)] | + | – + |
| Частковоствердні | І | $S - Р | $x[S(x) Ù P(x)] | – | – + |
| Загальнозаперечні | Е | "S ~ P | "х[S(x)®P(x)] | + | + |
| Частковозаперечні | О | $S ~ P | $x[S(x) Ù P(x)] | – | + |
Зображення відношень між S і Р колами Ейлера. Перші діаграми суджень (ліворуч) А, І відображають розподіленість термінів у звичайних атрибутивних судженнях, другі діаграми (праворуч) відображають розподіленість термінів у виділяючих судженнях.
Для відображення розподіленості термінів судження Е існує лише один варіант діаграми з розподіленими термінами, а для судження О існує два варіанти діаграм для нерозподіленого суб’єкта і розподіленого предиката (див. рис. 7).
Рис. 7. Відношення між S і P за допомогою кіл Ейлера Таблиця 6 КЛАСИФІКАЦІЯ СУДЖЕНЬ
| Поділ суджень за структурою | ||||||
| Прості | Складні | |||||
| Атрибу- тивні | Релятивні | Екзистенціальні | Модальні | Безумовні | Умовні | |
| категоричні | розділові | |||||
| · Загальноствердні · Загальнозаперечні · Частковоствердні · Частковозаперечні | Перетворюються в атрибутивні судження | Перетворюються в атрибутивні судження | · Алетичні · Епістемічні · Темпоральні · Деонтичні | Кон’юнкції | · Строгої диз’юнкції · Нестрогої диз’юнкції | · Імплікації · Еквівалентності |