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