Artificial Intelligence and Law 29 (3):351-394 (2021)

Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic \. Sequent calculus is then used to close a set of prima-facie injunctions under a restricted form of monotonicity, using specificity to avoid conflicts. We establish decidability and complexity results, and investigate the potential use of the resulting system for Mīmāṃsā philosophy and, more generally, for the formal interpretation of normative statements.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10506-020-09278-w
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,295
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Reasons as Defaults.John Horty - 2007 - Philosophers' Imprint 7:1-28.

View all 29 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Zasada Aglomeracji I Dylematy Moralne.Marcin Drofiszyn - 2020 - Studia Philosophica Wratislaviensia 14 (4):89-104.
Deontic Norms, Deontic Reasoning, and Deontic Conditionals.Sieghard Beller - 2008 - Thinking and Reasoning 14 (4):305 – 341.
Adaptive Domains of Deontic Reasoning.Laurence Fiddick - 2006 - Philosophical Explorations 9 (1):105 – 116.
Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.


Added to PP index

Total views
7 ( #1,037,635 of 2,448,687 )

Recent downloads (6 months)
3 ( #225,345 of 2,448,687 )

How can I increase my downloads?


My notes