|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._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
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.
Schematic formula: can be part of the object language - Field: this detects the concept of truth better._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
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
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
Theories of Truth, Paul Horwich, Aldershot 1994