Correction: (max 500 charact.)
The complaint will not be published.
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.