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

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

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

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

1. Исследование логических особенностей дедуктивных наук. Этот раздел достаточно глубоко и всесторонне разработан математиками и логиками. Многие результаты, полученные здесь (например, теорема Гёделя о неполноте и др.) имеют принципиальное философско-методологическое значение.

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

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

3. Применение логического анализа к оценочно-нормативному знанию. Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и других кодексов и т. д. Тема ценностей стала одной из центральных в сегодняшней методологии. Знание не сводимо к истине, оно включает также ценности. Без них нет ни гуманитарной, ни естественной науки. Всякая научная теория включает ценности, и притом в самой разнообразной форме: в форме иерархии своих положений, в форме ценностных составляющих господствующей парадигмы, (номинальных) определений, конвенций и т. д. Интенсивные исследования в этой области показали несостоятельность неопозитивистского требования исключения ценностей из науки. Это требование несовместимо не только с реальной практикой этики, эстетики, политэкономии и подобных им дисциплин, непосредственно занятых обоснованием и утверждением определенных ценностей, но и с практикой научного познания в целом, которое, как и всякая человеческая деятельность, немыслимо без целей и иных ценностей. В изучении внутренних и внешних ценностей научных теорий важную роль призвана играть и логика.

4. Логический анализ приемов и операций, постоянно используемых во всех сферах мыслительной деятельности. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. п.

5. Применение логического анализа для исследовании наиболее важных категорий («причинность», «детерминизм», «онтологическая, или физическая, необходимость», «научный закон», объяснение, предсказание, понимание и др.).

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

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

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

Эта гипотеза о принципиальной неспособности животных говорить подобно человеку вызвала нескончаемые нападки на Р. Декарта и его последователей и заставила их изобретать все новые и новые доводы в свою защиту.