时态逻辑（现被广泛称为时序逻辑）由亚瑟·普赖尔（Arthur Prior）于1957年创立。他对此系统的开发挑战了当时主流的时间观念，主张过去、现在和未来是本质的本体论范畴。他的工作仍然是形式逻辑和时间形而上学的基石，至今仍在影响当代哲学话语。
早期生活与教育
亚瑟·普赖尔于1914年出生在新西兰马斯特顿，是一位医生的儿子。他在卫理公会家庭中长大，这种环境最初将他的兴趣引向了神学和哲学。他在奥塔哥大学攻读这些学科，并于1935年获得学士学位。在大学期间，他接触到了J. N. 芬德利（J. N. Findlay）的作品，后者将他引入了逻辑学领域，并影响了他对哲学唯心主义的批判性视角。
学术生涯与影响
普赖尔于1946年在坎特伯雷大学学院开始了他的教学生涯，填补了卡尔·波普尔（Karl Popper）留下的空缺。尽管在时间的本质上存在深刻分歧，但他与J. J. C. 斯马特（J. J. C. Smart）的长期友谊极大地塑造了他的职业发展。在他的职业生涯中，普赖尔在不同机构间任职，从1959年开始在曼彻斯特大学担任教授，随后于1966年成为牛津大学贝利奥尔学院的研究员和导师。
对形式逻辑的贡献
普赖尔在现代形式逻辑方面主要是自学成才，他从波兰逻辑学家约瑟夫·玛丽亚·博亨斯基（Józef Maria Bocheński）和扬·武卡谢维奇（Jan Łukasiewicz）的作品中汲取灵感。尽管他不会说波兰语，但他因在自己的著作中采用波兰记法而闻名。他最重要的贡献在他的约翰·洛克讲座中得到了形式化，后来以《时间与模态》（Time and Modality）为题出版。除了自己的研究外，他还通过组织座谈会，在英国逻辑学的复兴中发挥了至关重要的作用。
晚年
普赖尔继续影响着新一代逻辑学家，马克斯·克雷斯韦尔（Max Cresswell）和基特·法恩（Kit Fine）等学者都是他的学生。1969年9月，在挪威大学进行巡回演讲时，普赖尔心脏病发作。他于1969年10月6日在特隆赫姆去世，就在他原定进行演讲的前一天晚上。他的遗产通过保存其广泛的战时通信以及他在哲学文本中的持续存在而得以延续。
快速事实
- 出生：1914年，马斯特顿 - 去世：1969年，特隆赫姆 - 教育：奥塔哥大学 - 主要领域：逻辑学 - 关键创新：时态逻辑 - 关键出版物：《时间与模态》（1957年） - 兵役：新西兰皇家空军（1943-1945年） - 国籍：英国；新西兰
读者常见问题
### 什么是时态逻辑？
也称为时序逻辑，是由普赖尔开发的一个系统，它将过去、现在和未来视为时间的基本本体论范畴。
### 亚瑟·普赖尔在哪里任教？
他曾在坎特伯雷大学学院、曼彻斯特大学和牛津大学贝利奥尔学院任职。
