Сторонники «логики отношений» обычно видят отличие «суждений отношения» от обычных суждений в том, что «суждения отношения» выражают отношения между предметами, тогда как обычные суждения типа «S есть Р» выражают лишь отношения между понятиями о предметах, а не между самими предметами. Такое различение суждений абсолютно неверно.
Во всяком суждении связываются понятия, которые выражают предметы. Не может быть истинных суждений, связывающих понятия без предметов, равно как не может быть истинных суждений, связывающих предметы без их понятий.
Широкое распространение «логики отношений» в буржуазной литературе по логике находит себе объяснение в том, что такая конструкция суждений вполне соответствует идеалистическому характеру буржуазной философии. Логический смысл «суждений отношения» состоит в том, что в них устанавливаются определенные отношения между предметами мысли, но ничего не утверждается о самих этих предметах, о их существовании, о их свойствах. В формуле aRb утверждается отношение R между предметами а и b, но не утверждается, что собой представляют предметы а и b, не утверждается даже, существуют ли эти предметы в действительности. «Суждения отношения» — это бессубъектные суждения, т. е. суждения без подлежащего, поэтому в них ничего не говорится, не утверждается и не отрицается о самих предметах действительности, о их свойствах. Таким образом, эта теория имеет идеалистический, агностицистский характер: суждения содержат высказывания об отношениях между мыслимыми предметами, но в них ничего не высказывается о сущности этих предметов. Что же касается приведенных выше элементарных и общеизвестных примеров («Эльбрус выше Монблана» и др.), то следует признать, что смысл «логики отношений», конечно, не в них, они приводятся только в качестве иллюстрации, а в том, чтобы оторвать суждения от объективной действительности, существующей вне сознания людей и в этом сознании отражающейся.
К сожалению, в советской литературе по логике иногда встречается некритическое заимствование из буржуазной «логики отношений», которая иногда характеризуется как прогрессивное направление в науке, имеющее материалистическую основу, как ценное научное достижение. Таковы, например, взгляды проф. В. Ф. Асмуса, выраженные в его книге «Логика» (Госполитиздат, 1947, стр. 73, 74) и особенно во вступительной статье к русскому переводу книги французского логика Шарля Серрюса «Опыт исследования значения логики» (Государственное издательство иностранной литературы, 1948); таковы же взгляды П. В. Таванца в его статье «О структуре суждения в атрибутивной логике и в логике отношений» («Известия Академии наук СССР. Серия истории и философии», т. III, № 6, 1946).
В действительности же «логику отношений» следует характеризовать как реакционное направление в буржуазной логике.
Таким образом, мы приходим к выводу, что суждения, рассматриваемые с формально-логической стороны, всегда являются суждениями, связывающими понятия подлежащего и сказуемого по их объему и по их содержанию, и выражаются формулой «S есть (не есть) Р».
§ 5. ВИДЫ СУЖДЕНИЙ
В суждении подлежащее и сказуемое связываются по объему и по содержанию. В зависимости от объема и содержания подлежащего и сказуемого и от характера их связи суждения могут быть разделены на следующие группы:
1. По количеству (объему) суждения делятся на общие, частные и индивидуальные (единичные).
2. По качеству (содержанию) суждения делятся на утвердительные и отрицательные.
3. По характеру связи подлежащего и сказуемого суждения делятся на категорические, гипотетические (условные) и разделительные.
4. По степени существенности для подлежащего того признака, который выражен сказуемым (модальности), суждения делятся на проблематические, ассерторические и аподиктические.
Рассмотрим каждое такое деление суждений.
§ 6. ДЕЛЕНИЕ СУЖДЕНИЙ ПО КОЛИЧЕСТВУ (ОБЪЕМУ)