Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

Autor Begriff Zusammenfassung/Zitate Quellen

Hartry Field über Modelltheorie – Lexikon der Argumente

I 85
Modelltheorie: semantisch: "Alle Modelle in denen A wahr ist, sind Modelle, in denen auch B wahr ist": B folgt aus A. Beweistheorie: syntaktisch: "Es gibt eine formale Ableitung von B aus A".
I 116
Modelltheorie/Field: Wenn man sagt, dass ein logisch wahrer Satz in allen Modellen wahr ist, besteht ein Modell in einer Menge von Gegenständen plus der Festsetzung, welche Prädikate (wenn überhaupt) von ihnen in dem Modell wahr sind, welche Namen (wenn überhaupt welche) in dem Modell diese Gegenstände denotieren, usw.
Außerdem: Eine Zuschreibungsfunktion für freie Variablen. - Dann können die Wahrheitsbedingungen rekursiv definiert werden. Def logisch wahr: hier: ist wahr für jedes Modell.
>Modelle
.
I 117
Kripke: Bei ihm wird eine nicht-leere Menge von möglichen Welten als aktual (!) bezeichnet.
>Mögliche Welten, >Wirkliche Welt/Lewis, >Aktualität.
Def möglich/Kripke: ein Satz der Form "MA" (Raute) wird in einem Modell genau dann wahr sein, wenn A in wenigstens einer möglichen Welt in dem Modell wahr ist.
Problem/Kripke: Damit "MA" logisch wahr ist, muss A selbst logisch wahr sein.
Lösung/FieldVsKripke: Wir nehmen keine möglichen Welten an! - Unser Modell ist die "Wirkliche-Welt-Portion" des Kripkeschen Modells.
I 121:
Beweistheorie: Die Beweistheorie liefert keine Ergebnisse, die man nicht auch anders erhalten könnte.
I 116
Modelltheorie/Modallogik/FieldVsKripke: anders als Kripke: Die Modelltheorie kommt ohne mögliche Welten aus. Welche Sätze mit dem Operator "logisch möglich" sind logisch wahr? - Pointe: Beide Modelltheorien sind platonistisch (reine Mengenlehre).
>Mengenlehre, >Platonismus.

_____________
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. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   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