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