«Эльбрус (а) выше (R) Монблана (b)», «Иван (а) любит (R) Петра (b)», «Простуда (а) — причина (R) моего заболевания (b)», «2x2 (a)=(R) 4 (b)», «верблюды (а) выносливее (R) лошадей (b)», «летние ночи (а) короче (R) зимних (b)», «охотник (а) выстрелил (R) в птицу (b)», «я (а) купил (R) новый костюм (b)». Таких примеров можно набрать сколько угодно. Весь вопрос в том, представляют ли собой эти и им подобные суждения какой-то особый тип (или вид, или класс) суждений, или это обычные суждения обычной логической структуры (S есть Р).
Для примера возьмем суждение: «Эльбрус выше Монблана». Это суждение может иметь такую логическую структуру: «Эльбрус есть гора, более высокая, чем Монблан». Это суждение следует обычной формуле суждения «S есть Р». Подлежащее здесь «Эльбрус», сказуемое «гора, более высокая, чем Монблан». Со стороны объема в этом суждении подлежащее включается в класс предметов, охватываемых сказуемым, со стороны содержания — сказуемое приписывает подлежащему признак — высоту, превышающую высоту Монблана. Значит, это обычное суждение «S есть Р». Оно превращено в суждение особого типа, «суждение отношения», таким образом: из содержания сказуемого искусственно выделяется некоторая часть и переносится в связку, которая превращается тем самым в отношение, а само отношение оказывается не логической связью понятий, а любой связью предметов.
Это видно на том же примере: «Эльбрус есть гора, более высокая, чем Монблан». Сказуемое здесь — «гора, более высокая, чем Монблан». Из этого сказуемого выделяется признак высоты (более высокая, чем, или выше) и делается отдельной частью суждения, именуемой отношением, которое соответствует связке в обычном суждении, и получается так называемое «суждение отношения» aRb — «Эльбрус выше Монблана».
Эти соображения применимы к любому суждению, рассматриваемому как «суждение отношения»: например, «Иван любит Петра» — «Иван есть человек, любящий Петра». Из сказуемого этого суждения выделяется признак любви и делается самостоятельной частью суждения. Конечно, относительно последнего суждения можно указать на искусственность конструкции сказуемого как класса «людей, любящих Петра». Этот вопрос мы рассматривали выше, когда говорили об отношениях подлежащего и сказуемого по объему и по содержанию (§ 3): искусственность построения сказуемого как класса предметов может иметь место и в суждении, не имеющем ничего общего с «суждением отношения». Дело, очевидно, в том, что во многих так называемых «суждениях отношения» их смысл заключается в отношении подлежащего и сказуемого по содержанию, а не по объему: «Иван любит Петра» — это означает, что сказуемое приписывает подлежащему «Иван» определенный признак — любовь к Петру; об Иване говорится, что он любит Петра, а это соответствует обычной схеме суждения «S есть Я».
Неправильность конструкции «суждений отношения» можно проиллюстрировать примером, который уже был приведен: «Эльбрус выше Монблана». Мы можем сказать: «Эльбрус — очень высокая гора»; это будет обычное суждение «S есть Р», в котором подлежащему «Эльбрус» приписывается признак большой высоты. Если же мы скажем: «Эльбрус выше Монблана», в этом суждении, как и в первом, мы приписываем тому же Эльбрусу тот же признак большой высоты, но делаем это более определенно, так как высоту определяем относительно другой горы — Монблана. Мы можем этот признак высоты Эльбруса выразить еще более определенно в таком суждении: «Эльбрус достигает высоты 5 633 метра». Логическая структура этих суждений одна и та же, и нет никаких оснований одному из них придавать особую форму и относить к особому типу только потому, что в нём высота Эльбруса определяется относительно другой горы.
Различные науки изучают различные отношения, т. е. отношения различных явлений действительности. Таковы, например, количественные отношения, изучаемые математическими науками, общественные отношения, изучаемые общественными науками, и др. Математика может изучать отношения, составляющие её предмет, используя для этого логические формы и приёмы. Равно и общественные науки для изучения общественных отношений пользуются логическими формами и приёмами. Но это не может служить основанием для того, чтобы подводить под одну логическую мерку и отношение величины между двумя горами, и отношение любви между супругами, и отношение классовой борьбы между эксплуататорами и эксплуатируемыми и искать логическую формулу, пригодную для всех этих отношений только потому, что они— «отношения».