I 35
Proposition/Struktur/mögliche Welt/Stalnaker: Propositionen sind hoch strukturiert, mögliche Welten sind es nicht.
>
Mögliche Welten/Stalnaker.
Die Strukturen, die zwischen Propositionen bestehen, bestehen so nicht zwischen möglichen Welten. Propositionen können stärker oder schwächer sein - mögliche Welten nicht.
>
Stärker/schwächer, >
Inhalt, >
Situationen, >
Welt.
Eine minimale Theorie von Propositionen und möglichen Welten braucht nur die Strukturen von Propositionen, nicht von möglichen Welten.
>
Strukturen.
I 37
Proposition/Stalnaker: Die Proposition wird aus Individuen und Eigenschaften gebildet.
Satz/Stalnaker: Der Satz wird aus Namen und Prädikaten gebildet.
>
Sätze, >
Prädikation, >
Wahrheit.
I 51
Verstehen/Stalnaker: Eine Proposition kann nicht wie ein Satz falsch verstanden werden, weil sie schon der Inhalt ist.
>
Verstehen.
I 61f
Def Proposition/Stalnaker: Eine Proposition ist nicht mehr als eine Teilregion, oder Teilmenge von möglichen Welten.
Def Behauptung/Stalnaker: Eine Proposition zu behaupten ist nichts anderes, als die wirkliche Welt in dieser Teilmenge zu lokalisieren.
>
Behauptungen, >
Logischer Raum.
Def wahr-relativ-zu-x: Zu sagen, eine Proposition ist wahr relativ zu einer Welt x heißt, dass die Welt x in der Teilmenge (von möglichen Welten) ist, die die Proposition konstituiert.
Def wahr simpliciter: "Wahr simpliciter" heißt zu sagen, das die wirkliche Welt in dieser Teilmenge (von möglichen Welten, die die Proposition konstituieren) ist.
>
Einfach wahr.
Proposition: Eine Proposition wird mit ihren Wahrheitsbedingungen identifiziert.
>
Wahrheitsbedingungen, >
Individuation.
I 191
Sekundäre Proposition/zwei-dimensionale Semantik/Chalmers/Stalnaker: ("fx"): Sekundäre Propositionen sind auf die wirkliche Welt bezogen.
>
Intensionen/Stalnaker.
Primäre Propositionen: ("fp") sind auf die jeweilige Welt bezogen, in der die Äußerung gemacht wird.
Logische Form: Def fp: logische Form: fx(y) = f(x,y) und fp(x) = f(x,x) bzw. äquivalent: fp(x) = fx(x) .