Cresswell II 154
Starr-machen/Kennzeichnung/Kripke/Cresswell: (Kripke 1977, 259f)
(1):
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 aktualen Welt F ist, in w G ist, egal ob es dort in w F ist oder nicht.
Aktuale Welt: welche Welt die aktuale ist, ist wieder relativ zum Standpunkt: jede Welt ist für sich selbst die aktuale.
Starre Kennzeichnung/logische Form: muss also zwei Welten involvieren: denn wir müssen sagen
„das F ist G“ ist wahr in w2 gesehen von w1, gdw. das Ding das F ist in w1 G w2 ist.
Doppelte Indizierung/multiple Indizierung/Terminologie/Cresswell: so wird das genannt in Kamp (1971)
(2), es wird fast aber nicht ganz verwendet in Lewis (1970. 185f)
(3). Explizit in Stalnaker (1978, 320)
(4) als Formalisierung von Kripkes Ansatz über Namen. Es scheint akzeptiert zu sein in Kaplan (1979)
(5).
>
Kennzeichnungen, >
Mögliche Welten, >
Semantik möglicher Welten.
(1) Kripke, S. (1977): Speaker’s reference and semantic reference. In: Midwest Studies In Philosophy, Bd. 2(1), S. 255 - 276.
(2) Kamp, H. (1971): To the memory of Arthur Prior Formal properties of ‘now’. In: Theoria, Bd. 37(3), S. 227-273.
(3)
(4) Stalnaker, R. (1978): Assertion. In: Syntax and Semantics (New York Academic Press), Bd. 9, S. 315-332.
(5) Kaplan, D. (1979): On the Logic of Demonstratives, Journal of Philosophical Logic, VIII 1978: 81–98; and reprinted in French et al. (Hrsg.), Contemporary Perspectives in the Philosophy of Language (Minneapolis: University of Minnesota Press, 1979): 401–412.
