|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 / / metalanguage / Field: E.g. proof theory: here there is no object level - object level: here the statements do not refer to propositions or formulas - and thus not to axioms, rules of inference or derivatives - Proof Theory: works with mathematical entities.
axiom / (s): not part of the object language (OL) - Schematic formula: can be part of the object language - Field: this detects the concept of truth better.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980