Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
II 201f
Problem: Eigenschaften und Klassen nicht reifizieren! Lösung: Unterscheidung zwischen Schemabuchstaben und quantifizierbaren Variablen.
IX 7ff
Prädikatbuchstaben: "F", "G", usw.führen nichts explizites ein - ((>
Quantifikation, >
Variablen).
IX 7ff
Aussagenschemata: die Prädikatbuchstaben F,G... sollen nie als Variablen angesehen werden, die etwa Attribute oder Klassen als Werte annehmen. - Sie werden von Quantoren ferngehalten und treten überhaupt nicht in Aussagen auf.
X 32
Proposition/Gegenstand/Quine: wenn ein Satz Name einer Proposition sein soll (manche Autoren pro, QuineVs), dann ist die Proposition ein Gegenstand. - dann korrekt: ""p oder nicht p" für alle Propositionen p". - Denn hier ist "p" nicht einmal Variable über Gegenstand, und einmal Schemabuchstabe für Sätze, sondern nur Variable - (kein
semantischer Aufstieg nötig).
X 47
Schemabuchstaben/Quine: Platzhalter für Sätze der OS. Sie gehören selbst nicht zur Objektsprache!
X 77
Modell/ Quine: eines Schemas: ist ein Mengen-n-tupel: jedem Schemabuchstaben (für Prädikate) entspricht eine Menge, am Anfang des n-tupels steht eine nichtleere Menge U, die Allmenge oder der Wertebereich der Variabeln "x","y", usw. die übrigen Mengen des Modells sind die Werte der Mengenvariablen "a", "b" usw. - Erfüllung: ein Modell erfüllt ein Schema, wenn sein mengentheoretische Analogon (Satz) wahr ist. - X 78 Beispiel für ein Modell.