"Учебник логики" - читать интересную книгу автора (Челпанов Г.И.)

III. Наконец, третий класс суждений - это те суждения, в которых
выражается определенное отношение между понятиями подлежащего и сказуемого.
В них мы отличаем:
a) Суждения тождества. В суждениях этого рода понятия субъекта и
предиката имеют один и тот же объем, т.е. в них подлежащее и сказуемое суть
понятия равнозначащие. Например, "всякий равносторонний треугольник есть
равноугольный треугольник", "Ломоносов был крупнейшим теоретиком русского
литературного языка". В математике часто применяются суждения, выражающие
тождество; именно сюда относятся суждения, которые выражаются уравнениями.
Например,
(a + b)(a + b) = aa + 2ab + bb;
b) Суждения подчинения совпадают с объяснительными суждениями. Здесь
понятия субъекта и предиката не являются тождественными, так как их объемы
отличаются друг от друга. Именно здесь понятия с менее широким объемом
подчиняются понятию с более широким объемом. Поэтому подобные суждения могут
быть названы суждениями подчинения. Например, "солнце есть неподвижная
звезда", "это есть правильный пятиугольник", "собака есть домашнее
животное".
c) Суждения отношения пространства, времени и причинности. В
предложении "дом находится на улице" говорится об известном пространственном
отношении между "домом" и "улицей"; "находящийся на улице" образует
содержание предиката. В суждении "Александр Македонский жил до нашей эры"
предикатом является "жил до нашей эры" и выражает собой временное отношение.
"Солнце производит теплоту" (суждение причинности).
Суждения существования. Если мы возьмем какое-нибудь суждение, в
котором относительно S высказывается какое-либо P, то в таком суждении мы по
большей части не утверждаем прямо, что S существует вне человеческого
мышления, потому что в этом случае только устанавливается известное
логическое отношение между S и P. Если мы, например, возьмем суждение "ни
одна часть окружности не есть прямая", то мы не ставим вопроса о том,
существует ли что-либо вроде круга в строго геометрическом смысле. Если бы у
нас даже не было убеждения в том, что такого рода круги существуют, то
все-таки мы могли бы произнести указанное суждение, потому что в нем мы
только устанавливаем известное отношение между подлежащим и сказуемым.
Наоборот, такие суждения, как "мир существует", "солнце существует",
"существует любовь к родине, которая способна на великие жертвы",
"существуют антиподы", имеют только цель утверждать бытие или существование
логического субъекта. Такие суждения, которые приписывают понятию субъекта
только лишь существование, называются суждениями существования, или
экзистенциальными суждениями. Легко видеть, что слово "есть" в этих
суждениях является не связкой, а предикатом и обозначает "существует".
Аналитические и синтетические суждения. Суждение, в котором мы
относительно субъекта высказываем нечто такое, что в нем уже содержится,
называется аналитическим. Например, в подлежащем суждения "всякое тело
протяженно" признак протяженности уже содержится. Мы не можем мыслить
понятие "тело" без того, чтобы не мыслить его протяженным. Поэтому если мы
говорим, что тело протяженно, то мы только раскрываем, анализируем то, что
уже содержится в подлежащем. Оттого само суждение называется аналитическим.
От аналитических суждений отличаются суждения, в которых предикат не
находится в содержании субъекта, в которых предикат привносит нечто новое к