|Mention philosophy: the mention of linguistic objects must be distinguished from their use. This distinction is sometimes difficult when symbols are partly used and partly mentioned within logical formulas. One simple case of a mention of a word or phrase is the quote. See also object language, metalanguage, quote, reference, occurrence, type, token._____________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. |
Mention/Use/Geach: for each x: either x is white or x is not white. - Mention: for each object x: either the predicate is "white" or its negation is true of x. - "true-of": is a simpler term. Therefore, Tarski begins with it: satisfaction. - "Deputy": at use - quote: at mention. - mention: "... its negation is true of ..". - Negation is mentioned. - Use of the negation: "x is ~ F" - ((s) Mention/(s): about the negation: "it is true" - likewise: "has a true negation".)
a propos I 84
Mention/Use/Quote/Geach/(s) E.g. "is an obscene expression" is not an obscene expression.
Meta-language/mention/use/Geach: if p and q are meta-linguistical variables, then "~ p" means: "the negation of p" and not "it is not the case that p".
Mention/Use/Names/Sentence/Geach: names of expressions are formed by quotation marks - then at the same time mention and use. - Mentioned by the combination of its own with the quotes - used as part of a complex expression. - Mention/Use: no contrasting pair.
Mention/Use: E.g. a class or number is specified by mentioning (not use) of a property._____________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.
Logic Matters Oxford 1972