A future for the thin red line
- 591 Downloads
The thin red line (TRL) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents.
KeywordsFuture contingents Branching-time Ockhamism Thin red line Supervaluationism
- Barcellan, B., & Zanardo, A. (1999). Actual futures in Peircean branching-time logic. In J. Gerbrandy, M. Marx, M. de Rijke, & Y. Venema (Eds.), JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. CD-ROM, available on-line: http://www.illc.uva.nl/j50/.
- Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterministic world. Oxford University Press, New YorkGoogle Scholar
- Braüner, T., Halse, P., & Øhrstrøm, P. (1998). Ockhamistic logics and true futures of counterfactual moments. In IEEE temporal representation and reasoning (time-98) proceedings.Google Scholar
- Braüner T., Hasle P., Øhstrøm P. (2000) Determinism and the origins of temporal logic. In: Barringer H., Fisher M., Gabbay D., Gough G. (eds) Advances in temporal logic, Vol. 16 of applied logic series. Kluwer Academic Publishers, Dordrecht, pp 185–206Google Scholar
- Müller, T. (2011). Tense or temporal logic. In L. H. R. Pettigrew (Ed.), The continuum companion to philosophical logic. Continuum.Google Scholar
- Øhrstrøm, P. (1981). Problems regarding the future operator in an indeterministic tense logic. In: Danish yearbook of philosophy (Vol. 18, pp. 81–95). Museum Tusculanum Press.Google Scholar
- Øhrstrøm P. (2009) In defence of the thin red line: A case for Ockhamism. Humana mente 8: 17–32Google Scholar
- Placek, T., & Belnap, N. (2010). Indeterminism is a modal notion: Branching spacetimes and Earman’s pruning. Synthese (in press). doi:10.1007/s11229-010-9846-8.
- Williamson T. (1994) Vagueness. Routledge, LondonGoogle Scholar