Books on Amazon
|Object Language||Horwich I 116
Object language/metalanguage/m.l./o.l./Tarski: both have only a relative sense! The metalanguage may be the object language (if we examine the concept of truth in the metalanguage - and if we want a truth-definition for the metalanguage, we need a new meta-meta-language. - Semantic concepts should be introduced into the metalanguage by defining only.
Names of the expressions of the object language appear in the metalanguage, but can perhaps be interpreted in the object language.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
P. Horwich (Ed.)
Theories of Truth Aldershot 1994