Philosophy Lexicon of Arguments

Search  
 
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 .


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

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-08-20