Удивительная логика, стр. 11
Надо отметить, что в атрибутивном суждении не обязательно предикат является атрибутом субъекта, может быть и наоборот – субъект представляет собой атрибут предиката. Например, в суждении Некоторые птицы – это воробьи (как видим, по сравнению с вышеприведенным примером, субъект и предикат поменялись местами) субъект является неотъемлемым признаком (атрибутом) предиката. Однако эти суждения всегда можно формально изменить таким образом, что предикат станет атрибутом субъекта. Поэтому атрибутивными обычно называются те суждения, в которых предикат является атрибутом субъекта.
Экзистенциальные суждения (от лат. existentia – «существование») – это суждения, в которых предикат указывает на существование или несуществование субъекта. Например, суждение Вечных двигателей не бывает является экзистенциальным, так как его предикат не бывает свидетельствует о несуществовании субъекта (вернее – предмета, который обозначен субъектом).
Релятивные суждения (от лат. relativus – «относительный») – это суждения, в которых предикат выражает собой какое-то отношение к субъекту. Например, суждение Москва основана раньше Санкт-Петербурга является релятивным, потому что его предикат основана раньше Санкт-Петербурга указывает на временное (возрастное) отношение одного города и соответствующего понятия к другому городу и соответствующему понятию, представляющему собой субъект суждения.
В мышлении и языке большую часть составляют атрибутивные суждения. Они встречаются чаще, чем экзистенциальные и релятивные. Кроме того, последние, в принципе, можно представить как атрибутивные. Вернемся к экзистенциальному суждению Вечных двигателей не бывает. Его предикат (не быть или не существовать) вполне можно рассматривать как атрибут субъекта (вечные двигатели), ведь не существовать – это действительно неотъемлемый признак вечных двигателей, следовательно, данное суждение возможно расценивать как атрибутивное.
Теперь обратимся к релятивному суждению Москва основана раньше Санкт-Петербурга, предикат которого (быть основанным раньше Санкт-Петербурга) вполне можно рассматривать как атрибут субъекта (Москва), ведь быть старше Санкт-Петербурга (ранее основанным городом) – это действительно неотъемлемый признак Москвы. Таким образом, это суждение также возможно охарактеризовать как атрибутивное.
Все и некоторые, есть и не есть (Виды простых суждений)
Если в суждении присутствуют один субъект и один предикат, то оно является простым. Все простые суждения по объему субъекта и качеству связки делятся на четыре вида. Объем субъекта может быть общим (всё) и частным (некоторые), а связка может быть утвердительной (есть) и отрицательной (не есть).
На основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений: все – есть, некоторые – есть, все – не есть, некоторые – не есть. Каждый из этих видов имеет свое название и условное обозначение.
Общеутвердительные суждения (обозначаются латинской буквой А) – это суждения с общим объемом субъекта и утвердительной связкой, т. е. одновременно общие и утвердительные: Все S есть Р. Например: Все школьники являются учащимися.
Частноутвердительные суждения (обозначаются латинской буквой I) – это суждения с частным объемом субъекта и утвердительной связкой, т. е. одновременно частные и утвердительные: Некоторые S есть Р. Например: Некоторые животные являются хищниками.
Общеотрицательные суждения (обозначаются латинской буквой Е) – это суждения с общим объемом субъекта и отрицательной связкой, т. е. одновременно общие и отрицательные: Все S не есть Р (или Ни одно S не есть Р). Например: Все планеты не являются звездами, Ни одна планета не является звездой.
Частноотрицательные суждения (обозначаются латинской буквой О) – это суждения с частным объемом субъекта и отрицательной связкой, т. е. одновременно частные и отрицательные: Некоторые S не есть Р. Например: Некоторые грибы не являются съедобными.
Далее следует ответить на вопрос, к каким суждениям – общим или частным – следует относить суждения с единичным объемом субъекта (т. е. те суждения, в которых субъект представляет собой единичное понятие), например: Солнце – это небесное тело, Москва основана в 1147 году, Антарктида – это один из материков Земли. Суждение является общим, если речь в нем идет обо всем объеме субъекта, и частным, если речь идет о части объема субъекта. В суждениях с единичным объемом субъекта речь идет обо всем объеме субъекта (в приведенных примерах – обо всем Солнце, обо всей Москве, обо всей Антарктиде). Таким образом, суждения, в которых субъект является единичным понятием, считаются общими (общеутвердительными или общеотрицательными). Так, три приведенных выше суждения – общеутвердительные, а суждение Известный итальянский ученый эпохи Возрождения Галилео Галилей не является автором теории электромагнитного поля – общеотрицательное.
В дальнейшем будем говорить о видах простых суждений, не употребляя их длинных названий, с помощью условных обозначений – латинских букв А, I, Е, О. Эти буквы, взятые из двух латинских слов: affirmo – «утверждать» и nego – «отрицать», были предложены в качестве обозначения видов простых суждений еще в Средние века.
Важно отметить, что в каждом из видов простых суждений субъект и предикат находятся в определенных отношениях. Так, общий объем субъекта и утвердительная связка суждений вида А приводят к тому, что в них субъект и предикат могут находиться в отношениях равнозначности или подчинения (других отношений между субъектом и предикатом в суждениях вида А быть не может). Например, в суждении Все квадраты (S) – это равносторонние прямоугольники (Р) субъект и предикат находятся в отношении равнозначности, а в суждении Все киты (S) – это млекопитающие животные (Р) – в отношении подчинения.
Частный объем субъекта и утвердительная связка суждений вида I обусловливают то, что в них субъект и предикат могут находиться в отношениях пересечения или подчинения (но не в других). Например, в суждении Некоторые спортсмены (S) – это негры (Р) субъект и предикат находятся в отношении пересечения, а в суждении Некоторые деревья (S) – это сосны (Р) – в отношении подчинения.
Общий объем субъекта и отрицательная связка суждений вида Е приводят к тому, что в них субъект и предикат находятся только в отношении несовместимости. Например, субъект и предикат несовместимы в суждениях Все киты (S) – это не рыбы (Р), Все планеты (S) не являются звездами (Р), Все треугольники (S) – это не квадраты (Р).
Частный объем субъекта и отрицательная связка суждений вида О обусловливают то, что в них субъект и предикат, так же как и в суждениях вида I, могут быть только в отношениях пересечения и подчинения. Например, в суждении Некоторые студенты (S) не являются спортсменами (Р) субъект и предикат находятся в отношении пересечения, а в суждении Некоторые геометрические фигуры (S) не являются треугольниками (Р) субъект и предикат находятся в отношении подчинения.
Обо всем или о части (Распределенность терминов в простых суждениях)
Терминами суждения называются его субъект и предикат.
Термин считается распределенным (развернутым, исчерпанным, взятым в полном объеме), если в суждении речь идет обо всех объектах, входящих в объем этого термина. Распределенный термин обозначается знаком «+», а на схемах Эйлера изображается полным кругом (кругом, который не содержит в себе другого круга и не пересекается с другим кругом) (рис. 22).