Логика

Неправильность конструкции «суждений отношения» можно проиллюстрировать примером, который уже был приведен: «Эльбрус выше Монблана». Мы можем сказать: «Эльбрус — очень высокая гора»; это будет обычное суждение «S есть Р», в котором подлежащему «Эльбрус» приписывается признак большой высоты. Если же мы скажем: «Эльбрус выше Монблана», в этом суждении, как и в первом, мы приписываем тому же Эльбрусу тот же признак большой высоты, но делаем это более определенно, так как высоту определяем относительно другой горы — Монблана. Мы можем этот признак высоты Эльбруса выразить еще более определенно в таком суждении: «Эльбрус достигает высоты 5 633 метра». Логическая структура этих суждений одна и та же, и нет никаких оснований одному из них придавать особую форму и относить к особому типу только потому, что в нём высота Эльбруса определяется относительно другой горы.

Различные науки изучают различные отношения, т. е. отношения различных явлений действительности. Таковы, например, количественные отношения, изучаемые математическими науками, общественные отношения, изучаемые общественными науками, и др. Математика может изучать отношения, составляющие её предмет, используя для этого логические формы и приёмы. Равно и общественные науки для изучения общественных отношений пользуются логическими формами и приёмами. Но это не может служить основанием для того, чтобы подводить под одну логическую мерку и отношение величины между двумя горами, и отношение любви между супругами, и отношение классовой борьбы между эксплуататорами и эксплуатируемыми и искать логическую формулу, пригодную для всех этих отношений только потому, что они— «отношения».

Сторонники «логики отношений» обычно видят отличие «суждений отношения» от обычных суждений в том, что «суждения отношения» выражают отношения между предметами, тогда как обычные суждения типа «S есть Р» выражают лишь отношения между понятиями о предметах, а не между самими предметами. Такое различение суждений абсолютно неверно.

Во всяком суждении связываются понятия, которые выражают предметы. Не может быть истинных суждений, связывающих понятия без предметов, равно как не может быть истинных суждений, связывающих предметы без их понятий.

Широкое распространение «логики отношений» в буржуазной литературе по логике находит себе объяснение в том, что такая конструкция суждений вполне соответствует идеалистическому характеру буржуазной философии. Логический смысл «суждений отношения» состоит в том, что в них устанавливаются определенные отношения между предметами мысли, но ничего не утверждается о самих этих предметах, о их существовании, о их свойствах. В формуле aRb утверждается отношение R между предметами а и b, но не утверждается, что собой представляют предметы а и b, не утверждается даже, существуют ли эти предметы в действительности. «Суждения отношения» — это бессубъектные суждения, т. е. суждения без подлежащего, поэтому в них ничего не говорится, не утверждается и не отрицается о самих предметах действительности, о их свойствах. Таким образом, эта теория имеет идеалистический, агностицистский характер: суждения содержат высказывания об отношениях между мыслимыми предметами, но в них ничего не высказывается о сущности этих предметов. Что же касается приведенных выше элементарных и общеизвестных примеров («Эльбрус выше Монблана» и др.), то следует признать, что смысл «логики отношений», конечно, не в них, они приводятся только в качестве иллюстрации, а в том, чтобы оторвать суждения от объективной действительности, существующей вне сознания людей и в этом сознании отражающейся.

К сожалению, в советской литературе по логике иногда встречается некритическое заимствование из буржуазной «логики отношений», которая иногда характеризуется как прогрессивное направление в науке, имеющее материалистическую основу, как ценное научное достижение. Таковы, например, взгляды проф. В. Ф. Асмуса, выраженные в его книге «Логика» (Госполитиздат, 1947, стр. 73, 74) и особенно во вступительной статье к русскому переводу книги французского логика Шарля Серрюса «Опыт исследования значения логики» (Государственное издательство иностранной литературы, 1948); таковы же взгляды П. В. Таванца в его статье «О структуре суждения в атрибутивной логике и в логике отношений» («Известия Академии наук СССР. Серия истории и философии», т. III, № 6, 1946).

В действительности же «логику отношений» следует характеризовать как реакционное направление в буржуазной логике.

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

§ 5. ВИДЫ СУЖДЕНИЙ

В суждении подлежащее и сказуемое связываются по объему и по содержанию. В зависимости от объема и содержания подлежащего и сказуемого и от характера их связи суждения могут быть разделены на следующие группы: