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

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

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

Научная теория есть «...система обобщенного и достоверного знания о том или ином «фрагменте» действительности, которая описывает, объясняет и предсказывает функционирование определенной совокупности составляющих ее (конкретных - Авт.) объектов» (Философский словарь, 1981, с.366). Или, что то же, это «целостная система абстрактных объектов, ...разновидность знания, в рамках которой осуществляется поиск нового знания, объяснение уже известных и предсказание новых фактов» (Переверзев, 1994, с.230).

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