Научная модель и научная теория

2.   Научная модель и научная теория.

 Модель - это логическая (знаковая) конструкция, воспроизводящая те или иные характеристики исследуемого нами объекта при условии заранее определенных требований к соответствию этой конструкции объекту.

Строго говоря, понятие модели шире: это вообще всякая "...мысленно представляемая или материально реализованная система, которая, отображая или воспроизводя объект исследования, способна замещать его так, что ее изучение дает нам новую информацию об этом объекте". Внутри множества моделей выделяют теоретические или идеальные модели (в отличие от моделей, представляющих собой физические, материальные объекты - например, модель самолета, продуваемая в аэродинамической трубе). В свою очередь, они делятся на наглядные модели (элементы которых имеют какое-то сходство с элементами моделируемого объекта) и модели знаковые и логические, для которых не обязательно внешнее сходство с моделируемым объектом (но зато обязательно функциональное сходство). Впрочем, термины знаковая и логическая модель (конструкция) не кажутся нам удачными, и целесообразно вслед за Ю.А. Ждановым (1963) говорить о "...моделях, конструируемых из воображаемых элементов".

Моделирование не есть любое отображение объекта в модели. Моделируя реальный объект, мы конструируем другой - реальный или воображаемый - объект, изоморфный (Мы сознательно упрощаем проблему, не вводя здесь понятия гомоморфности. На самом деле в науках о человеке мы имеем дело чаще с гомоморфизмом (такое соответствие модели объекту, которое является принципиально односторонним: все, что смоделировано на географической карте, можно найти на местности, но не все, что есть на местности, отображено на карте), чем с изоморфизмом (полное взаимное соответствие: из алгебраического представления функции можно вывести геометрическое, но и наоборот).) данному в каких-то существенных признаках.

А то новое, что мы узнаем при этом о моделируемом объекте, - это такие его черты, которые "автоматически" переносятся в модель, когда мы сознательно обеспечиваем ее изоморфность этому объекту по заранее определенным параметрам.

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

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

Ни одна модель не является полной, не исчерпывает всех свойств объекта. Такое исчерпывающее описание и невозможно, и не нужно. В науке мы каждый раз при моделировании вычленяем определенные свойства объекта, оставляя другие вне своего рассмотрения. Даже моделируя одни и те же свойства, отображая их в рамках одной науки под определенным, достаточно узким углом зрения, мы можем построить несколько несовпадающих моделей в зависимости от системы используемых при этом понятий и операций и в зависимости от конкретной задачи моделирования. Так, например, модель системы фонем русского языка различается в "ленинградской" и "московской" фонологических школах. С другой стороны, любой лингвист знает, как трудно "перевести" на язык привычной ему модели описание того или иного языка, выполненное при помощи иной системы исходных понятий и операций (например, системы понятий американской дескриптивной лингвистики или порождающей грамматики Н. Хомского).

Тем более будут отличаться так называемая "теоретическая" грамматика языка и, скажем, алгоритм автоматического анализа и синтеза того же языка при машинном переводе, даже если они в равной степени отражают свойства объекта (языка). Каждая из этих моделей оптимальна для определенной цели: будучи заложена в компьютерную программу, самая лучшая теоретическая грамматика окажется бесполезной. Другой характерный пример - описание языка в различных учебниках этого языка. Вообще в науке все больше утверждается принципиальное положение о множественности моделей одного и того же моделируемого объекта.

Абстрактный объект как раз и есть обобщение множества возможных моделей данного конкретного объекта (совокупности конкретных объектов, или, как часто говорят, "предметной области"), а именно инвариант этих моделей. (Не всех, а тех, которые отображают именно данные объективные свойства моделируемого объекта: ведь у него могут быть и другие, не менее существенные, но изучаемые другими науками под другими углами зрения.) Ведь все эти модели уже по определению обладают общими, инвариантными характеристиками, отражающими сущностные свойства объекта и остающимися без изменения при переходе от одной модели к другой. Вот эти-то инвариантные характеристики и могут быть объединены в понятии абстрактного объекта или, как мы уже говорили, в понятии предмета данной науки.

Перейдем теперь к другому важному понятию логики науки - к понятию теории.

 Научная теория есть "...система обобщенного и достоверного знания о том или ином "фрагменте" действительности, которая описывает, объясняет и предсказывает функционирование определенной совокупности составляющих ее [конкретных - Авт.] объектов". Или, что то же, это "целостная система абстрактных объектов, ...разновидность знания, в рамках которой осуществляется поиск нового знания, объяснение уже известных и предсказание новых фактов".

Иногда теория понимается как продукт верификации (проверки) модели. Это не так. Верифицированная модель (например, показавшая свою правильность в ходе эксперимента) еще не становится от этого теорией: просто сначала мы имели дело с каким-то допущением, гипотезой, затем выяснили, что это допущение справедливо, что эта гипотеза верна. Но из того, что оно справедливо, еще не следует, что мы обладаем целостным и достоверным знанием об объекте - только знанием о каких-то отдельных сторонах, о некоторых свойствах объекта!

В отличие от модели, которая, чтобы стать из безответственного высказывания по поводу объекта истинной моделью этого объекта, нуждается в верификации, теория в принципе не может быть проверена в эксперименте. Модель (во всяком случае, знаковая или логическая, построенная из воображаемых элементов), как правило, полностью подается формализации и операционализации. К теории это не относится. Но зато "...зрелая теория представляет собой не просто сумму связанных между собой знаний, но и содержит определенный механизм построения знания, внутреннего развертывания теоретического содержания, воплощает некоторую программу исследования; все это и создает целостность теории как единой системы знания".

Теория включает в себя следующие компоненты:

Исходные основания теории или ее концептуальный базис - исходные понятия и основные отношения между этими понятиями. Логика теории - "множество допустимых в данной теории правил вывода и способов доказательства". Совокупность законов и утверждений, логически выведенных из исходных оснований.

Возможны ли различные теории одного и того же объекта? Да, если мы опираемся на различные исходные понятия и действуем по различной логике, вообще если в основе разных теорий лежат различные методологические и философские представления.

Тонкие мысли о сущности и особенностях психолингвистических моделей были высказаны Р.М. Фрумкиной (1972; 1980), с которой мы в основном солидарны.