, Volume 188, Issue 3, pp 331–347 | Cite as

The problem of predestination: as a prelude to A. N. Prior’s tense logic

  • Per F. V. HasleEmail author


Arthur Norman Prior’s early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior’s later work as a philosopher and logician. However, as interest in Prior’s achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior’s putatively “youthful” theological work overlapped his work as a philosopher and logician for many years, as is richly documented by examples discussed in this paper. A particularly important theme is the problem of predestination. This paper presents comprehensive evidence that this theme, which was Prior’s most important single preoccupation as a theological writer, was a most important source of inspiration for his development of tense logic. Via questions regarding divine foreknowledge and human free will, predestination was to motivate Prior as a logician to focus on time and tense. Whilst investigating this development, the paper also traces Prior’s parallel development from Calvinist Christian believer to a more agnostic position.


Arthur N. Prior Predestination Calvinism Knox Barth Determinism Indeterminism Free will Foreknowledge 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Copeland, J. (eds) (1996) Logic and reality: Essays in the legacy of arthur prior. Oxford University Press/Clarendon Press, OxfordGoogle Scholar
  2. Grimshaw M. (2002) The Prior Prior: Neglected early writings of Arthur N. Prior. The HeyThrop Journal, 43: 480–495CrossRefGoogle Scholar
  3. Jakobsen, D. (2011). An introduction to ‘faith, unbelief and evil’. Synthese. doi: 10.1007/s11229-011-9946-0
  4. Kenny A. (1970) Arthur Normann Prior (1914–1969). Proceedings of the British Academy LVI: 321–349Google Scholar
  5. Øhrstrøm P., Hasle P. (1995) Temporal logic—from ancient ideas to artificial intelligence. Kluwer Academic Publishers, DordrechtGoogle Scholar
  6. Prior, A. (1937). Revaluations. Student (6).Google Scholar
  7. Prior, A. (1940a). The logic of calvinism. Unpublished (Handwritten, 26 pp., Box 7).Google Scholar
  8. Prior, A. (1940b). A modernist stocktaking. Unpublished (typed, 6 pp., Box 7).Google Scholar
  9. Prior, A. (1940c). Notes on the Westminster confession (and the proposed revision). Unpublished (Typed, 2 pages, + handwritten, 3 pages, Box 7).Google Scholar
  10. Prior, A. (1942a). Can religion be discussed? Australasian Journal of Psychology and Philosophy, 15, 141–151 (Reprinted from New essays in philosophical theology, pp. 1–11 by F. Antony & M. Alasdair (Eds.), 1955, London: S. C. M. Press).Google Scholar
  11. Prior, A. (1942b). The case of Edward Irving. Unpublished (typed, 5 pp., Box 6).Google Scholar
  12. Prior, A. (1942c). Children of the Damned. Unpublished (typed, 10 pp + handwritten 2 pp., Box 6).Google Scholar
  13. Prior, A. (1942d). Robert Barclay: Quaker or calvinist?. Unpublished (typed, 15 pp., Box 7).Google Scholar
  14. Prior, A. (1943). Determinism in philosophy and theology. Unpublished (typed, 4 pp., Box 6).Google Scholar
  15. Prior A. (1946) The reformers reformed: Knox on predestination. The Presbyter 4: 19–23Google Scholar
  16. Prior A. (1947) Supralapsarianism. The Presbyter 5: 19–22Google Scholar
  17. Prior, A. (1951). The ethical copula. Australasian Journal of Philosophy, 29, 137–154 (Reprinted as Prior 1976).Google Scholar
  18. Prior A. (1953) Three-valued logic and future contingents. The Philosophical Quarterly 3: 317–326CrossRefGoogle Scholar
  19. Prior A. (1955) Diodoran modalities. The Philosophical Quarterly 5: 205–213CrossRefGoogle Scholar
  20. Prior, A. (1958). The good life and religious faith (East-West meeting at Canberra Dec. 1957). Australasian Journal of Philosophy, 36, 1–13.Google Scholar
  21. Prior A. (1959) Creation in science and theology. Southern Stars 18: 82–89Google Scholar
  22. Prior A. (1962) The formalities of omniscience. Philosophy 37: 114–129CrossRefGoogle Scholar
  23. Prior, A. (1976). The ethical copula. In: P. T. Geach & A. J. P. Kenny (Eds.), Papers in logic and ethics (pp. 9–24). Amherst: University of Massachusett Press.Google Scholar
  24. Prior, A. (1996). Some free thinking about time. First published in Copeland 1996. For its original dating, see footnote 14. I quote from the original ’SFTT’, kept in the Bodleian Library, box 7.Google Scholar
  25. Prior, A. (2011a). The fable of the four preachers. Syntheses (this volume).Google Scholar
  26. Prior, A. (2011b). Faith, unbelief and evil. Synthese. doi: 10.1007/s11229-011-9945-1.

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Royal School of Library and Information ScienceCopenhagenDenmark

Personalised recommendations