Судження – це форма мислення, у якій щось стверджується чи заперечується в існуванні предметів або виражається зв’язок між предметом та його властивостями чи відношення між предметами. Судження бувають прості та складні. У простих С пов’язані два поняття – суб’єкт S і предикат Р за допомогою зв’язки є чи не є. Просте судження складається з поняття про предмет (суб’єкт – S) і поняття про ознаку предмета (предикат – P). Наприклад: “Київ – столиця України”. У цьому судженні суб’єктом є поняття “Київ”, а предикатом – “столиця України”. Іншими словами, суб’єкт включає у собі отримане раніше знання, а предикат – елемент, який утворює нове знання. Між суб’єктом і предикатом існує тісний взаємозв’язок – наявність предикату може стверджуватися (як у наведеному прикладі) і заперечуватися.

Поділ простих судженнь за кількістю і якістю

З позицій класичної формальної логіки просте судження за ознакою повноти (кількістю) об’єму поділяються на :

загальні (кванторне слово – “Всі”) – судження, яке має у якості суб’єкта загальне поняття, а предикат якого належить до всього об’єму суб’єкта – “Усі фінансисти є фахівцями з цінних паперів”, “Всі справжні викладачі ДонДУУ втілюють в життя ідеали істини, добра, краси і справедливості”, “Всі правознавці не є адвокатами”;

часткові (кванторне слово – “Деякі”) – судження, яке має у якості суб’єкта загальне поняття, а предикат якого належить лише до вказаної частини об’єму суб’єкта – “Деякі студенти є відмінниками”, “Лише деякі люди можуть вважатися особистостями”;

одиничні (кванторне слово – “це”) – судження, яке має в якості суб’єкта одиничне поняття, а його предикат належить до всього об’єму суб’єкта – “Віктор Андрійович Ющенко – президент України”, “Студент Сидоренко В.М. – відмінник”.

У свою чергу за якістю зв’язки судження поділяються на :

стверджувальні (зв’язка “є”) – у ньому говориться, що певна ознака визнається як присутня у предмета;

заперечувальні (зв’язка “не є”) – певна ознака заперечується.

Таким чином, об’єднана класифікація суджень за кількістю і якістю виглядає так:

загальностверджувальні судження – “Всі S є Р”;

загальнозаперечувальні судження – “Всі S не є Р”;

частковостверджувальні –  “Деякі S є Р”;

частковозаперечувальні судження – “Деякі S не є Р”;

одиничні стверджувальні судження – “Це S є Р”;

одиничні заперечувальні судження – “Це S не є Р”.

Прості С поділяються на:

1)Екзистенціальні (С існування), у яких вираж сам факт існування предмета, що відобр в думці: а-а

2)Відносні С, у яких роль предмета, що вираж відношення між двома іншими елементами С, виконують інші поняття: a R b,або R(a,b)

3)Атрибутивні С, у яких ствердж або запереч певні властивості, що належать предмету: S є P, S не є P. Ці С наз ще категоричними.