Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 112
Def "Deduktionstheorem"/Hilbert: wenn aus einer Formel A eine Formel B so ableitbar ist, dass jede in A auftretende freie Variable festgehalten wird. d.h. dass sie weder zu einer für sie auszuführenden Einsetzung noch als ausgezeichnete Variable eines der Schemata (α), (β) verwendet wird, dann ist die Formel A > B ohne Benutzung der Formel A ableitbar. ((s) Elimination der Prämisse).
I 116 Anmerkung:
Regel der hinteren Generalisierung/Schema (α)/Hilbert:

A > B(a)
A > (x) B(x)

Regel der vorderen Partikularisierung/Schema (β)/Hilbert:

B(a) > A
(Ex)B(x) > A .

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Hilbert



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 23.06.2017