5 (Не) есть р.

Пояснение. В естественном языке (в том числе в русском языке) структура пред.южен г/я, выражающая суждения, часто не совпадает со структурой суждении. «Язык переодевает мысли», говорил знаменитый австрийский логик, философ Людвиг Витгенштейн. Одна и та же мысль, имеющая структуру атрибутивного суждения, может быть выражена в русском языке различным образом.

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

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

Итак, в структуру реляционного суждения, или суждения с отношением, входят два или более субъектов, и предикат, роль которого играет отношение.

Субъ е к т ы реляционного суждения это понятия объектов, между которыми утверждается гаи отргщается наличие отношения.

Предикат суждения с отношением это связь, которая упгверждается или отргщается в суждении.

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

Продолжим рассмотрение атрибутивных суждений. В логике принято делить атрибутивные суждения на виды по двум основаниям: а) качеству и б) количеству.

а) Деление атрибутивных суждении по качеству

В атрибутивном суждении наличие признака у субъекта может утверждаться, а может отрицаться.

Утвердительными называются суждения, говорящие о принадлежности предиката субъекту суждения.

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

Пример. «Эта метафора является удачной». Это утвердительное суждение, поскольку в нем говорится о принадлежности признака «быть удачным» нашему субъекту, выраженном)' понятием «метафора».

Количество суждения характеристика суждения, определяющая, в каком объеме рассматривается субъект суждения.

Единичные суждения это суждения, субъектом иоторых является единичное понятие.

Пример. «Сократ является изобретателем диалектики». В этом суждении субъект - единичное понятие, поэтому и все суждение будет единичным.

Ие единичные суждения это суждения, субъектом которых является общее понятие.

Общие суждения это суждения, в которых предикат высказывается обо всем объеме субъекта.

Пример. «Все профессоры рассеянны». Здесь предикат «быть рассеянным» относится к каждом^' объекту из объема понятия «профессор», а следовательно, это суждение является общим.

Частные суждения это суждения, в которых предикат высказывается о некоторых элементах объема субъекта.

Пример. «Некоторые студенты хорошо отзываются о своих преподавателях». Это суждение частное, поскольку здесь предикат «хорошо отзываться о своих преподаварелях» высказывается о части элементов объема понятия

«студент».

Теперь мы можем дать определение категорических суждений.

Категорическим называется суждение, у которого точно выяснено качество и количество.

Таким образом, мы будем делить все атрибутивные суждения по количеству на общие и частные, а по качеству — на утвердительные и отрицательные. Поскольку мы имеем два дихотомических деления, то можно попытаться применить сложное дихотомическое деление (см. § 1 главы 5), в результате которого получается, что суждения могут быть:

1) общими и утвердительными — общ еу тверд и т ел ьн ым и;

2) общими и отрицательными — об) щ е о т рица т ельн ым и;

3) частными и утвердительными — части о у т в ер д и т ел ьны м и;

4) частными и отрицательными — час т н о о т р и ц а т ел ь н ы м и.

Это четыре вида категорических суждений. Еще в Средневековье были изобретены буквенные обозначения этих четырех видов суждений. Они происходят от названий гласных букв, входящих в латинские слова affirmo утверждаю, и nego отрицаю. Общеутвердительные суждения получили обозначение от первой гласной буквы слова affirmo А, частноутвердительные — от второй гласной буквы этого слова I; общеотрицательные — от первой гйасной буквы слова nego Е, частноотрицате/ьные — от второй — О.

Пример. Наше суждение с субъектом «люди» и предикатом «существа, имеющие преступные наклонности» будет выглядеть в канонической форме следующим образом:

А: «Все люди есть существа, имеющие преступные наклонности».

Е: «Ни один человек не есть существо, имеющее преступные наклонности».