Interpretability

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 S iff the language of T can be translated into the language of S in such a way that S proves the translation of every theorem of T. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas.

This concept, together with weak interpretability, was introduced by Alfred Tarski in 1953. Three other related concepts are cointerpretability, logical tolerance, and cotolerance, introduced by Giorgi Japaridze in 1992-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, and Raphael Robinson (1953) "Undecidable Theories". North-Holland.

ee also

* Interpretation (logic)
* Interpretability logic
* Interpretable structure


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • interpretability — paaiškinamumas statusas T sritis Gynyba apibrėžtis Vaizdo kokybės ir masto tinkamumas paaiškinimui pagal pasirinkto taikinio reikalavimus. 1. Prastas – vaizdas nepakankamas duomenims, susijusiems su tam tikru taikiniu, pateikti. 2. Vidutiniškas – …   NATO terminų aiškinamasis žodynas

  • interpretability —  ̷ ̷ˌ ̷ ̷p(r)ə̇d.əˈbiləd.ē, )ə̇tə , lətē, i noun ( es) : the quality or state of being interpretable interpretability of signs * * * interpretabilˈity noun • • • Main Entry: ↑interpret …   Useful english dictionary

  • Interpretability logic — Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Pi;1 conservativity,… …   Wikipedia

  • interpretability — Imagery is suitable for interpretation to answer requirements on a given type of target in complete detail …   Military dictionary

  • interpretability — noun see interpret …   New Collegiate Dictionary

  • interpretability — See interpret. * * * …   Universalium

  • interpretability — noun The ability to be interpreted …   Wiktionary

  • interpretability — The suitability of imagery for interpretation with respect to answering adequately requirements on a given type of target in terms of quality and scale …   Aviation dictionary

  • interpretability — in·ter·pret·abil·i·ty …   English syllables

  • Weak interpretability — is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”