6. Види простих висловлювань.

Усі поняття, що входять у висловлювання, пов'язані між собою певним чином. Залежно від характеру зв'язку між суб'єктом та предикатом і тим, що виражає предикат — властивість, відношення чи факт існування предмета думки, прості висловлювання поділяються на атрибутивні (висловлювання властивостей), реляційні (висловлювання про відношення), екзистенціальні (висловлювання існування).

• Атрибутивне (лат. – про властивість чи ознаку об'єкта мислення) — це висловлювання, в якому та чи інша ознака приписується певному предмету чи класу предметів або заперечується у нього. Наприклад: "Україна є унітарною державою".

• Реляційне (лат. - про відношення між об'єктами мислення) — це висловлювання, в якому виражене певне відношення між певними предметами думок. Формально реляційне висловлювання записують формулою "х R у", де "х" і "у" — символи, що позначають предмети, між якими встановлюються від ношення, "R" - символ, який позначає це відношення. Наприклад, "Право виникло раніше за державу".

• Екзистенціальне (лат. – про існування чи не існування об'єктів) — це висловлювання, в якому віддзеркалюється чин існування або не існування предмета думки. Наприклад, “Суспільство існувало завжди поряд з існуванням людей”.

Атрибутивне висловлювання характеризується за якісною та кількісною ознаками. За якістю висловлювання поділяються на стверджувальні та заперечні. Якість висловлювання визначається за характером зв'язки: "S є Р" (вказано на наявність, ствердження ознаки) і "S не є Р" (вказано на відсутність, заперечення ознаки). За кількістю, себто з урахуванням кількості об'єктів, про які у ньму йдеться, висловлювання поділяють на загальні, часткові та одиничні.

Загальні - це висловлювання, в яких виражена приналежність (або відсутність) властивості чи ознаки всім предметам певної множини чи класу (формула загального висловлювання — "всі S є Р" і "жоден S не є Р").

Часткове — це висловлювання, в якому та чи інша ознака належить (або не належить) лише деяким предметам даного класу чи множини ("Деякі S є Р" і "Деякі S не є Р").

Одиничне — це таке висловлювання, коли та чи інша ознака належить (або не належить) одиничному або одному елементу певної множини чи класу предметів ("Цей S є Р" або "Цей S не є Р").

Поділ атрибутивних висловлювань за кількістю та якістю узагальнюється у чотири таких види висловлювань:

а) загальностверджувальні ("Усі S є Р"), які позначають символом "А";

б) загальнозаперечні ("Жодне S не є Р"), які позначають символом "Е";

в) частковостверджувальні ("Деякі S є Р"), які позначаються символом "І";

г) частковозаперечні ("Деякі S не є Р"), які позначають символом "О".

Для правильного оперування висловлюваннями А, Е, І, О важливе значення має питання про розподіленість термінів висловлювання — суб'єкта і предиката.

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

Якщо термін беруть у повному обсязі, то його вважають розподіленим (позначаєтья знаком "+"); якщо ж термін беруть не у повному його обсязі, тоді він вважається нерозподіленим (позначається знаком "-"). Існують такі правила розподіленості термінів у висловлюваннях А, Е, І, О, себто взаєминн між суб'єктом і предикатом за обсягом кількості об'єктів, що охоплюються кожним з них.

Перше правило стосується суб'єкта (S). Логічний суб'єкт беруть у повному обсязі або він є розподіленим у загальних висловлюваннях, і він є нерозподіленим в часткових. Приклад розподіленості логічного суб'єкта: "Людина є смертною істотою" (S⁺ є Р).

Друге правило стосується предиката (Р). Предикат береться у повному обсязі або розподілений у заперечних висловлюваннях і нерозподілений у стверджувальних висловлюваннях. Приклад нерозподіленості предикта: "Ножем можна нарізати овочі" (S є Р-). Тут термін предиату "нарізати овочі" є нерозподіленим, оскільки ножем можна не лише нарізати овочі. "Деякі держави не є демократичними" ("S є Р⁺"). Тут предикат розподілений, оскільки в ньому мисляться всі держави, які не є демократичними, і ця властивість не притаманна державам, які відносяться до демократичних (див. схему нижче).

В таблиці наведена розподіленість термінів з урахуванням вказаних вимог:

Види висловлювань	S	Р
А (Усі S є Р)	+	- (+)
Е (Усі S не є Р)	+	+
І (Деякі S є Р)	-
О (Деякі S не є Р)	-	+

Позначка - (+) означає, що термін висловлювання може бути як розподіленим, так й ні.