Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

 
Allgemeingültigkeit: innerhalb eines Kalküls ist eine Formel, die von jeder Interpretation (Belegung der Variablen mit Ausdrücken für Gegenstände) erfüllt wird, allgemeingültig. Siehe auch Erfüllung, Erfüllbarkeit, Interpretation.

_____________
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 314
Allgemeingültigkeit/Gödel: führt zur Allquantifkation: bei Formeln mit freien Individuenvariablen A(x,y,...w) bedeutet das die Allgemeingültigkeit von (x)(y)...(w) A(x,y,...w).
Def Erfüllbarkeit/Goedel: führt zur >Existenzquantifikation - ((s) "es gibt ein Modell".) - Das ist dann entsprechend die Erfüllbarkeit von (Ex)(Ey)...(Ew) A. - Dann kann man sagen: "A ist allgemeingültig" bedeutet: "~A ist nicht erfüllbar".
Widerlegbarkeit: = Beweisbarkeit der Negation.
I 310
Beweisbarkeit/Allgemeingültigkeit/Gödel:... wir haben hier die Äquivalenz zwischen "allgemeingültig" und "beweisbar" bewiesen.
Überabzählbar/Gödel: Pointe: diese Äquivalenz beinhaltet für das Entscheidungsproblem eine Reduktion des Überabzählbaren auf das Abzählbare: denn - "allgemeingültig": bezieht sich auf die überabzählbare Gesamtheit der Funktionen, während "beweisbar": setzt nur die abzählbare Gesamtheit der Beweisfiguren voraus.


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

Göd II
Kurt Gödel
Collected Works: Volume II: Publications 1938-1974 Oxford 1990

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

Send Link
> Gegenargumente gegen Gödel

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 22.10.2017