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.

 
HH 257
Proof Theory/Hoyningen-Huene: here the abstraction trend is driven even further than in the model theory and also for the definition of the metalogical terms to abstract the meaning of connectives , it will proceed purely syntactic. A calculus is nothing more than a system of production rules for printing images. > Uninterpreted formal system. - The calculi differ in their use of the operators.
---
HH 270
Calculus/Hoyningen-Huene: progress for the decision problem: for the problem solution one can accurately construct the calculi that are adequate. - There are calculi, which produce exactly those print images that are identical with print images of universal problem solution formulas. - The adequacy of the calculus only says: if the formula is universally valid, then there is a proof in the calculus.

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.