В математической логике, интерпретируемость - это отношение между формальными теориями, которое выражает возможность интерпретации или перевода одной в другой.
Предположим, что T и S - формальные теории. Слегка упрощенный, T называется интерпретируемым в S тогда и только тогда, когда язык T может быть переведен на язык S таким образом, что S доказывает перевод каждого теорема из T. Конечно, здесь есть некоторые естественные условия для допустимых переводов, такие как необходимость перевода для сохранения логической структуры формул.
Это понятие вместе с слабая интерпретируемость, была введена Альфредом Тарски в 1953 году. Три других связанных понятия: коинтерпретируемость, логическая толерантность и, введенные Георгий Джапаридзе в 1992–93 гг.
.