Double Time References Internalized: An Object Language Analysis of Speech Acts in an Indeterministic Setting
摘要
The paper investigates Nuel Belnap’s idea of double time references and its application to speech act theory. First, Belnap’s metalinguistic analysis of speech act reports in the branching-time setting is presented. Second, it is proven that these reports can be analyzed within the object language of Ockhamist logic if the language includes the indexicals now and then. Belnap complained that the language of the “tree dwellers” lacks the expressiveness required to capture the idea of double time references. This paper resolves this issue.