Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
II 210
Modelle/QuineVsKripke: ermöglichen Widerspruchsfreiheitsbeweise, aber keine eindeutige Interpretation - wann sind Gegenstände gleich? - Bischof Buttler ("Ein Ding ist was es ist und kein ander Ding"): Identität folgt nicht notwendig.
- - -
IX 223
Modell: existiert, wo Widersprüche nicht abgeleitet werden können.
- - -
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 Variablen "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.
>
Erfüllung, >
Erfüllbarkeit, >
Modelltheorie.
X 78
Bsp ein Modell ‹U,α,β) erfüllt das logische Schema „Ex(Fx . Gx)“ ((s) Anführungszeichen nicht beim Modell) wenn Ex(x ε α . ζ ε β), d.h. wenn die beiden Mengen des Modells nicht elementfremd sind. ((s) Konjunktion von Eigenschaften oder Sätzen: gemeinsame Elemente der entsprechenden Elemente >Durchschnitt, nicht Vereinigung).
Bsp ein Modell ‹U,α,β) erfüllt das logische Schema ~E(Fx . ~Gx)“ wenn die eine Menge Teilmenge der anderen ist.