Lexicon of Arguments

Philosophical and Scientific Issues in Dispute

Complaints - Corrections

Sc. Camps
Theses I
Theses II


What is wrong?
Other metadata
Excerpt or content

Correction: Year / Place / Page
/ /

(max 500 charact.)

Your username*
or User-ID

Email address*

Captcha Code-Check*
Captcha Code
Please type the captcha code here.

Bad visibility? generate code again.

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 . - 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.

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.