Dr Sara Uckelman s.l.uckelman@durham.ac.uk
Associate Professor
A quantified temporal logic for ampliation and restriction
Uckelman, Sara L.
Authors
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 |
Public URL | https://durham-repository.worktribe.com/output/1422577 |
You might also like
What Logical Consequence Could, Could Not, Should, and Should Not Be
(2024)
Journal Article
Self-Regulated Sample Diversity in Large Language Models
(2024)
Presentation / Conference Contribution
Christine Ladd-Franklin
(2023)
Book Chapter
John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook
(2023)
Journal Article
Fictional Modality and the Intensionality of Fictional Contexts
(2022)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search