Александр Ивин: Современная логика

© Век 2, 2009

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

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

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

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

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

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

Разумеется, это заблуждение. Знакомство уже с первыми разделами книги покажет необоснованность такого чрезмерного оптимизма в отношении наших стихийно сложившихся навыков правильного мышления. Люди постоянно стремятся расширить свои знания и обогатить свою память. Но, как сказал еще Гераклит, само по себе многознание – это все-таки не мудрость. Мудрость предполагает знание оснований и причин. И в особенности логических оснований принимаемых положений. Без способности обосновать имеющиеся убеждения нет подлинного и твердого знания.

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

Здесь не излагаются некие «чистые» и «окончательные» итоги, достигнутые логикой. Даже самые важные результаты, изолированные от истории своего развития и споров вокруг них, являются, как выразился немецкий философ XIX века Г. Гегель, «трупом, оставившим позади себя тенденцию».

Лет триста назад авторы книг по логике обычно считали своим долгом предостеречь читателя от торопливости при чтении: «В водах логики не следует плыть с полными парусами».

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