En lógica matemática , la interpretabilidad es una relación entre teorías formales que expresa la posibilidad de interpretar o traducir una a otra.
Supongamos que T y S son teorías formales . Simplificando un poco, se dice que T es interpretable en S si y solo si el lenguaje de T puede traducirse al lenguaje de S de tal manera que S demuestre la traducción de cada teorema de T. Por supuesto, existen algunas condiciones naturales sobre las traducciones admisibles aquí, como la necesidad de una traducción para preservar la estructura lógica de las fórmulas .
Este concepto, junto con el de interpretabilidad débil , fue introducido por Alfred Tarski en 1953. Otros tres conceptos relacionados son la cointerpretabilidad , la tolerancia lógica y la cotolerancia, introducidos por Giorgi Japaridze en 1992-93.