- Interpretability
The concept of interpretability is one in
mathematical logic . Assume T and S are formal theories. Slightly simplified, T is said to be "interpretable" in Siff the language of T can be translated into thelanguage of S in such a way that S proves the translation of everytheorem of T. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve thelogic al structure offormula s.This concept, together with
weak interpretability , was introduced byAlfred Tarski in1953 . Three other related concepts arecointerpretability , logical tolerance, andcotolerance , introduced byGiorgi Japaridze in1992 -1993 .References
* Japaridze, G., and De Jongh, D. (1998) "The logic of provability" in Buss, S., ed., "Handbook of Proof Theory". North-Holland: 476-546.
*Alfred Tarski ,Andrzej Mostowski , andRaphael Robinson (1953) "Undecidable Theories". North-Holland.ee also
*
Interpretation (logic)
*Interpretability logic
*Interpretable structure
Wikimedia Foundation. 2010.