Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Institute of Medieval and Early Modern Studies (IMEMS)

Members

The list below shows Durham University research staff who are members of IMEMS. Click the member's name to see a more detailed biography and department.

We also welcome anyone from outside the University with an interest in our work to join. Membership is free of charge. You will receive invitations to our programme of events, with a weekly emails digest about what is happening in the Insitute and further afield. To join IMEMS contact: admin.imems@durham.ac.uk

Publication details for Dr Sara L. Uckelman

Uckelman, Sara L. (2013). A quantified temporal logic for ampliation and restriction. Vivarium 51(1-4): 485-510.

Author(s) from Durham

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.