Lexikon der Argumente

 

II 154
Starr-machen/Kennzeichnung/Kripke/Cresswell: (Kripke 1977⁽¹⁾, 259f): normale Kennzeichnung/logische Form/Cresswell: "Das F ist G" ist wahr in jeder möglichen Welt w gdw. das Ding das (eindeutig) F in w ist, auch G in w ist.
Starre Kennzeichnung/logische Form: hier ist das wahr in w gdw. das Ding, das in der wirklichen Welt F ist, in w G ist, egal ob es dort in w F ist oder nicht.
Welche Welt die aktuale ist, ist aber relativ zur jeweiligen möglichen Welt.
>Aktualität, >Querweltein-Identität, >Modale Eigenschaften.
Lösung: doppelte Indizierung: zwei mögliche Welten: "das F ist G" ist wahr in w₂ gesehen von w₁, gdw. das Ding das F ist in w₁ G w₂ ist
>Zwei-dimensionale Semantik.
Starr machen: sorgt dafür, dass ein Satz wie "das F ist G" auch allein stehen kann.
>Freistehende Gehalte.
Statt dessen: Wahrheitsbedingungen/WB/Cresswell: Wenn man den prinzipiellen Vorzug von Wahrheitsbedingungen gegenüber Wahrheitswerten darin sieht, dass die Wahrheitsbedingungen die richtigen Input-Bedingungen für weitere Einbettungen liefern, dann ist das Starrmachen nicht so wichtig.
>Wahrheitswert, >Wahrheitsbedingungen.
II 155
Starr/nicht-starr/Glauben/Modallogik/Cresswell: In Glaubenskontexten wird im Gegensatz zu modalen Kontexten die Kennzeichnung als nicht-starr interpretiert.
Modaler Kontext: starr.
>Modallogik.

1. Saul A. Kripke 1977. Speker's Reference and Semantic Reference. Midwest Studies In Philosophy
Volume 2, Issue 1 p. 255-276 - https://doi.org/10.1111/j.1475-4975.1977.tb00045.x