Удивительная логика

Чтобы установить, в каком отношении находятся субъект и предикат того или иного суждения, надо сначала установить, какое понятие данного суждения является субъектом, а какое предикатом. Для примера определим отношение между субъектом и предикатом в суждении Некоторые военнослужащие являются россиянами.

Сначала находим субъект суждения, – это понятие военнослужащие, затем устанавливаем его предикат, – это понятие россияне. Понятия военнослужащие и россияне находятся в отношении пересечения (военнослужащий может быть россиянином и может им не быть; и россиянин может как быть, так и не быть военнослужащим). Следовательно, в указанном суждении субъект и предикат пересекаются.

Точно так же в суждении Все планеты – это небесные тела субъект и предикат находятся в отношении подчинения, а в суждении Ни один кит не является рыбой субъект и предикат несовместимы.

Как правило, все суждения подразделяют на три вида:

Атрибутивные суждения (от лат. attributum – «неотъемлемый признак») – это суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак субъекта. Например, суждение Все воробьи – это птицы – атрибутивное, потому что его предикат является неотъемлемым признаком субъекта, ведь быть птицей – это главный признак воробья, его атрибут, без которого он не будет самим собой (если некий объект не птица, то он обязательно и не воробей).

Надо отметить, что в атрибутивном суждении не обязательно предикат является атрибутом субъекта, может быть и наоборот – субъект представляет собой атрибут предиката. Например, в суждении Некоторые птицы – это воробьи (как видим, по сравнению с вышеприведенным примером, субъект и предикат поменялись местами) субъект является неотъемлемым признаком (атрибутом) предиката. Однако эти суждения всегда можно формально изменить таким образом, что предикат станет атрибутом субъекта. Поэтому атрибутивными обычно называются те суждения, в которых предикат является атрибутом субъекта.

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

Релятивные суждения (от лат. relativus – «относительный») – это суждения, в которых предикат выражает собой какое-то отношение к субъекту. Например, суждение Москва основана раньше Санкт-Петербурга является релятивным, потому что его предикат основана раньше Санкт-Петербурга указывает на временное (возрастное) отношение одного города и соответствующего понятия к другому городу и соответствующему понятию, представляющему собой субъект суждения.