|Metalanguage: metalanguage is the language in which linguistic forms, the meaning of expressions and sentences, the use of language, as well as the admissibility of formations, and the truth of statements are discussed. The language you refer to is called object language. A statement about the form, correctness, or truth of another statement thus includes both, i.e. object language and meta language. See also richness, truth-predicate, expressiveness, paradoxes, mention, use, quasi-reference, quotation, hierarchy, fixed points._____________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. |
Metalanguage/Prior: Problem: "I say something wrong" cannot be the only thing I say. - Then a meta language is necessary, otherwise follows an absurdity: I could choose a short time interval in which I could say nothing else. - Also: the language in which the theorems are expressed, can not be the same as the language used in some other opportunities to do so -a hierarchy is possible without meta language : e.g. "N": "something that Prior says between t and t is not the case": then: N is a true sentence if and only if ... something is not the case - ((s) without quotation marks). - E.g. VsMetalanguage. "I’ll be damned if grass is pink."- ((s) quasi-operator).
Prior: "isolation" through "I’ll be". - Solution: meta-part of the language (isolated), no complete meta language._____________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.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003