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