Дмитрий Гусев - Удивительная логика

Параллельные прямые не пересекаются (несовместимость).

Учебники не могут быть развлекательными книгами (несовместимость).

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

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

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

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

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

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

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

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

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

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

Если в суждении присутствуют один субъект и один предикат, то оно является простым. Все простые суждения по объему субъекта и качеству связки делятся на четыре вида. Объем субъекта может быть общим ( всё ) и частным ( некоторые ), а связка может быть утвердительной ( есть ) и отрицательной ( не есть ).