Mīmāṃsā Deontic Logic: Proof Theory and Applications

  • Agata Ciabattoni
  • Elisa Freschi
  • Francesco A. Genco
  • Björn Lellmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9323)


Starting with the deontic principles in Mīmāṃsā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas.


Modal Logic Sequent Calculus Deontic Logic Proof Search Neighbourhood Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abraham, M., Gabbay, D.M., Schild, U.: Obligations and Prohibitions in Talmudic Deontic Logic. Artificial Intelligence and Law 2-3, 117–148 (2011)Google Scholar
  2. 2.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)Google Scholar
  3. 3.
    Chaudhuri, S., Vardi, M.: Reasoning about machine ethics. POPL-OBT (2014)Google Scholar
  4. 4.
    Chellas, B.F.: Modal Logic. Cambridge University Press (1980)Google Scholar
  5. 5.
    Freschi, E.: Duty, language and exegesis in Prābhākara Mīmāṃsā. Jerusalem Studies in Religion and Culture, vol. 17, Brill (2012)Google Scholar
  6. 6.
    Freschi, E., Ciabattoni, A., Genco, F.A., Lellmann, B.: Understanding prescriptive texts: rules and logic elaborated by the Mīmāṃsā school. International Conference on Philosophy ATINER (2015)Google Scholar
  7. 7.
    Gabbay, D.M., Horty, J., Parent, X. (eds.): Handbook of Deontic Logic and Normative Systems, vol. 1. College Publications (2013)Google Scholar
  8. 8.
    Ganeri, J.: Towards a formal representation of the Navya-Nyāya technical language. In: Logic, Navya-Nyāya & Applications, pp. 109–124. College Publications (2008)Google Scholar
  9. 9.
    Goble, L.: Prima facie norms, normative conflicts, and dilemmas. In: Gabbay et al. [7], pp. 241–351Google Scholar
  10. 10.
    Goré, R.: Tableau methods for modal and temporal logics. In: D’Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297–398. Kluwer, Dordrecht (1999)CrossRefGoogle Scholar
  11. 11.
    Hilpinen, R.: Deontic logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 159–182. Blackwell, Malden (2001)Google Scholar
  12. 12.
    Indrzejczak, A.: Sequent calculi for monotonic modal logics. Bull. Sect. Log. 34(3), 151–164 (2005)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Kane, P.V.: History of Dharmaśāstra. Ancient an Mediaeval Religious and Civil Law in India, vol. 2. Bhandarkar Oriental Research Institute (1962)Google Scholar
  14. 14.
    Kleene, S.C.: Introduction to Metamathematics. North-Holland (1952)Google Scholar
  15. 15.
    Lellmann, B.: Sequent Calculi with Context Restrictions and Applications to Conditional Logic. Ph.D. thesis, Imperial College London (2013),
  16. 16.
    Lellmann, B., Pattinson, D.: Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS (LNAI), vol. 7750, pp. 148–160. Springer, Heidelberg (2013)Google Scholar
  17. 17.
    Orlandelli, E.: Proof analysis in deontic logics. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS(LNAI), vol. 8554, pp. 139–148. Springer, Heidelberg (2014)Google Scholar
  18. 18.
    Stcherbatsky, T.I.: Über die Nyāyakaṇikā des Vācaspatimiśra und die indische Lehre des kategorischen Imperativ. In: Kirfel, W. (ed.) Beiträge zur Literaturwissenschaft und Geistesgeschichte Indiens. Festgabe Hermann Jacobi zum 75, Geburtstag, pp. 369–380. Kommissionsverlag F. Klopp, Bonn (1926)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Agata Ciabattoni
    • 1
  • Elisa Freschi
    • 2
  • Francesco A. Genco
    • 1
  • Björn Lellmann
    • 1
  1. 1.TU WienViennaAustria
  2. 2.Institute for the Cultural and Intellectual History of AsiaAustrian Academy of SciencesViennaAustria

Personalised recommendations