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