Problem ustalania indeksu w semantyce temporalno-modalnej

W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego (np. świata, czasu czy miejsca). Oznacza to, że stosując tego typu semantykę do analizy zdań języka naturalnego, musimy wskazać indeks istotny dla analizy semantycznej. Zwykło się przyjmować, że odpowiedni indeks jest ustalany przez kontekst wypowiedzi. Pomysł ten został odrzucony przez semantyków analizujących języki temporalno-modalne w kontekście indeterminizmu, co wygenerowało problem ustalania indeksu. W artykule przedstawię argument owych semantyków, a następnie zarysuję kilka odpowiedzi na problem ustalania indeksu. Ostatecznie będę argumentował, że przy pewnych założeniach metafizycznych i semantycznych można udzielić klasycznej odpowiedzi na problem ustalania indeksu również w kontekstach indeterministycznych.

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index (e.g. world, time, or place). It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialized by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism what generated the problem of initialization of the semantic index. I present the main argument of those semanticists and describe several responses to the initialization problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialization failure in the classical way, even in indeterministic contexts.