Интерпретация и модель

ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ (лат. interpretatio — истолкование, разъяснение и фр. modele — образец, прообраз) — семантические понятия, играющие важную роль как в метаматематике и металогике, так и в науке в целом. Под И. в широком смысле понимают приписывание значений исходным выражениям исчисления, в силу чего получают смысл все правильно построенные выражения данного исчисления (Значение и смысл, Имя, Логическая семантика). Интерпретированное исчисление является, таким образом, формализованным языком, в к-ром формулируются и доказываются различные высказывания, имеющие смысл. Формальное определение И. можно дать, используя понятие М. Пусть дан некоторый класс высказываний к.-л. исчисления; если заменить все константы, входящие в эти высказывания, на переменные соответствующих типов (Типов теория), то получим класс пропозициональных функций (Предикат). Любое множество предметов, которое будет выполнять каждую пропозициональную функцию из этого класса, называют М. рассматриваемого класса высказываний и соответствующего исчисления. С помощью понятия М. исчисления вводится понятие И.: И. исчисления называют выделенную или намеренно построенную М. Посредством понятия И., в свою очередь, определяются логическая и фактическая истинность, аналитические и синтетические суждения. Теория моделей логических систем получила свое развитие в работах Тарского, Карнапа, Дж. Кемени, советского математика А. И. Мальцева и др. В естественных науках термин «М.» используется в ином смысле, основанном обычно на понятиях изоморфизма и гомоморфизма «моделируемых» и «моделирующих» систем (Моделирование).

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 163.