, Volume 188, Issue 3, pp 349–366 | Cite as

Arthur Prior and medieval logic

Open Access


Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior’s research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be familiar with the medieval logicians and their work. In this article we give an overview of Prior’s work in ancient and medieval logic.


Diodoros Chronos Future contingents Jean Buridan Medieval logic Temporal logic Walter Burley 


  1. 1.
    Abelard, P. (1956). In L. M. de Rijk (Ed.), Dialectica: First complete edition of the Parisian manuscript. Assen: Van Gorcum.Google Scholar
  2. 2.
    Baudry L. (1950) La querelle des futurs contingents (Louvain 1465–1475): Textes inedits. Études de Philosophia Médiévale 38: 134–170Google Scholar
  3. 3.
    Baudry, L. (1989). The quarrel over future contingents (Louvain 1465–1475) (R. Guerlac, Trans.). Dordrecht: Kluwer Academic Publications.Google Scholar
  4. 4.
    Bocheński I. (1949) Précis de logique mathématique. Bussum, F. G. KroonderGoogle Scholar
  5. 5.
    Bocheński, I. (1961). A history of formal logic. (I. Thomas, Trans.). Notre Dame, IN: University of Notre Dame Press.Google Scholar
  6. 6.
    Boehner P. (1952) Medieval logic: An outline of its development from 1250 to c.1400. Manchester University Press, ManchesterGoogle Scholar
  7. 7.
    Boh I. (1982) ‘Consequences’. In: Kretzmann N. et al (eds) Cambridge history of later medieval philosophy. Cambridge University Press, CambridgeGoogle Scholar
  8. 8.
    Buridan J. (1966) Sophisms on meaning and truth (T. K. Scott, Trans.). Appleton- Century-Crofts, New YorkGoogle Scholar
  9. 9.
    Buridani I. (1518) In metaphysicam Aristotelis questiones, liber VI. Iodocus Badius, ParisGoogle Scholar
  10. 10.
    Burleigh, W. (1951). In P. Boehner (Ed.), De puritate artis logicae. St. Bonaventure, NY: Franciscan Institute.Google Scholar
  11. 11.
    Conti, A. (2004). Walter Burley. In: E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Fall 2004 ed.).
  12. 12.
    Copeland J. (1996) Prior’s life and legacy. In: Copeland J. (eds) Logic and reality: Essays on the legacy of Arthur Prior. Clarendon Press, OxfordGoogle Scholar
  13. 13.
    Dutilh Novaes, C. (2006). Formalisations après la lettre. Ph.D. thesis, Leiden University.Google Scholar
  14. 14.
    Flew, A. G. (eds) (1951) Logic and language. Blackwell, OxfordGoogle Scholar
  15. 15.
    Geach, P., Kenny, A. (eds) (1976) Papers in logic and ethics. Duckworth, LondonGoogle Scholar
  16. 16.
    Grimshaw M. (2002) The prior Prior: Neglected early writings of Arthur N. Prior. Heythrop Journal 43: 480–495CrossRefGoogle Scholar
  17. 17.
    Hasle, P. F., & Øhrstrøm, P. (1997). Foundations of temporal logic—the WWW-site for Prior-studies.
  18. 18.
    Hughes, G. (1982). John Buridan on self-reference: Chapter eight of Buridan’s Sophismata (with a translation, introduction, and philosophical commentary). New York: Cambridge University Press.Google Scholar
  19. 19.
    Lukasiewicz J. (1951) Aristotle’s syllogistic from the standpoint of modern formal logic. Clarendon Press, OxfordGoogle Scholar
  20. 20.
    Mates B. (1949) Diodorean implication. Philosophical Review 58(3): 234–242CrossRefGoogle Scholar
  21. 21.
    Mates B. (1953) Stoic logic. University of California Press, BerkeleyGoogle Scholar
  22. 22.
    McGrath, M. (2006). Propositions. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Winter 2006 ed.).
  23. 23.
    Moody E. A. (1953) Truth and consequence in mediaeval logic. North-Holland publishing company, AmsterdamGoogle Scholar
  24. 24.
    Øhrstrøm P., Hasle P.F. (1993) A. N. Prior’s rediscovery of tense logic’. Erkenntnis 39: 23–50CrossRefGoogle Scholar
  25. 25.
    Prior A.N. (1933) Art and the kingdom of God—a discussion. New Zealand Journal of Theology 2(3): 230–234Google Scholar
  26. 26.
    Prior A.N. (1952a) The parva logicalia in modern dress. Dominican Studies 5: 78–87Google Scholar
  27. 27.
    Prior A.N. (1952b) Modality de dicto and modality de re. Theoria 18: 174–180CrossRefGoogle Scholar
  28. 28.
    Prior A.N. (1953a) The logic of negative terms in Boethius. Franciscan Studies 13: 1–6Google Scholar
  29. 29.
    Prior A.N. (1953b) Negative quantifiers. Australasian Journal of Philosophy 31: 107–123CrossRefGoogle Scholar
  30. 30.
    Prior A.N. (1953) On propositions neither necessary nor impossible. Journal of Symbolic Logic 18(2): 105–108CrossRefGoogle Scholar
  31. 31.
    Prior A.N. (1953d) On some consequentiae in Walter Burley. New Scholasticism 26(4): 433–446Google Scholar
  32. 32.
    Prior A.N. (1953e) Review of I. M. Bocheński, Non-analytical laws and rules in Aristotle’. Journal of Symbolic Logic 18(4): 333–334CrossRefGoogle Scholar
  33. 33.
    Prior A.N. (1955) Diodoran modalities. Philosophical Quarterly 5(20): 205–213CrossRefGoogle Scholar
  34. 34.
    Prior A. N. (1957) Time and modality. Oxford University Press, OxfordGoogle Scholar
  35. 35.
    Prior A.N. (1958a) Diodorus and modal logic: A correction. Philosophical Quarterly 8: 226–230CrossRefGoogle Scholar
  36. 36.
    Prior A.N. (1958b) Epimenides the cretan. Journal of Symbolic Logic 23(2): 261–266Google Scholar
  37. 37.
    Prior, A. N. (1958c). Review of Walter Burley. In P. Boehner (Ed.), De puritate artis logicae tractatus longior. New Scholasticism, 32(1), 127–130.Google Scholar
  38. 38.
    Prior A.N. (1959) Formalised syllogistic. Synthese 11(3): 265–273CrossRefGoogle Scholar
  39. 39.
    Prior A.N. (1962a) The formalities of omniscience. Philosophy 37: 114–129CrossRefGoogle Scholar
  40. 40.
    Prior, A. N. (1962b). Some problems of self-reference in John Buridan. Proceedings of the British Academy, 48, 281–296. Reprinted in Geach, P., & A. Kenny (Eds.). (1976). Papers in logic and ethics. London: Duckworth.Google Scholar
  41. 41.
    Prior A. N. (1964) Some exercises in epistemic logic. In: Rollins C. (eds) Knowledge and experience. University of Pittsburgh Press, PittsburghGoogle Scholar
  42. 42.
    Prior A. N. (1967) Past, present, and future. Clarendon Press, OxfordCrossRefGoogle Scholar
  43. 43.
    Prior, A. N. (1968). Review of Jean Buridan, Sophisms on meaning and truth. In T. K. Scott (Trans., Ed.), Philosophical Review, 77(4), 516–519.Google Scholar
  44. 44.
    Prior A.N. (1969) The possibly-true and the possible. Mind 78(312): 481–492CrossRefGoogle Scholar
  45. 45.
    Prior A. N. (1971). Objects of thought. In P. Geach & A. Kenny (Eds.), Oxford: Clarendon Press.Google Scholar
  46. 46.
    Sedley D. (1977) Diodorus Cronus and hellenistic philosophy. Proceedings of the Cambridge Philological Society N. S. 23(203): 74–120Google Scholar
  47. 47.
    Spade P. V. (1982) The semantics of terms. In: Kretzmann et al. N. (eds) Cambridge history of later medieval philosophy. Cambridge University Press, CambridgeGoogle Scholar
  48. 48.
    Uckelman, S. L. (2011). Prior on an insolubilium of Jean Buridan. Synthese. doi:10.1007/s11229-011-9940-6.
  49. 49.
    Zupko, J. A. (2003). John Buridan: Portrait of a fourteenth-century arts master. Notre Dame, IN: University of Notre Dame Press.Google Scholar

Copyright information

© The Author(s) 2011

Authors and Affiliations

  1. 1.Institute for Logic, Language, and ComputationAmsterdamThe Netherlands

Personalised recommendations