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.

 
I 55/56
Truth/Mathematics/Hilbert/Waismann: The absolute truths are rather the insights which are provided by my theory of proof concerning the provability and the consistency of these formal systems.
>Truth/Hilbert, >Consistency, >Systems.
The subject of this theory is the signs themselves, which can be surveyed completely in all their parts. Their exposition, distinction, succession with the objects is at the same time immediately clear for us there as something that cannot be reduced to something else.

There are the following considerations:

1. If a definite sign occurs more than once in a provable formula, then we must encounter a formula that has this property for the first time.
2. If, in a finite series of formulas, the first has a certain property, and this always translates to the following, all formulas have this property. (Induction in the finite).
>Induction.

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.