Arthur Prior
contemporaryAnalytic Philosophy, Temporal Logic1914 – 1969
Arthur Norman Prior (1914–1969) was a New Zealand logician and philosopher who founded tense logic, the formal study of temporal operators in modal systems. Working at Manchester and Oxford, he developed a rigorous framework for reasoning about past, present, and future that transformed both philosophical logic and the metaphysics of time. His propositional logic work, including quantification over propositions, remains foundational to debates on modality and ontology.
Notable Achievements
1
Founded tense logic (temporal logic), introducing operators P, F, H, and G for past and future quantification
2
Developed the Priorian view of propositions as world-bound, influencing debates on actualism and possibilism
3
Authored Past, Present and Future (1967), the seminal systematic treatment of temporal logic
4
Advanced propositional quantification and its implications for ontology of abstract objects
5
Influenced modal logic, philosophy of time, and computer science formal verification methods