Суждение как форма мышления
Суждение – это форма мышления, в которой что-либо утверждается или отрицается о данном понятии, его свойствах или отношениях с другими понятиями. В речи суждение выражается повествовательным предложением. Каждое суждение имеет значение истинности и может быть истинным или ложным. Например, «Все студенты сдают экзамены», «Некоторые школьники не являются отличниками», «Озёра бывают солёными», «Число 10 меньше 3».
В суждении есть субъект – то понятие, о котором что-либо утверждается или отрицается, предикат – то, что утверждается или отрицается о понятии, логическая связка – «есть» или «не есть» и квантор – «все», «некоторые», «ни один». Общая формула суждения: «S есть (не есть) P».
Виды суждений
Характеристиками суждения являются качество и количество. Качество суждения определяется характером логической связки: положительное («есть») и отрицательное («не есть»). Количество зависит от того, обо всех предметах класса идёт речь в суждении или только об их части. По количеству суждения могут быть общими (в суждении говорится обо всех объектах, входящих в понятие) и частными (в суждении представлена лишь часть объектов, входящих в понятие). Например, «Некоторые птицы не летают», «Граждане России имеют право на образование», «Грибы бывают ядовитыми».
В логике применяется объединённая классификация суждений по количеству и качеству. Рассмотрим её, изобразим при этом суждения с помощью круговых схем Эйлера (для этого необходимо определить отношения между субъектом и предикатом суждения). По количеству и качеству можно выделить четыре вида суждений.
1. 
Общеутвердительное суждение A. Например, «Все тигры (S) – млекопитающие (P)». В общем виде: «Все S есть P».
P
S
2. 
Общеотрицательное суждение E. Например, «Крокодилы (S) не летают (P)» (в явной логической форме: «Ни один крокодил (S) не летает (P)»). В общем виде: «Ни одно S не есть P».
S P
3. Частноотрицательное суждение O. Например, «Некоторые студенты (S) не являются отличниками (P)». В общем виде: «Некоторые S не есть P».
 |
4. Частноутвердительное суждение I. Например, «Некоторые студенты (S) работают (P)». В общем виде: «Некоторые S есть P».
 |
S P
 | |||
 |
В суждениях термины S и P могут быть распределены и не распределены. Термин считается распределённым, если он представлен в суждении в полном объёме (объём понятия целиком входит в объём другого понятия или целиком исключается из него). Термин считается нераспределённым, если он представлен в суждении частично (объём понятия включается в объём другого понятия частично или частично исключается из него).
Так, субъект суждения S распределён в общеутвердительном и общеотрицательном суждении (S+) и не распределён в частноутвердительном и частноотрицательном суждении (S-). Предикат суждения P распределён в общеотрицательном и частноотрицательном суждении (P+) и не распределён в общеутвердительном и частноутвердительном суждении (P-).