Турчин Фёдорович - Феномен науки. Кибернетический подход к эволюции

Язык можно характеризовать не только степенью его формализованности, но и степенью его абстрактности, которая измеряется обилием и сложностью используемых языковых конструктов. Как мы отмечали в главе 7, правильнее было бы говорить не об абстрактности, а о «конструктности» языка, но термин этот пока не принят, поэтому мы пользуемся термином «абстрактность», который в обычном употреблении чаще обозначает именно конструктность, чем абстрактность в точном смысле слова. Язык, не использующий конструктов или использующий лишь конструкты самого низкого уровня, назовем конкретным. Язык, использующий сложные конструкты, назовем абстрактным. Деление это, хотя оно является условным и относительным, имеет, тем не менее, вполне ясный смысл. И оно не зависит от деления языков на формализованные и неформализованные — это два разных аспекта языка. Комбинируя эти аспекты, мы получаем четыре типа языков, используемых в четырех важнейших сферах языковой деятельности. Их можно расположить в следующую табличку:

Конкретный язык

Абстрактный язык

Неформализованный язык

Искусство

Философия

Формализованный язык

Описательные науки

Теоретические науки (математика,…)

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

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

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

Перемещаясь в нашей табличке вниз, мы из области философии попадаем в область теоретических наук с языком абстрактным и формализованным. Науке вообще свойственен формализованный язык; различие между описательными и теоретическими науками заключается в различной степени использования понятий-конструктов. Язык описательной науки должен быть конкретным и точным, формализованность синтаксиса сама по себе большой роли не играет, она выступает как критерий точности семантики (логическая согласованность определений, полнота классификаций и т. п.). Модели мира, даваемые описательными науками, выражаются в терминах обыденных нейронных понятий или понятий низкой конструктности и собственно как модели они банальны и однотипны: если сделать то-то и то-то (например, поехать в Австралию, вскрыть брюшную полость лягушки и т. п.), то можно увидеть то-то и то-то. Напротив, вся суть теоретических наук в том, что они дают принципиально новые модели действительности — научные теории, основанные на понятиях--конструктах, отсутствующих на нейронном уровне. Формализованность синтаксиса играет здесь решающую роль. Предельную точку в этом квадрате нашей таблички образует математика, содержащая самые сложные конструкты и использующая полностью формализованный язык. Собственно говоря, математика — это и есть язык: формализованный язык, используемый теоретическими науками.

Перемещаясь от описательных наук вверх, мы снова оказываемся в сфере искусства. Где-то на грани между описательными науками и искусством лежит деятельность журналиста или писателя-натуралиста.

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

Конечно, никак нельзя сказать, что все те, кто не разрушает старых формализмов, занимаются вещами банальными и нетворческими. Это относится только к тем, кто действует в соответствии с уже имеющимися алгоритмами, выполняя по существу функции языковой машины. Однако достаточно сложные формальные системы не алгоритмизуемы и представляют широкое поле для творческой деятельности. Действие в рамках такой системы можно сравнить с игрой в шахматы. Чтобы хорошо играть в шахматы, надо долго учиться, запомнить много разных вариантов и комбинаций, приобрести специфическую шахматную интуицию. Так и ученый, имеющий дело со сложным формализованным языком (т. е. с математикой — чистой или прикладной), путем многолетнего обучения и тренировки развивает в себе интуицию своего языка, часто весьма узкого, и получает новые теоретические результаты. Это, конечно, деятельность и благородная, и творческая.

И все-таки выход за рамки старого формализма — это еще более серьезный творческий шаг. Если ученых, о которых мы говорили выше, можно назвать учеными-шахматистами, то ученых, создающих новые формализованные языки и теории, можно назвать учеными-философами. Пример сопоставления этих двух типов ученых мы видели в предыдущей главе — это пара Ферма-Декарт. Понятия новых теорий не возникают из пустоты в точном и формализованном виде. Они выкристаллизовываются постепенно в процессе абстрактного, но не формализованного, т. е. философского, мышления. Здесь также требуется интуиция, но интуиция другого рода — философская. «Наука, — писал Декарт в «Рассуждении о методе», — заимствует свои принципы из философии».

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