ЛОГИКА

Предлагаемая книга представляет систематическое изложение учений логики. Она может быть использована студентами высших учебных заведений, аспирантами научно-исследовательских институтов и лицами, приступающими к самостоятельному изучению логики. Преподаватели логики в средней школе найдут в ней подробное освещение вопросов, входящих в программу их предмета, но лишь кратко излагаемых в учебниках логики для старшего класса.

В книге рассматривается только формальная логика. Вопросы об отношении формальной логики к диалектике не поставлены, так как рассмотрение этих вопросов целесообразно не в плане формальной логики, но лишь в плане логики диалектической.

Учения формальной логики, излагаемые в книге, развиты на основе материалистического понимания мышления и научного познания. Законы и формы мышления, изучение которых составляет предмет логики, рассматриваются в книге как отражение свойств и отношений вещей материального мира, существующих вне сознания и независимо от сознания. Автор стремился показать, что изучаемые логикой формы мышления — не выдумка схоластиков, но что они представляют обобщённое абстрактное выражение форм и правил мысли, применяемых всеми науками: науками о природе и науками об обществе.

Оставаясь формальной, логика стремилась в течение XIX и XX столетий к уточнению и обобщению собственных учений. Автор использовал в своём труде наиболее ценные результаты этого уточнения и обобщения. В частности в теории умозаключений автор опирался на глубокие исследования крупнейшего русского представителя формальной логики в конце XIX и в начале XX столетия — М. И. Каринского. В теории доказательства автор опирался на классификацию доказательств, предложенную профессором С. И. Поварниным — видным русским представителем логики отношений. Классификация эта полнее классификации, принятой в обычной логике классов, и более разработана с логической точки зрения.

Рассматривая логику отношений как развитие и обобщение логики классов Аристотеля, автор расширил анализ суждения, введя в него кроме обычной для атрибутивной логики и логики классов схемы суждения S—Р, выражающей принадлежность признака предмету или класса предметов — другому классу предметов, также схему суждения aRb , выражающую все виды отношений, в том числе и другие виды отношений помимо отношений принадлежности. В ходе подготовки к изданию рукопись предлагаемого труда рассматривалась специалистами. Автор приносит глубокую благодарность всем лицам, сообщившим ему свои критические замечания, соображения и пожелания.

Профессор В. Асмус

Москва, 5 января 1947 г.

§ 1. В практической и теоретической деятельности перед человеком встают задачи, которые могут быть решены только при условии, если мышление, участвующее в этом решении, будет правильным мышлением, т. е. способным вести нас к достижению истины.

Чтобы мышление было правильным, оно должно удовлетворять трём главным требованиям: 1) определённости, 2) последовательности и 3) доказательности.

Определённое мышление есть мышление точное, свободное от всякой сбивчивости. Последовательное мышление есть мышление, свободное от внутренних противоречий, разрушающих связь между мыслями там, где эта связь необходима. Доказательное мышление есть мышление, не просто формулирующее истину, но вместе и указывающее основания, по которым она необходимо должна быть признана истиной.

§ 2. Логика учит, как следует определять понятия, выяснять их содержание, как надо делить объём понятия, осуществлять классификацию, как следует умозаключать, т. е. из истин, уже выясненных или признанных, выводить другие истины, необходимо связанные с первыми, и т. д.