Интерпретация в логике
ИНТЕРПРЕТАЦИЯ в логике - процедура придания значений, сопоставления нелингвистических сущностей с выражениями формализованного языка. Понятие И. является одним из наиболее фундаментальных в логической семантике. Оно позволяет установить соответствие между синтаксическими и семантическими категориями знаков языка. Процедура И. — необходимый элемент семантического построения логических теорий.