Tense logic, a framework now widely recognized as temporal logic, was founded by Arthur Prior in 1957. His development of this system challenged prevailing notions of time, asserting that past, present, and future are essential ontological categories. His work remains a foundational pillar in formal logic and the metaphysics of time, continuing to influence contemporary philosophical discourse today.
Early Life and Education
Born in 1914 in Masterton, New Zealand, Arthur Prior was the son of a medical practitioner. His upbringing occurred within a Methodist household, an environment that initially steered his interests toward theology and philosophy. He pursued these studies at the University of Otago, graduating with a B.A. in 1935. During his time at the university, he encountered the work of J. N. Findlay, who introduced him to logic and influenced his critical perspective on philosophical idealism.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Academic Career and Influences
Prior began his teaching career at Canterbury University College in 1946, filling a vacancy left by Karl Popper. His professional development was significantly shaped by a long-term friendship with J. J. C. Smart, despite their deep disagreements regarding the nature of time. Throughout his career, Prior moved between institutions, holding a professorship at the University of Manchester starting in 1959 before eventually becoming a Fellow and Tutor at Balliol College, Oxford, in 1966.
Contributions to Formal Logic
Largely self-taught in modern formal logic, Prior drew inspiration from the work of Polish logicians Józef Maria Bocheński and Jan Łukasiewicz. He famously adopted Polish notation for his own writing, despite not speaking the language. His most significant contributions were formalised in his John Locke lectures, which were later published as Time and Modality. Beyond his own research, he played a vital role in revitalizing logic in the United Kingdom through organized colloquiums.
Final Years
Prior continued to influence a new generation of logicians, counting scholars such as Max Cresswell and Kit Fine among his students. While on a lecture tour of Norwegian universities in September 1969, Prior suffered a heart attack. He died in Trondheim on 6 October 1969, the night before he was scheduled to deliver a presentation. His legacy is maintained through the preservation of his extensive wartime correspondence and his ongoing presence in philosophical texts.
Fast facts
- Born: 1914, Masterton
- Died: 1969, Trondheim
- Education: University of Otago
- Major Field: Logic
- Key Innovation: Tense Logic
- Key Publication: Time and Modality (1957)
- Military Service: Royal New Zealand Air Force (1943-1945)
- Citizenship: United Kingdom; New Zealand
Questions readers ask
What is tense logic?
Also known as temporal logic, it is a system developed by Prior that treats past, present, and future as fundamental ontological categories of time.
Where did Arthur Prior teach?
He held positions at Canterbury University College, the University of Manchester, and Balliol College, Oxford.
Achievements
- Held posts at Victoria University of Manchester, University of Canterbury and Balliol College
- Fields: mathematical logic and logic
