Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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., Green M. (1994) Indeterminism and the thin red line. Philosophical Perspectives 8: 365–388
Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterministic world. Oxford University Press, New York
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.
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–206
Burgess J. P. (1979) Logic and time. The Journal of Symbolic Logic 44(4): 566–582
McKim V. R., Davis C. C. (1976) Temporal modalities and the future. Notre Dame Journal of Formal Logic 17(2): 233–238
Müller, T. (2011). Tense or temporal logic. In L. H. R. Pettigrew (Ed.), The continuum companion to philosophical logic. Continuum.
Ø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.
Øhrstrøm P. (1984) Anselm, Ockham and Leibniz on divine foreknowledge and human freedom. Erkenntnis 21: 209–222
Øhrstrøm P. (2009) In defence of the thin red line: A case for Ockhamism. Humana mente 8: 17–32
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.
Placek T., Müller T. (2007) Counterfactuals and historical possibility. Synthese 154(2): 173–197
Prior A. (1967) Past, present and future. Oxford University Press, Oxford
Thomason R., Gupta A. (1980) A theory of conditionals in the context of branching time. The Philosophical Review 89(1): 65–90
Thomason R. H. (1970) Indeterminist time and truth-value gaps. Theoria 36(3): 264–281
Thomason R. H. (1984) Combinations of tense and modality. In: Gabbay D., Guenthner F. (eds) The handbook of philosophical logic. D. Reidel Publishing Co, Dordrecht, pp 135–165
Tweedale M. M. (2004) Future contingents and deflated truth-value gaps. Noûs 38(2): 222–265
Williamson T. (1994) Vagueness. Routledge, London
Zanardo A. (1996) Branching-time logic with quantification over branches: The point of view of modal logic. Journal of Symbolic Logic 61(1): 1–39
Acknowledgments
Jacek Wawer gratefully acknowledges the support of the MSHE’s research grant no. 668/N-RNP-ESF/2010/0.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Malpass, A., Wawer, J. A future for the thin red line. Synthese 188, 117–142 (2012). https://doi.org/10.1007/s11229-012-0064-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-012-0064-4