Lexicon of Arguments

 

I 74
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 his defintion of truth with it:
>Satisfaction.
E.g.,"Proxy": 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".)
ad I 84
Mention/Use/Quote/Geach/(s) E.g. "is an obscene expression" is not an obscene expression.
I 195
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".
>Meta language, >Variables, >Object language, >Levels/Order, >Use.
I 202
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.
>Quotation marks, >Name of a sentence, >Quote.
Mention/Use: both are no contrasting pair.
I 225
Mention/Use: E.g. a class or number is specified by mention (not use) of a property.
>Classes, >Properties.