Save

A Quantified Temporal Logic for Ampliation and Restriction

In: Vivarium
View More View Less
  • 1 Ruprecht-Karls Universität Heidelberg
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

Purchase

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

€29.95$34.95

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.

Content Metrics

All Time Past Year Past 30 Days
Abstract Views 355 51 1
Full Text Views 123 0 0
PDF Views & Downloads 36 0 0