Феномен науки

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

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

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

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

Искусство

Философия

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

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

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

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

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

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

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

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

12.4. Наука и философия

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