We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Reasoning about obligations in Obligationes : a formal approach.

Uckelman, Sara L. (2014) 'Reasoning about obligations in Obligationes : a formal approach.', in Advances in modal logic. Volume 10. London: College Publications, pp. 553-568.


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.

Item Type:Book chapter
Full text:(AM) Accepted Manuscript
Download PDF
Publisher Web site:
Date accepted:No date available
Date deposited:10 June 2016
Date of first online publication:18 June 2014
Date first made open access:No date available

Save or Share this output

Look up in GoogleScholar