Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

 
Terminologien: Hier werden Besonderheiten des Sprachgebrauchs der einzelnen Autoren erklärt.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor/Titel Begriff Zusammenfassung Metadaten

 
Bücher bei Amazon
Berka I 58
Normalform/Berka: anderes Verfahren, soll Wahrheits Tabellen ersetzen: ausgezeichnete (kanonische) Normalform: Hilbert/Ackermann (1928),
Berka I 112
Def überführbar/Hilbert/Berka: in eine andere heißt eine Formel wenn die Äquivalenz der beiden ableitbar ist.

Def pränex/Hilbert: ist eine Formel, bei der alle Quantoren am Anfang stehen und die Bereiche (Reichweiten) sich bis zum Ende erstrecken.

Def deduktionsgleich/Hilbert: heißen zwei Formeln, wenn jede aus der anderen ableitbar ist.
Jede Formel ist einer jeden solche Formel deduktionsgleich, die aus ihr entsteht, indem jede freie Individuenvariable (IV) durch eine vorher nicht auftretende gebundene Variable ersetzt wird und die zu den eingeführten gebundenen Variablen gehörigen Allzeichen (Allquantoren) (in beliebiger Reihenfolge) an den Anfang gestellt werden. ("Austausch der freien Variablen gegen gebundene").
Das geht auch in umgekehrter Reihenfolge.

Def Skolemsche Normalform/SN/Hilbert: eine pränexe Formel (d.h. alle Quantoren am Anfang, Reichweiten bis zum Ende) , bei der unter den voranstehenden Quantoren nirgends ein Allquator vor einem Existenzquantor steht.
Jede Formel ist einer SN deduktionsgleich.
(s) D.h. jede Formel kann zu einer SN umgeformt werden.
Anmerkung (I 116) Diese SN ist die "beweistheoretische".
Def erfüllungstheoretische Skolemsche Normalform/Hilbert: ist dual zur beweistheoretischen SN: d.h. die Allquantoren und Existenzquantoren tauschen ihre Rollen. (>Dualität).
Berka I 116
Einsetzen/Hilbert/(s): wird hier auf freie Variablen angewendet.
Umbenennung/Hilbert/(s): wird hier auf gebundene Variablen angewendet.


_____________
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

Send Link
> Gegenargumente gegen Hilbert

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



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