Классификация суждений по количеству и качеству

Традиционная логика делит суждения по качеству на суждения утвердительные и отрицательные. Утвердительными она называет суждения, в которых отображается принадлежность свойства предмету, что на логическом языке выражается как присущность предиката субъекту. Все такие суждения представляются схемой «S есть Р». Например, в суждении «адвокат есть юрист» связка «есть» утверждает принадлежность адвокатов к юристам. Учителя не являются юристами. Поэтому для выражения этого высказывания используется отрицательная связка «не есть».

По количеству суждения можно разделить на общие и частные. Особым видом частных суждений является единичное суждение. В современной логике для обозначения количества суждения используются специальные символы, называемые кванторами. Для выражения общих суждений употребляется квантор общности, который обозначается символом («х) или более кратко (х). Для обозначения частных суждений используется квантор существования, называемый также экзистенциальным квантором (3 х) Он показывает, что существует, по крайней мере, один предмет, который обладает данным свойством. Вот почему единичные суждения относят к суждениям частным.

Классификацию суждений можно проводить одновременно как по качеству, так и по количеству. Соответственно этому, можно различать общеутвердительные и общеотрицательные суждения, а также суждения частноутвердительные и частноотрицательные.