A quantified temporal logic for ampliation and restriction

Uckelman, Sara L.

Abstract

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, we look at the supposition theory of Lambert of Lagny (Auxerre), extracting from it a temporal logic and providing a formalization of that logic.

Citation

Uckelman, S. L. (2013). A quantified temporal logic for ampliation and restriction. Vivarium: A Journal for Medieval and Early-Modern Philosophy and Intellectual Life, 51(1-4), 485-510. https://doi.org/10.1163/15685349-12341259

• Journal Article Type: Article
• Publication Date: 2013
• Deposit Date: Oct 6, 2014
• Journal: Vivarium
• Print ISSN: 0042-7543
• Electronic ISSN: 1568-5349
• Publisher: Brill Academic Publishers
• Peer Reviewed: Peer Reviewed
• Volume: 51
• Issue: 1-4
• Pages: 485-510
• DOI: https://doi.org/10.1163/15685349-12341259