Advertisement

Temporal Logic pp 167-179 | Cite as

A.N. Prior’s tense-logic

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)

Abstract

A. N. Prior must be said to have laid the foundation for modern tense-logic. He revived the medieval attempt at formulating a temporal logic for natural language. Therefore his work also established a paradigm applicable to the exact study of the logic of natural language. Prior held that logic should be related as closely as possible to intuitions embodied in everyday discourse, and his tense logic can indeed account for a large number of linguistic inferences. In the 1950’s and 1960’s he laid out the foundation of tense-logic and showed that this important discipline was intimately connected with modal logic. Prior also argued that temporal logic is fundamental for understanding and describing the world in which we live. He regarded tense and modal logic as particularly relevant to a number of important theological problems. Using his temporal logic Prior analysed the fundamental question of determinism versus freedom of choice.

Keywords

Modal Logic Temporal Logic Tense Logic Formal Calculus Everyday Discourse 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1995

Personalised recommendations