display all the ideas for this combination of texts
1 idea
16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
Full Idea: Tarski's distinction between object and metalanguage forms the basis of model theory. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 11 |