С точки зрения качества суждения делятся на утвердительные и отрицательные. Формулы их таковы:

S есть P.

S не есть P.

Если мы предикат придаём субъекту, то это будет утвердительное суждение; если мы предикат отнимаем от субъекта, то суждение будет отрицательное. Например, суждение «люди пристрастны к самим себе» будет суждением утвердительным, потому что известный предикат мы приписываем субъекту (признаём входящим в содержание субъекта), а, например, суждение «люди не поддаются лести» будет отрицательным суждением, потому что предикат «поддаваться лести» мы отнимаем от людей, т. е. признаём не входящим в содержание субъекта «люди». Следовательно, с точки зрения качества мы определяем, придаётся ли предикат субъекту или отнимается от него.

Мы можем классы, получаемые от разделения суждений с точки зрения количества, соединить с классами, получаемыми от разделения суждений с точки зрения качества, и тогда мы получим суждения общеутвердительные и частноутвердительные, общеотрицательные и частноотрицательные.

Формулы этих суждений будут следующие:

1. Общеутвердительное суждение: «все S суть P». Например, «все люди боятся смерти».

2. Частноутвердительное суждение: «некоторые S суть P». Например, «некоторые люди имеют чёрный цвет кожи».

3. Общеотрицательное суждение: «ни одно S не есть P». Например, «ни один человек не всеведущ».

4. Частноотрицательное суждение: «некоторые S не суть P». Например, «некоторые люди не имеют чёрного цвета кожи».

Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для общеутвердительного суждения берут символ A, первую гласную глагола affirmo – утверждаю; для частноутвердительного – I, вторую гласную того же глагола; для общеотрицательного – E, первую гласную глагола nego – отрицаю; для частноотрицательного – O, вторую гласную того же глагола.

Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:

A: Все S суть P.

I: Некоторые S суть P.

E: Ни одно S не есть P.

O: Некоторые S не суть P.