Lexicon of Arguments

 

I 193
Identity/is/analytical/intensional/Mates: it is disputed whether A is A is to be considered as formal analytical or analytical because of the meaning of .
>Is, >Copula, >Analyticity/Synthetic, >Synthetic, cf. >Predication.
Just as statements of the scheme E.g. If A is warmer than B and B is warmer than C, so A is warmer than C analytically because of the sense of "being warmer than".
The dispute is about whether "is" can be seen as a logical constant as "not", and so on or if it belongs to the non-logical vocabulary.
>Logical constants, cf. >Lexicon/Quine, >Logic, >Everyday language.
Language L: here was "is" non-logical. - That was arbitrary.
>Convention.
I 195
If non-logical, then independent theory of identity possible.
>Identity.
On the other hand: if "is" logical constant (which always means the relation of identity above this region) we construct with that a new language.
>Formal language, >Formalization, cf. >Equal sign.
I 231
Theory/Mates: is always determined by the amount of their doctrines. - ((S) because these contain the entire non-logical vocabulary.)
I 248
Definitions/Mates: are needed to represent formalized theories. - They introduce designations that do not belong to the vocabulary of the language, but which improve readability.
>Definitions, >Definability.
I 250
Definition creative Definition/Mates: leads to new theorems in which the defined symbol does not occur.
>Elimination.
Demand: a satisfactory definition should not be creative.