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: firstname.lastname@example.org
Publication details for Dr Sara L. UckelmanUckelman, Sara L. (2013). A quantified temporal logic for ampliation and restriction. Vivarium 51(1-4): 485-510.
- Publication type: Journal Article
- ISSN/ISBN: 0042-7543, 1568-5349
- DOI: 10.1163/15685349-12341259
- Further publication details on publisher web site
Author(s) from Durham
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.