## Philosophy Lexicon of Arguments | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Books on Amazon |
Berka I 112 Definition "Deduction Theorem"/Hilbert: if a formula B can be derived from a formula A in such a way that every free variable occurring in A is fixed. i.e. that it is neither used for an insertion, done for it, nor as a designated variable of a shemata (α), (β), then the formula A > B can be derived without using the formula A. ((s) elimination of the premise). --- I 116 Note: Rule of the back Generalization/Scheme (α)/Hilbert: A > B(a) A > (x) B(x) Rule of the front particularisation/Scheme (β)/Hilbert: B(a) > A (Ex)B(x) > A . |
Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Hilbert**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei

Ed. Martin Schulz, access date 2017-05-23