Edu:Interpretation

From IAOA Wiki
Revision as of 21:17, 8 January 2020 by Tsch (talk | contribs) (Interpretation: Added definition and commentary.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Interpretation

1. [Logic] An interpretation is an assignment of meaning to the symbols of a formal language. (https://en.wikipedia.org/wiki/Interpretation_(logic)).


Commentary

  • The definition of 'interpretation' in mathematical logic was originally provided by Alfred Tarski and latter refined with Robert Vaught. See
- Tarski, A. 1933, “The concept of truth in the languages of the deductive sciences” (Polish), Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych 34, Warsaw; reprinted in Zygmunt 1995, pp. 13–172; expanded English translation in Tarski 1983 [1956], pp. 152–278;
- Tarski, A. and Vaught, R., 1956, “Arithmetical extensions of relational systems”, Compositio Mathematica, 13: 81–102.