Современная логика и другие науки

 

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

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

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

Согласно Р“.Фреге, Р‘.Расселу Рё РёС… последователям, математика Рё логика – это всего лишь РґРІРµ ступени РІ развитии той же самой науки. Математика может быть полностью сведена Рє логике, Рё такое чисто логическое обоснование математики позволит установить её истинную Рё наиболее глубокую РїСЂРёСЂРѕРґСѓ. Этот РїРѕРґС…РѕРґ Рє обоснованию математики получил название логицизма.

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

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

Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас ещё считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства.

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

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

Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.