Предлагаемая книга представляет систематическое изложение учений логики. Она может быть использована студентами высших учебных заведений, аспирантами научно-исследовательских институтов и лицами, приступающими к самостоятельному изучению логики. Преподаватели логики в средней школе найдут в ней подробное освещение вопросов, входящих в программу их предмета, но лишь кратко излагаемых в учебниках логики для старшего класса. В книге рассматривается только формальная логика. Вопросы об отношении формальной логики к диалектике не поставлены, так как рассмотрение этих вопросов целесообразно не в плане формальной логики, но лишь в плане логики диалектической. Учения формальной логики, излагаемые в книге, развиты на основе материалистического понимания мышления и научного познания. Законы и формы мышления, изучение которых составляет предмет логики, рассматриваются в книге как отражение свойств и отношений вещей материального мира, существующих вне сознания и независимо от сознания. Автор стремился показать, что изучаемые логикой формы мышления — не выдумка схоластиков, но что они представляют обобщённое абстрактное выражение форм и правил мысли, применяемых всеми науками: науками о природе и науками об обществе. Оставаясь формальной, логика стремилась в течение XIX и XX столетий к уточнению и обобщению собственных учений. Автор использовал в своём труде наиболее ценные результаты этого уточнения и обобщения. В частности в теории умозаключений автор опирался на глубокие исследования крупнейшего русского представителя формальной логики в конце XIX и в начале XX столетия — М. И. Карийского. В теории доказательства автор опирался на классификаьиго доказательств, предложенную профессором С. И. Поварниным — видным русским представителем логача отношений. Классификация эта полнее классификации, принятой в обычной логике классов, и более разработана с логической точки зрения. Рассматривая логику отношений как развитие и обобщение логики классов Аристотеля, автор расширил анализ суждения, введя в него кроме обычной для атрибутивной логики и логики классов схемы суждения S—Р, выражающей принадлежность признака предмету или класса предметов — другому классу предметов, также схему суждения aRb, выражающую все виды отношений, в том числе и другие виды отношений помимо отношений принадлежности. В ходе подготовки к изданию рукопись предлагаемого труда рассматривалась специалистами. Автор приносит глубокую благодарность всем лицам, сообщившим ему`свои критические замечания, соображения и пожелания. Москва, 5 января 1947 г. Профессор В. Асмус Воспроизведено в оригинальной авторской орфографии издания 1947 года (издательство "ОГИЗ ").