Reasoning about Obligations in Obligationes: A Formal Approach

Uckelman, Sara L.

Abstract

Despite the appearance of `obligation' in their name, medieval obligational dispu- tations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in me- dieval texts involve Respondent reasoning about his obligations within the context of the disputation, it is clear that some sort of deontic reasoning is involved. In this paper, we explain how the reasoning diers from that in ordinary basic deontic logic, and dene dynamic epistemic semantics within which the medieval obligations can be expressed and the examples evaluated. Obligations in this framework are history- based and closely connected to action, thus allowing for comparisons with, e.g., the knowledge-based obligations of Pacuit, Parikh, and Cogan, and stit-theory. The con- tributions of this paper are twofold: The introduction of a new type of obligation into the deontic logic family, and an explanation of the precise deontic concepts involved in obligationes.

Citation

Uckelman, S. L. (2014, August). Reasoning about Obligations in Obligationes: A Formal Approach. Presented at The tenth Advances in Modal Logic conference (AiML-2014), Groningen, The Netherlands

• Presentation Conference Type: Conference Paper (published)
• Conference Name: The tenth Advances in Modal Logic conference (AiML-2014)
• Start Date: Aug 5, 2014
• End Date: Aug 8, 2014
• Online Publication Date: Jun 18, 2014
• Publication Date: Sep 1, 2014
• Deposit Date: Oct 7, 2014
• Publicly Available Date: Jun 10, 2016
• Pages: 553-568
• Book Title: Advances in modal logic. Volume 10.
• Public URL: https://durham-repository.worktribe.com/output/1154360
• Publisher URL: http://www.aiml.net/volumes/volume10/
• Additional Information: Conference date: 5 to 8 August 2014