Категорические высказывания как атрибутивные высказывания

Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами «все» и «некоторые», то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура:

где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква Р — имя признака, присущего или не присущего этому предмету.

Имя предмета, о котором говорится в категорическом высказывании, называется «субъектом», а имя его признака — «предикатом». Субъект и предикат именуются «терминами» категорического высказывания и соединяются между собой связками «есть» или «не есть» («является» или «не является»).

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

Простые высказывания типа «S есть (не есть) Р» называются «атрибутивными»: в них осуществляется атрибуция (приписывание) какого-то свойства предмету.

Атрибутивным высказываниям противостоят высказывания об отношениях, в которых устанавливаются отношения между двумя или большим числом предметов: «У нас в стране юристов не меньше, чем экономистов»", «Москва больше Урюпинска», «Весна лучше осени», «Земля находится в Солнечной системе между Венерой и Марсом» и т. п. Высказывания об отношениях играют существенную роль в науке, особенно в математике. Они не сводятся к категорическим высказываниям, поскольку отношения между несколькими предметами (такие, как «равно», «любит», «опаснее», «находится между» и т. п.) не сводятся к свойствам отдельных предметов.

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