Легко заметить, что во всех только что описанных случаях под моделью понимают нечто глубоко отличное от теории. Если под теорией в данной связи понимается совокупность утверждений об общих законах данной предметной области, связанная воедино логически так, что из исходных посылок выводятся определенные следствия, то под моделью здесь имеют в виду либо а) конкретный образ изучаемого объекта или объектов (атом, молекула, газ, электрический ток, галактика и т.п.), в котором отображаются реальные или предполагаемые свойства, строение и другие особенности этих объектов, либо б) какой-то другой объект, реально существующий наряду с изучаемым (или воображаемый) и сходный с ним в отношении некоторых определенных свойств или структурных особенностей. Но как бы ни отличались эти два смысла, общим у них является то, что здесь модель означает некоторую конечную систему, некоторый единичный объект независимо от того, существует ли он реально или же является только в воображении. В этом смысле модель не теория, а то, что описывается данной теорией – своеобразный предмет данной теории.
Третьим широко распространенным, главным образом, в логике, употреблением термина «модель» является использование его в смысле формальной или формализованной системы. Правда в логических контекстах употребляется и другое более удачное и целесообразное применение термина «модель» в связи с проблемой содержательной интерпретации формальных систем. Однако наряду с этим очень часто называют моделями формальные системы (логические формализмы) или исчисления. При этом под формальными системами имеют в виду системы, в которых исходные элементы, правила построения из них сложных совокупностей и правила преобразования точно фиксируются и ясно формулируются. Эта формализация, выражающая систему абстрактных элементов и их отношения, реализуется с помощью символизации, состоящей в том, что знаки и выражения естественных языков с присущей им неопределенностью, громоздкостью и многозначностью (полисемией) заменяются системой знаков искусственного языка, имеющих точное значение и удобных для оперирования с ними. Преимущество такого формализованного языка состоит в том, что в отличие от естественного или обычного языка логическая форма в нем совпадает с формой построения самой языковой системы. Примером такого понимания модели является точка зрения Ф. Джорджа, который называет моделью «некоторую определенную систему постулатов (типа евклидовой геометрии на плоскости)», отождествляя ее с исчислением. Уточняя свое понимание, он в качестве примера моделей приводит «синтаксис пропозиционального и другие исчисления, которые можно интерпретировать в суждениях и функциях». Очевидно, что здесь термин «модель» является синонимом формализма или исчисления, в которых выражена абстрактная логическая или математическая структура («скелет») некоторой содержательной теории.
Это