Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Hoyningen-Huene, P.
 
Books on Amazon
Calculus HH 257
Proof Theory/HH: 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/HH. 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.
Link to abbreviations/authors




back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-30