Моделирование объекта — необходимый компонент его познания, но на нем это познание отнюдь не заканчивается.
Мы можем построить бесконечное множество моделей одного и того же объекта, которые в равной мере соответствуют его свойствам, но отличаются друг от друга — ведь модель отражает не только эти реальные, объективные свойства, но и нашу точку зрения на этот объект, те требования к соответствию модели моделируемому объекту, которые мы в каждом случае предъявляем. Письменный (печатный) текст, фиксирующий устную речь, и фонетическая транскрипция устной речи — знаковые модели одного и того же реального события, но требования к соответствию объекту у них разные.
Ни одна модель не является полной, не исчерпывает всех свойств объекта. Такое исчерпывающее описание и невозможно, и не нужно. В науке мы каждый раз при моделировании вычленяем определенные свойства объекта, оставляя другие вне своего рассмотрения. Даже моделируя одни и те же свойства, отображая их в рамках одной науки под определенным, достаточно узким углом зрения, мы можем построить несколько несовпадающих моделей в зависимости от системы используемых при этом понятий и операций и в зависимости от конкретной задачи моделирования. Так, например, модель системы фонем русского языка различается в «ленинградской» и «московской» фонологических школах. С другой стороны, любой лингвист знает, как трудно «перевести» на язык привычной ему модели описание того или иного языка, выполненное при помощи иной системы исходных понятий и операций (например, системы понятий американской дескриптивной лингвистики или порождающей грамматики Н. Хомского).
Тем более будут отличаться так называемая «теоретическая» грамматика языка и, скажем, алгоритм автоматического анализа и синтеза того же языка при машинном переводе, даже если они в равной степени отражают свойства объекта (языка). Каждая из этих моделей оптимальна для определенной цели: будучи заложена в компьютерную программу, самая лучшая теоретическая грамматика окажется бесполезной. Другой характерный пример — описание языка в различных учебниках этого языка. Вообще в науке все больше утверждается принципиальное положение о множественности моделей одного и того же моделируемого объекта.
Абстрактный объект как раз и есть обобщение множества возможных моделей данного конкретного объекта (совокупности конкретных объектов, или, как часто говорят, «предметной области»), а именно инвариант этих моделей. (Не всех, а тех, которые отображают именно данные объективные свойства моделируемого объекта: ведь у него могут быть и другие, не менее существенные, но изучаемые другими науками под другими углами зрения.) Ведь все эти модели уже по определению обладают общими, инвариантными характеристиками, отражающими сущностные свойства объекта и остающимися без изменения при переходе от одной модели к другой. Вот эти-то инвариантные характеристики и могут быть объединены в понятии абстрактного объекта или, как мы уже говорили, в понятии предмета данной науки.
Перейдем теперь к другому важному понятию логики науки — к понятию теории.
Научная теория есть «система обобщенного и достоверного знания о том или ином «фрагменте» действительности, которая описывает, объясняет и предсказывает функционирование определенной совокупности составляющих ее [конкретных — Авт.] объектов» (Философский словарь, 1981, с. 366). Или, что то же, это «целостная система абстрактных объектов, разновидность знания, в рамках которой осуществляется поиск нового знания, объяснение уже известных и предсказание новых фактов» (Переверзев, 1994, с. 230).
Иногда теория понимается как продукт верификации (проверки) модели. Это не так. Верифицированная модель (например, показавшая свою правильность в ходе эксперимента) еще не становится от этого теорией: просто сначала мы имели дело с каким-то допущением, гипотезой, затем выяснили, что это допущение справедливо, что эта гипотеза верна. Но из того, что оно справедливо, еще не следует, что мы обладаем целостным и достоверным знанием об объекте — только знанием о каких-то отдельных сторонах, о некоторых свойствах объекта!
В отличие от модели, которая, чтобы стать из безответственного высказывания по поводу объекта истинной моделью этого объекта, нуждается в верификации, теория в принципе не может быть проверена в эксперименте. Модель (во всяком случае, знаковая или логическая, построенная из воображаемых элементов), как правило, полностью подается формализации и операционализации. К теории это не относится. Но зато «зрелая теория представляет собой не просто сумму связанных между собой знаний, но и содержит определенный механизм построения знания, внутреннего развертывания теоретического содержания, воплощает некоторую программу исследования; все это и создает целостность теории как единой системы знания» (Швырев, 1983, с. 677).