- John Buridan's Sophismata and interval temporal semantics
- Philosophiegeschichte und logische Analyse
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper [Øhrstrøm 1984], we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past. We introduce a number of standard modern propositional interval temporal logics (ITLs) to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give formal proofs of some claims in [Øhrstrøm 1984], and sketch how the standard modern systems could be defined in terms of Buridan’s proposals, showing that his logic can be taken as more basic.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.