ПРЕДИСЛОВИЕ
Предлагаемая книга представляет систематическое изложение учений логики. Она может быть использована студентами высших учебных заведений, аспирантами научно-исследовательских институтов и лицами, приступающими к самостоятельному изучению логики.
Преподаватели логики в средней школе найдут в ней подробное освещение вопросов, входящих в программу их предмета, но лишь кратко излагаемых в учебниках логики для старшего класса. В книге рассматривается только формальная логика. Вопросы об отношении формальной логики к диалектике не поставлены, так как рассмотрение этих вопросов целесообразно не в плане формальной логики, но лишь в плане логики диалектической.Учения формальной логики, излагаемые в книге, развиты на основе материалистического понимания мышления и научного познания. Законы и формы мышления, изучение которых составляет предмет логики, рассматриваются в книге как отражение свойств и'отношений вещей материального мира, существующих вне сознания и независимо от сознания. Автор стремился показать, что изучаемые логикой формы мышления — не выдумка схоластиков, но что они представляют обобщённое абстрактное выражение форм и правил мысли, применяемых всеми науками: науками о природе и науками об обществе.
Оставаясь формальной, логика стремилась в течение XIX и XX столетий к уточнению и обобщению собственных учений. Автор использовал в своём труде наиболее ценные результаты этого уточнения и обобщения.
В частности в теории умозаключений автор опирался на глубокие исследования крупнейшего русского представителя формальной логики в конце XIX и в начале XX столетия — М. И. Каринского. В теории доказательства автор опирался 1* 3 на классификаьию доказательств, предложенную профессором
С. И. Поварнпным — видным русским представителем логичи отношений. Классификация эта полнее классификации, принятой в обычной логике классов, и более разработана с логической точки зрения.
Рассматривая логику отношений как развитие и обобщение логики классов Аристотеля, автор расширил анализ суждения, введя в него кроме обычной для атрибутивной логики и логики классов схемы суждения S—Р, выражающей принадлежность признака предмету или класса предметов — другому классу предметов, также схему суждения aR6, выражающую все виды отношений, в том числе и другие виды отношений помимо отношений принадлежности.
В ходе подготовки к изданию рукопись предлагаемого труда рассматривалась специалистами. Автор приносит глубокую благодарность всем лицам, сообщившим ему'свои критические замечания, соображения и пожелания.
Профессор В. Асмус
Москва, 5 января 1947 г.