Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on Amazon
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 . - 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. - Language L: here was "is" non-logical. - That was arbitrary.
---
I 195
If non-logical, then independent theory of identity possible. - 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.
---
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.
---
I 250
Definition creative Definition/Mates: leads to new theorems in which the defined symbol does not occur. - demand: a satisfactory definition should not be creative.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981


> Counter arguments against Mates



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-24