Интерпретация в логике

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

Суть И. состоит в том, чтобы указать для каждой разновидности нелогических символов формализованного языка соответствующую область возможных значений (т.е. установить тип их значений) и зафиксировать точные значения логических символов, сопоставив их с конкретными логическими операциями или отношениями. Например, в классической логике высказываний возможными значениями нелогических символов — пропозициональных переменных — объявляются истинностные оценки («истина» и «ложь»), а с логическими символами - пропозициональными связками — сопоставляются в качестве значений так называемой функции истинности (функции, заданные на множестве истинностных оценок).

Обычно в понятие И. включают не только процедуру приписывания значений исходным символам формализованного языка, но также и точные правила установления значений всех типов правильно построенных его выражений, в частности определения условий истинности и ложности формул. Последнее позволяет ввести на основе понятия И. основные понятия логической теории — понятия логического закона и логического следования.

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 206-207.