Интерпретация

в логике: приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; при этом синтаксические выражения (термы и формулы) приобретают семантику, а формальная система превращается в язык, описывающий ту или иную предметную область. Сама эта предметная область и значения, приписываемые символам и формулам, также называются интерпретацией. Формула в разных интерпретациях может иметь разные истинностные значения и поэтому быть выполнимой (в конкретной интерпретации), противоречивой (невыполнимой во всех интерпретациях), общезначимой (или тавтологией, выполнимой во всех интерпретациях).