Glüer II 18 ff
"Wahr"/Davidson: ist abgeleitet semantisch.
"Erfüllt"/Davidson: ist primär semantisch. >
Wahrheit.
- - -
I 103
Prädikate/Fodor: Erfüllung durch einen subjektiven Zustand: Bsp "Ist dies ein Kurzschnabeligel oder ein Stachelschwein?" - Gedanke über Tiere, die bestimmte allgemeine Kriterien erfüllt (genau die, die wir bei der Entscheidung verwenden).
I 104
DavidsonVsFodor: Diese Zustände gibt es nicht - statt dessen: Geschichte des Lernens des Worts. >
Kausaltheorie des Wissens, >
Lernen, >
Überzeugungen/Davidson.
- - -
Glüer II 24
Def Erfüllung/Tarski/Glüer: Erfüllung ist eine Relation zwischen (geordneten) Folgen von Gegenständen und offenen Sätzen. Hier funktioniert die rekursive Methode: für elementare Sätze wird definiert, welche Gegenstände sie erfüllen, und es werden Regeln angegeben, nach denen sich für alle Zusammensetzungen offener Sätze ermitteln lässt, welche Gegenstände sie erfüllen.
Aussagesätze werden als Sonderfall offener Sätze bestimmt. Sie enthalten entweder keine freien Variablen, oder sie wurden mit Hilfe von Quantoren geschlossen.
II 25
Bei wahren Aussagen ist die Erfüllung einfach: denn ob eine geordnete Folge von Gegenständen einen Satz erfüllt, hängt nur von der freien Variablen ab, die er enthält.
Geschlossener Satz/Erfüllung: Bsp "Der Mond ist rund" enthält keinerlei freie Variablen. Damit ist die Art der Gegenstände der jeweiligen Folge völlig irrelevant und es kann per Definition bestimmt werden, ob ein solcher Satz wahr ist, wenn er von allen Folgen erfüllt wird - oder von keiner.
Vgl. >
Offener Satz.
Erfüllung/Quantoren/Quantifikation: Etwas verwickelter ist es bei quantifizierten Aussagen:
Bsp "Alle Sterne sind rund." oder "Es gibt mindestens einen Stern, der rund ist." auch hier wird die Erfüllung derart definiert, dass entweder alle Folgen einen Satz erfüllen, oder keine. So wird deutlich, dass es absurd wäre, Wahrheit geschlossener Sätze mit der Erfüllung durch keine Folge von Gegenständen zu assoziieren.
Bsp Ein Satz wie "Alle Sterne sind rund" ist wahr wenn es bestimmte Gegenstände gibt, die "X ist rund" erfüllen: alle Sterne.
Def Wahrheit/Tarski/Glüer: Eine Aussage ist wahr, wenn sie von allen Gegenständen erfüllt wird, sonst falsch". (Aussage: Sonderfall der Erfüllungsrelation). >
Aussagen.
