Abstract
This paper deals with the history and the philosophy of some important conceptual structures of time and modality. In particular, the focus is on the historical and philosophical background of the introduction of the notion of branching time as a useful conceptual structure in philosophical logic. It is pointed out that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated Sept. 3, 1958. It is also shown in the paper that Prior received the idea positively and that he developed it significantly in his later writings, although he at least in the beginning met the idea with some reservation and hesitation. Prior’s development of branching time may be understood as a crucial part of his attempt at the formulation of a conceptual framework integrating basic human notions of time, free choice and ethics. Finally, the paper presents some challenges regarding the significance of branching time in philosophy and in the study of information architecture.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Prior, A.N.: A Statement of Temporal Realism. Published in P. Øhrstrøm’s edition in Copeland 1996, pp. 45–46 (1996)
Prior, A.N.: Some Free thinking about Time. Published in P. Øhrstrøm’s edition in Copeland 1996, pp. 47–51 (1996)
Copeland, J. (ed.): Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford University Press, Oxford (1996)
Prior, A.N.: The Interpretation of two Systems of Modal Logic. The Journal of Computing Systems 2, 201–208 (1954)
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
Øhrstrøm, P., Hasle, P.: Temporal Logic - From Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht (1995)
Prior, A.N.: Diodoran Modalities. The Philosophical Quarterly 5, 205–213 (1955)
Prior, A.N.: Time and Modality, Oxford (1957)
Øhrstrøm, P.: In Defense of the Thin Red Line: A Case for Ockhamism. Humana Mente 8, 17–32 (2009)
Øhrstrøm, P.: Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts. In: Proceedings of Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009, pp. 66–81. Springer, Heidelberg (2009)
Prior, A.N.: Papers on Time and Tense. In: Hasle, P., et al. (eds.), Oxford University Press, Oxford (2003)
Wolff, K.E.: Basic Notions in Conceptual Semantic Systems. In: Gély, A., Kuznetsov, S.O., Nourine, L., Schmidt, S.E. (eds.) Contributions to ICFCA 2007, 5th International Conference on Formal Concept Analysis, Clermont-Ferrand, France, pp. 97–120 (2007)
Wolff, K.E.: States, Transitions, and Life Tracks in Temporal Concept Analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, pp. 127–148. Springer, Heidelberg (2005)
Schärfe, H., Øhrstrøm, P., Gyori, M.: A Conceptual Analysis of Difficult Situations - developing systems for teenagers with ASD. In: CEUR Workshop Proceedings of International Conference on Conceptual Structures - ICCS 2009, Moscow, Russia (2009)
Pertou, M.E., Schärfe, H.: Adaptive Persuasive Scripts. In: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour AISB 2009. Proceedings of the Symposium Persuasive Technology and Digital Behaviour Intervention Symposium, Edinburgh, Scotland (2009)
[L1] Kripke, Saul. Letter to A.N. Prior. The Prior Collection, Bodleian Library, Oxford (September 3, 1958)
[L2] Prior, A.N. Letter to Saul Kripke. In Saul Kripke’s possession (September 10, 1958)
[L3] Kripke, Saul. Letter to A.N. Prior. The Prior Collection, Bodleian Library, Oxford (October 13, 1958)
[L4] Prior, A.N. Letter to Saul Kripke. In Saul Kripke’s possession (October 27, 1958)
[L5] Prior, A.N. Letter to Henrik von Wright. The Henrik von Wright collection, Helsinki, The National Library of Finland, University of Helsinki (February 1, 1966)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Øhrstrøm, P., Schärfe, H., Ploug, T. (2010). Branching Time as a Conceptual Structure. In: Croitoru, M., Ferré, S., Lukose, D. (eds) Conceptual Structures: From Information to Intelligence. ICCS 2010. Lecture Notes in Computer Science(), vol 6208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14197-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-14197-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14196-6
Online ISBN: 978-3-642-14197-3
eBook Packages: Computer ScienceComputer Science (R0)