The Logic of Where and While in the 13th and 14th Centuries

Uckelman, Sara L.

Abstract

Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13th- and 14th-century authors are temporal and local propositions, which combine atomic propositions with ‘while’ and ‘where’. Despite modern interest in the historical roots of temporal and tense logic, medieval analyses of ‘while’ propositions are rarely discussed in modern literature, and analyses of ‘where’ propositions are almost completely overlooked. In this paper we introduce 13th- and 14th-century views on temporal and local propositions, and connect the medieval theories with modern temporal and spatial counterparts.

Citation

Uckelman, S. L. (2023, August). The Logic of Where and While in the 13th and 14th Centuries. Presented at Advances in Modal Logic 2016., Budapest, Hungary

• Presentation Conference Type: Conference Paper (published)
• Conference Name: Advances in Modal Logic 2016.
• Start Date: Aug 29, 2023
• End Date: Sep 2, 2016
• Acceptance Date: Jun 3, 2016
• Online Publication Date: Jun 30, 2016
• Publication Date: Jun 30, 2016
• Deposit Date: Jun 3, 2016
• Publicly Available Date: Jun 10, 2016
• Pages: 535-550
• Series Title: Advances in modal logic
• Series Number: 11
• Book Title: Advances in modal logic.
• Public URL: https://durham-repository.worktribe.com/output/1150318
• Publisher URL: http://www.collegepublications.co.uk/aiml/?00008
• Additional Information: Conference date: 29 August-2 September 2016