ЛОГИКА: читать книгу онлайн полностью и бесплатно

Предисловие

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

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

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

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

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

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

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

Глава I. Предмет и задача логики

Логика как наука о правильном мышлении

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

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

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

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

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

§ 3. Были логики, полагавшие, будто логика ничего другого не представляет кроме того, что она есть техническая наука о мышлении. Были и такие логики, которые думали, будто логика имеет дело не с тем,что есть, а с тем, что должно быть, с долженствованием. Последние утверждали, будто логика есть наука не о сущем, а о должном, о нормах нашего мышления. Направление в разработке логики, представители которого видят в ней науку о долженствовании, или о нормах мышления, называется нормативизмом.

Точка зрения нормативизма – неправильная. И технические правила и правила должного мышления, формулируемые логикой, могут существовать только потому, что существует логика как наука теоретическая.

Как грамматика выявляет существующие законы речи, языка, а не создаёт их, так и логика выявляет, в каких формах осуществляется правильное мышление.

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

1. Только определённое мышление есть мышление правильное, т. е. логичное.

2. Только последовательное мышление есть мышление логичное.

3. Только доказательное мышление есть мышление логичное,

Эти три положения о логичном мышлении являются действительно теоретическими.

Они обосновывают три правила относительно должного в мышлении.

§ 4. Так как только определённое мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно удовлетворять условиям определённости.

Так как только последовательное мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно быть последовательным,

Так как, наконец, только доказательное мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно быть доказательным.

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

Что же составляет предмет логики в качестве науки теоретической? – Для ответа на этот вопрос необходимо выяснить, что такое логическая форма.

Понятие о логической форме