A Quantified Temporal Logic for Ampliation and Restriction

In: Vivarium
Sara L. Uckelman Ruprecht-Karls Universität Heidelberg

Search for other papers by Sara L. Uckelman in
Current site
Google Scholar
Download Citation Get Permissions

Access options

Get access to the full article by using one of the access options below.

Institutional Login

Log in with Open Athens, Shibboleth, or your institutional credentials

Login via Institution


Buy instant access (PDF download and unlimited online access):



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.

Content Metrics

All Time Past Year Past 30 Days
Abstract Views 443 38 5
Full Text Views 126 3 0
PDF Views & Downloads 39 3 0