Логика

«Рабочие этого завода участвуют в социалистическом соревновании и успешно выполняют свои социалистические обязательства». Если в этом суждении выразить связь подлежащего и сказуемого по объему, то получится: «рабочие этого завода (подлежащее) суть (связка) люди, участвующие в социалистическом соревновании и успешно выполняющие свои социалистические обязательства (сказуемое)». Объем сказуемого здесь «люди, участвующие в социалистическом соревновании и успешно выполняющие свои социалистические обязательства», в который включается объем подлежащего, т. е. «рабочие этого завода». Но, построив таким образом суждение, мы видим некоторую его искусственность. Конечно, и в таком виде суждение имеет смысл: рабочие этого завода включены в число рабочих, охваченных соревнованием и ударничеством и выполняющих свои обязательства, составляют часть передовых рабочих нашей страны. Но смысл суждения «рабочие этого завода участвуют в социалистическом соревновании и успешно выполняют свои социалистические обязательства» всё же не в этом, не во включении объема подлежащего в объем сказуемого, a в том, что относительно подлежащего «рабочие этого завода» указывается определенный их признак, составляющий содержание сказуемого—участие в социалистическом соревновании и успешное выполнение своих социалистических обязательств.

Еще один пример. «Роза — это цветок». Здесь объем подлежащего «роза» действительно включается в класс сказуемого «цветок» (цветковое растение). Значит, здесь связь подлежащего и сказуемого по объему. «Розы в этом саду красные». Здесь сказуемое указывает относительно подлежащего на определенный его признак — красный цвет; значит, здесь связь подлежащего и сказуемого по содержанию. Конечно, и это суждение можно построить так, чтобы была видна связь подлежащего и сказуемого по объему: «эти розы суть предметы, имеющие красный цвет». При таком построении суждения класс подлежащего просто включается в класс сказуемого — предметы красного цвета. Но совершенно ясно, что класс предметов красного цвета — искусственная форма, созданная специально для того, чтобы дать возможность связать подлежащее и сказуемое по объему, смысл же данного суждения выражается связью подлежащего и сказуемого по их содержанию.

§ 4. О ТАК НАЗЫВАЕМЫХ «СУЖДЕНИЯХ ОТНОШЕНИЯ»

Изложенное выше относительно структуры суждения, т. е. о его составных частях и их отношениях, позволяет сделать вывод, что с формально-логической стороны все суждения однотипны, т. е. имеют одинаковую логическую структуру: подлежащее (S) и сказуемое (Р) соединяются связкой «есть» (суть) или «не есть» (не суть); при этом во всех суждениях подлежащее и сказуемое связываются по объему (включение S в класс Р или исключение из него) и по содержанию (принадлежность S признака Р или отсутствие у S этого признака).

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

В истории формальной логики давно уже была сделана попытка выделить особый тип суждений, так называемых «суждений отношения», в которых выражено отношение предметов друг к другу (английский логик Морган, французский логик Лашелье). Иногда под углом зрения этих «суждений отношения» делалась попытка упразднить старую, «аристотелевскую» логику (русский логик Поварнин), иногда ограничивались лишь пополнением старой логики этим новым типом суждения (русский логик XIX века Каринский). Конструирование суждений по типу «суждений отношения» послужило исходным пунктом для целого течения в буржуазной логике — для так называемой «логики отношений». Это — очень широко распространенное течение в современной буржуазной литературе по логике.