Abstract

Tense (or temporal) logic provides us with additional means to formalize propositions that contain temporal information and have a changing truth-value. Formally, the origination of this branch of logic is dated back to the late fifties of the previous century. However, the element of time was present in the logical investigations ever since Aristotle. The aim of this lecture is to present a short overview of how logic and time were related from the antiquity to these days. The talk will be centered around four periods – antiquity, Middle Ages, Renaissance and contemporary times – which will be overviewed by providing the examples of the most original philosophical arguments and topics related to time: 1) Aristotle’s Sea-Battle paradox; 2) The Master Argument by Diodorus Cronus; 3) the question of divine omniscience and free will; 4) Buridan’s Bridge paradox by Jean Buridan and 5) contemporary application of temporal logic for the creation of different models of time.