Abstract
The founder of symbolic temporal logic, A. N. Prior was to a great extent motivated by philosophical concerns. The philosophical problem with which he was most concerned was determinism versus free will. The aim of this paper is to point out some crucial interrelations between this philosophical problem and temporal logic. First, we sketch how Prior’s personal reasons for studying the problems related to determinism were philosophical — initially, indeed theological. Second, we discuss his reconstruction of the classical Master Argument, which has since Antiquity been considered a strong argument for determinism. Furthermore, the treatment of determinism in two of Prior’s proposed temporal systems, namely the Ockhamistic and the Peircean systems, is investigated. Third, we illustrate the fundamental role of the very same issue in more recent discussions of some tempo-modal systems: The ‚Leibniz-system‘ based on ideas of Nishimura (1979) as well as Belnap and Green’s argument (! 1994), to which we add some necessary revisions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belnap, N. and M. Green: 1994, ‘Indeterminism and the Thin Red Line’. Philosophical Perspectives 8:365–88.
Copeland, J.: 1996, ‘Prior’s Life and Legacy’. In: J. Copeland (ed.): Logic and Reality: Essays in the Legacy of Arthur Prior. Oxford University Press/Clarendon Press, Oxford. pp. 1–40.
Findlay, J. N.: 1941, ‘Time: A Treatment of Some Puzzles’. Australasian Journal of Psychology and Philosophy 19:216–35. Reprinted in: A. Flew (ed.): 1951, Essays on Logic and Language. Blackwell, Oxford.
Hasle, P.: 1997, ‘The Problem of Predestination — as a prelude to A. N. Prior’s tense logic’. To appear in M. Wegener (editor): Time, Creation and World-Order. 22 P.
Kenny, A. J. P.: 1970, ‘Arthur Normann Prior (1914–1969)’. In: Proceedings of the British Academy, Vol. LVI. pp. 321–49.
Klocker, H. R.: 1968, God and the Empiricists. The Bruce Publishing Company. Lukasiewicz, J.: 1970, ‘On Three-Valued Logic’. In: Jan Lukasiewicz: Selected Works. Amsterdam. Original dating 1920.
Mates, B.: 1949, ‘Diodorean Implication’. Philosophical Review 58:234–44.
Mates, B.: 1953, Stoic Logic. University of California Press.
Nishimura, H.: 1979a, ‘Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?’. Journal of Philosohical Logic 8:469–75.
Nishimura, H.: 1979b, ‘Is the Semantics of Branching Structures Adequate for Non- metric Ockhamist Tense Logics?’. Journal of Philosohical Logic 8:477–78.
Ohrstrom, P. and P. Hasle: 1993, ‘A. N. Prior’s Rediscovery of Tense Logic’. Erkenntnis 39:23–50.
Ohrstrom, P. and P. Hasle: 1995, Temporal Logic: from Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers.
Peirce, C. S.: 1931–58. In: Collected Papers of Charles Sanders Peirce, Vol. I-VIII. Harvard University Press.
Prior, A. N.: 1955, ‘Diodorean Modalities’. The Philosophical Quarterly 5:205–13.
Prior, A. N.: 1962a, ‘The Formalities of Omniscience’. Philosophy 37:114–29.
Prior, A. N.: 1962b, ‘Tense-logic and the continuity of Time’. Studia Logica 13:133–48.
Prior, A. N.: 1967, Past, Present and Future. Oxford.
Prior, A. N.: 1996, ‘Some Free Thinking About Time’. In: J. Copeland (ed.): Logic and Reality: Essays in the Legacy of Arthur Prior. Oxford University Press/Clarendon Press, Oxford. With introduction by P. Ohrstrom in which the original dating is discussed, pp. 43–44 and pp. 47–51.
Prior, A. N.: ca. 1944, ‘Determinism in philosophy and theology’. Typed, 4 p. The Bodleian Library, Prior’s Papers, Box 6. Unpublished.
Prior, A. N.: ca. 1951, ‘The Craft of Formal Logic’. Typed, 806 p. The Bodleian Library, Prior’s Papers, Box 22. Unpublished. A part of the manuscript has been published as ‘The Doctrine of Propositions and Terms’, ed. P. T. Geach and A. J. P. Kenny, Duckworth 1976.
Rescher, N. and A. Urquhart: 1971, Temporal Logic. Springer.
William of Ockham: 1983, Predestination, God’s Foreknowledge, and Future Contingents. Hackett Publishing Company. Translated and with introduction by M. M. Adams and N. Kretzmann.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
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. Applied Logic Series, vol 16. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9586-5_10
Download citation
DOI: https://doi.org/10.1007/978-94-015-9586-5_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5389-3
Online ISBN: 978-94-015-9586-5
eBook Packages: Springer Book Archive