Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
Waismann I 70
Proof/Induction/Intuitionism/Brouwer/Waismann: If it is said that the proof applies to all numbers, one has to be clear that one only determines by the proof the meaning of the word "all".
>Proofs, >Provability, >All/every.
And this meaning is different than e.g. "All the chairs in this room are made of wood". For when I deny the last statement, this means that there is at least one that is not made of wood.
If, however, I deny "A applies to all natural numbers", that means only: One of the equations in the proof of A is false, but not, there is a number for which A does not apply.
>Negation, >Existential quantification, >Universal quantification,
>Quantification.
The general formula in mathematics and the existence statement do not belong to the same logical system. (Brouwer: the incorrectness of a statement does not mean the existence of a counterexample).
>Existence, >Existence statements, >Non-existence.
Now the performance of the induction becomes clear: it is not a conclusion that carries to infinity. The set a + b = b + a is not an abbreviation for infinitely many individual equations, as little as 0.333 ... is an abbreviation, and the inductive proof is not the abbreviation for infinitely many syllogisms (VsPoincaré).

In fact, we begin with the formulation of the formulas

a+b = b+a
a+(b+c) = (a+b)+c

a whole new calculus, which cannot be inferred from the calculations of arithmetic in any way.
>Calculus, >Derivation, >Derivability.

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.