Феномен науки. Кибернетический подход к эволюции
Шрифт:
12.2. Языковая машина
Так как синтаксические преобразования L1– > L2 в рамках формализованного языка определяются только физическим видом объектов Li, формализованный язык есть, в сущности, машина, производящая различные перемещения символов. Для полностью алгоритмизированного языка, например арифметики, этот тезис представляется совсем очевидным и иллюстрируется существованием машин в обычном, узком смысле слова (арифмометр, электронная вычислительная машина), выполняющих арифметические алгоритмы. Если правила преобразования представляют собой лишь ограничения, то, во-первых, можно построить алгоритм, который по заданным L1
Формализация языка имеет два непосредственных следствия. Во--первых, упрощает процесс использования языковых моделей, ибо появляются четкие правила преобразования L1– > L2. В предельном случае полной алгоритмизации это преобразование вообще может производиться автоматически. Во-вторых, языковая модель становится независимой от создавшего ее человеческого мозга, она становится объективной моделью действительности. Ее семантика отражает, конечно, понятия, возникшие в процессе развития культуры человеческого общества, но и по синтаксису она представляет собой языковую машину, которая может продолжать работать и сохранять свой смысл модели действительности даже в том случае, если все человечество внезапно вымрет. Изучая эту модель, разумное существо, имеющее определенное представление о предмете моделирования, сможет, вероятно, путем сопоставления модели со своими знаниями, восстановить семантику языка. Представим себе, что люди построили механическую модель Солнечной системы, в которой планеты изображаются шариками соответствующих размеров, вращающимися на стерженьках вокруг центрального шара — Солнца по соответствующим орбитам и с соответствующими периодами. И допустим, что эта модель попала в руки (или в щупальца?) обитателей соседней звездной системы, которые кое-что знают о нашей Солнечной системе, например расстояния до Солнца нескольких планет или времена их обращения. Тогда они смогут сообразить, что находится перед ними, и получат дополнительные сведения о Солнечной системе. То же относится и к научным теориям, которые суть модели реальности в различных ее аспектах, выполненные в материале формализованного знакового языка. Подобно механической модели Солнечной системы каждая из них может быть, в принципе, расшифрована и использована любыми разумными существами.
12.3. Четыре типа языковой деятельности
Язык можно характеризовать не только степенью его формализованности, но и степенью его абстрактности, которая измеряется обилием и сложностью используемых языковых конструктов. Как мы отмечали в главе 7, правильнее было бы говорить не об абстрактности, а о «конструктности» языка, но термин этот пока не принят, поэтому мы пользуемся термином «абстрактность», который в обычном употреблении чаще обозначает именно конструктность, чем абстрактность в точном смысле слова. Язык, не использующий конструктов или использующий лишь конструкты самого низкого уровня, назовем конкретным. Язык, использующий сложные конструкты, назовем абстрактным. Деление это, хотя оно является условным и относительным, имеет, тем не менее, вполне ясный смысл. И оно не зависит от деления языков на формализованные и неформализованные — это два разных аспекта языка. Комбинируя эти аспекты, мы получаем четыре типа языков, используемых в четырех важнейших сферах языковой деятельности. Их можно расположить в следующую табличку:
Конкретный язык
Абстрактный язык
Неформализованный язык
Искусство
Философия
Формализованный язык
Описательные
Теоретические науки (математика,…)
Ни вертикальное, ни горизонтальное деление не является строгим, однозначным, а носит, скорее, характер количественных различий. На границах между этими «чистыми» типами языков располагаются переходные типы.
Для искусства характерен язык неформализованный и конкретный. Слова важны лишь как символы, вызывающие определенные комплексы представлений и переживаний. Эмоциональная сторона имеет, как правило, решающее значение. Однако и познавательная сторона весьма существенна; в наиболее значительных произведениях искусства эти стороны неразделимы. Основным выразительным средством является образ, который может быть синтетичен, но всегда остается конкретным.
Двигаясь по горизонтали, мы переходим от искусства к философии, которая характеризуется абстрактным неформальным мышлением. Сочетание чрезвычайной конструктности используемых понятий с незначительной степенью формализации, требующее напряженной работы интуиции, делает философский язык, без сомнения, самым трудным типом языка из всех четырех видов. Когда искусство затрагивает абстрактные идеи, оно смыкается с философией. С другой стороны, и философия для поощрения интуиции сплошь и рядом использует художественный образ и здесь она граничит с искусством.
Перемещаясь в нашей табличке вниз, мы из области философии попадаем в область теоретических наук с языком абстрактным и формализованным. Науке вообще свойственен формализованный язык; различие между описательными и теоретическими науками заключается в различной степени использования понятий-конструктов. Язык описательной науки должен быть конкретным и точным, формализованность синтаксиса сама по себе большой роли не играет, она выступает как критерий точности семантики (логическая согласованность определений, полнота классификаций и т. п.). Модели мира, даваемые описательными науками, выражаются в терминах обыденных нейронных понятий или понятий низкой конструктности и собственно как модели они банальны и однотипны: если сделать то-то и то-то (например, поехать в Австралию, вскрыть брюшную полость лягушки и т. п.), то можно увидеть то-то и то-то. Напротив, вся суть теоретических наук в том, что они дают принципиально новые модели действительности — научные теории, основанные на понятиях--конструктах, отсутствующих на нейронном уровне. Формализованность синтаксиса играет здесь решающую роль. Предельную точку в этом квадрате нашей таблички образует математика, содержащая самые сложные конструкты и использующая полностью формализованный язык. Собственно говоря, математика — это и есть язык: формализованный язык, используемый теоретическими науками.
Перемещаясь от описательных наук вверх, мы снова оказываемся в сфере искусства. Где-то на грани между описательными науками и искусством лежит деятельность журналиста или писателя-натуралиста.
12.4. Наука и философия
Из формализованности языка науки вовсе не следует, что ученые могут ограничиться чисто формальным мышлением. Применение готовой теории требует действительно формальных операций, не выходящих за рамки определенного языка. Но создание новой теории — это всегда выход за рамки формальной системы, это всегда метасистемный переход большего или меньшего масштаба.
Конечно, никак нельзя сказать, что все те, кто не разрушает старых формализмов, занимаются вещами банальными и нетворческими. Это относится только к тем, кто действует в соответствии с уже имеющимися алгоритмами, выполняя по существу функции языковой машины. Однако достаточно сложные формальные системы не алгоритмизуемы и представляют широкое поле для творческой деятельности. Действие в рамках такой системы можно сравнить с игрой в шахматы. Чтобы хорошо играть в шахматы, надо долго учиться, запомнить много разных вариантов и комбинаций, приобрести специфическую шахматную интуицию. Так и ученый, имеющий дело со сложным формализованным языком (т. е. с математикой — чистой или прикладной), путем многолетнего обучения и тренировки развивает в себе интуицию своего языка, часто весьма узкого, и получает новые теоретические результаты. Это, конечно, деятельность и благородная, и творческая.
И все-таки выход за рамки старого формализма — это еще более серьезный творческий шаг. Если ученых, о которых мы говорили выше, можно назвать учеными-шахматистами, то ученых, создающих новые формализованные языки и теории, можно назвать учеными-философами. Пример сопоставления этих двух типов ученых мы видели в предыдущей главе — это пара Ферма-Декарт. Понятия новых теорий не возникают из пустоты в точном и формализованном виде. Они выкристаллизовываются постепенно в процессе абстрактного, но не формализованного, т. е. философского, мышления. Здесь также требуется интуиция, но интуиция другого рода — философская. «Наука, — писал Декарт в «Рассуждении о методе», — заимствует свои принципы из философии».