|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.|
|Geach, Peter T.
Books on Amazon
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.
Logic Matters Oxford 1972