|Object language, philosophy: The object language is the language in which something is said or written in a situation. In contrast, comments and evaluations of what is said or written are invariably written in a metalanguage when the original utterance is mentioned or quoted in it. Metalanguage is thus language about language. Object language is used to mention objects, metalanguage is used to mention linguistic ways of expression. See also metalanguage, mention, use, quotation.|
Books on Amazon
Object language/O.l./Metalanguage /M.s./Mates: E.g. expressions like E.g. (j v y) are forms of descriptions in the meta language - by replacing their variables by names for expressions of the o.l., we get descriptions of expressions of the o.l. - e.g. if we replace "j" by "" F1a "" and "y" by ""G1b"", we get a meta-linguistic expression of the form: the result obtained when you write "(" then "F1a", then "v", then "G1b" and then ")" - and this characterizes the expression (F1a v G1b) of the objectlanguage.
M.l./O.l./Mates: schemas: belong to the object language.
Elementare Logik Göttingen 1969