Temporal logic

Danish researchers are digging deeply into the Bodleian Library in Oxford to study the very beginning of temporal logic. The digitization of Prior's manuscripts plays an important role

The project studies the temporal logic developed in the middle of 20th century by A. N. Prior and its modern manifestations in logic and philosophy as well as information and computer science. Another purpose of the project is to digitize and publish works of Prior that are currently only available as manuscripts, deposited in the Bodleian Library. This process at the same time aims at developing a virtual and collaborative international forum for the study of Prior’s ideas as well as temporal logic in general.

The historical approach is centered on charting the overall architecture of Prior's contribution. That is, connections between his works in metaphysics, logic, ethics and philosophy in general. Also his early work in theology is included in this study. A very important part of this work is the digitization of Prior's unpublished manuscripts, letters etc. in the Bodleian Library.

Prior's paradigm for developing temporal logic includes a number of fundamental questions about the nature of time, the role of logic and the scope of formalization. It also forms the basis of what is now known as hybrid logic, one of the important advances in logic within the 21st century. Read more.