Александр Ивин - Искусство мыслить правильно

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

Согласно Г. Фреге, Б. Расселу и их последователям математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить ее истинную и наиболее глубокую природу. Этот подход к обоснованию математики получил название логицизма. Наиболее законченное изложение он нашел в изданном в 1910–1913 годах трехтомном труде «Principia Mathematica», написанном Б. Расселом совместно с другим английским математиком и логиком – А. Уайтхедом.

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

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

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

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

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

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

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

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

Людей, рассуждающих логически, больше, нежели красноречивых. Красноречие есть искусство приукрашивать логику.

Д. Дидро

Логика – смирительная рубашка фантазии.

Х. Нар

Было бы крайне нелогично руководствоваться в жизни только логикой.

Л. Кумор

Логика – это нравственность мысли и речи.

Я. Лукасевич

Любит, потому что любит, не любит, потому что не любит, – логика чувств и страстей коротка.

А. И. Герцен

Французский философ XVII века Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом. Эту способность невозможно обнаружить ни у автомата, ни у животного. Животное, впрочем, тоже представляет собой, по Декарту, разновидность автомата, наделенного рефлексами. Во всех отношениях, кроме языка, автомат может обнаруживать очевидные признаки интеллекта, иногда превосходящие соответствующие признаки человека. Но к языку ни организм, ни машина, лишенные разума, не будут способны, даже если наделить их физиологическими органами, необходимыми для производства речи.