Lexikon der Argumente

 

VI 124
Komprehension/Paradoxien/Quine: dass jede Elementbeziehung (jeder Begriff) eine Menge ergibt, geht nicht wegen Burali-Forti usw. - Lösung: diese Elementbeziehungen (Bedingungen) legen vielleicht Mengen, vielleicht letzte (äußerste) Klassen fest - äußerste Klasse: kann nicht selbst wieder Element sein - werden Schicht um Schicht eingeführt - für klassische Mathematik reicht schon "wahr₀" aus. - Alles in einer Sprache - Hierarchie von W-Prädikaten.
>W-Prädikat.
- - -
VII (g) 136
Paradoxien/Quine: treten nicht mehr auf, wenn man die Ebenen der Sprachen auseinander hält, d.h. die Ausdrücke "wahr-in-L", "benennt-in-L"usw. aus der Sprache L selbst heraushält
- - -
IX 124
Burali-Forti/Paradoxie/Quine: "die Klasse der Ordinalzahlen existiert nicht" :"NO ε ϑ": ist gezähmte Fassung der Burali-Forti: dass es eine größte Ordinalzahl geben muss und gleichzeitig nicht geben kann. - reductio ad absurdum der Vergleichbarkeit der Ordinalzahlen - Lösung/heute: man nimmt nicht an, dass jede Bedingung über das Bestehen einer Elementbeziehung eine Klasse bestimmt.
- - -
X 70
Grelling Paradoxie/Quine: "x erfüllt sich nicht selbst" darf in der Objektsprache nicht vorkommen.
>Objektsprache.