## Philosophy Lexicon of Arguments | |||

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