Skip to main content

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


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.

This is a preview of subscription content, access via your institution.


  1. Copeland, J. (eds) (1996) Logic and reality: Essays in the legacy of arthur prior. Oxford University Press/Clarendon Press, Oxford

    Google Scholar 

  2. Grimshaw M. (2002) The Prior Prior: Neglected early writings of Arthur N. Prior. The HeyThrop Journal, 43: 480–495

    Article  Google 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–349

    Google Scholar 

  5. Øhrstrøm P., Hasle P. (1995) Temporal logic—from ancient ideas to artificial intelligence. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  6. Prior, A. (1937). Revaluations. Student (6).

  7. Prior, A. (1940a). The logic of calvinism. Unpublished (Handwritten, 26 pp., Box 7).

  8. Prior, A. (1940b). A modernist stocktaking. Unpublished (typed, 6 pp., Box 7).

  9. Prior, A. (1940c). Notes on the Westminster confession (and the proposed revision). Unpublished (Typed, 2 pages, + handwritten, 3 pages, Box 7).

  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).

  11. Prior, A. (1942b). The case of Edward Irving. Unpublished (typed, 5 pp., Box 6).

  12. Prior, A. (1942c). Children of the Damned. Unpublished (typed, 10 pp + handwritten 2 pp., Box 6).

  13. Prior, A. (1942d). Robert Barclay: Quaker or calvinist?. Unpublished (typed, 15 pp., Box 7).

  14. Prior, A. (1943). Determinism in philosophy and theology. Unpublished (typed, 4 pp., Box 6).

  15. Prior A. (1946) The reformers reformed: Knox on predestination. The Presbyter 4: 19–23

    Google Scholar 

  16. Prior A. (1947) Supralapsarianism. The Presbyter 5: 19–22

    Google 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–326

    Article  Google Scholar 

  19. Prior A. (1955) Diodoran modalities. The Philosophical Quarterly 5: 205–213

    Article  Google 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–89

    Google Scholar 

  22. Prior A. (1962) The formalities of omniscience. Philosophy 37: 114–129

    Article  Google 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.

  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.

  25. Prior, A. (2011a). The fable of the four preachers. Syntheses (this volume).

  26. Prior, A. (2011b). Faith, unbelief and evil. Synthese. doi:10.1007/s11229-011-9945-1.

Download references

Author information



Corresponding author

Correspondence to Per F. V. Hasle.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Hasle, P.F.V. The problem of predestination: as a prelude to A. N. Prior’s tense logic. Synthese 188, 331–347 (2012).

Download citation


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