Prior
contemporaryAnalytic Philosophy, Modal and Tense Logic1914 – 1969
Arthur Norman Prior (1914–1969) was a New Zealand logician and philosopher who founded tense logic, a formal system for reasoning about time using modal-style operators for past and future. His work transformed the philosophy of time and had lasting influence on temporal logic, modal logic, and the metaphysics of future contingents.
Notable Achievements
1
Founded tense logic, introducing the operators P (it was the case that) and F (it will be the case that)
2
Developed a formal framework for analyzing future contingents and the open future
3
Authored 'Past, Present and Future' (1967), the foundational text of temporal logic
4
Influenced the semantics of modal logic and possible-worlds frameworks
5
Contributed to the revival of Aristotelian logic within analytic philosophy