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

DOI10.1007/978-3-319-24312-2_22zbMATH Open1471.03042arXiv1705.03211OpenAlexW2178206589MaRDI QIDQ3455779FDOQ3455779

Authors: Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann 

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: Starting with the deontic principles in M={i}m=ad{m}s=a 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.

Full work available at URL: https://arxiv.org/abs/1705.03211

Recommendations

• Proof analysis in deontic logics
• An intuitionistic reformulation of Mally's deontic logic
• An alternative intuitionistic version of Mally's deontic logic
• Mally's deontic logic: reducibility and semantics
• A Complete and Compact Propositional Deontic Logic
• Andersonian deontic logic, propositional quantification, and Mally
• Deontic logic based on inquisitive semantics
• Deontic action logics via algebra
• scientific article; zbMATH DE number 1163367

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tableau methods for modal and temporal logics
• Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
• Mīmāṃsā Deontic Logic: Proof Theory and Applications
• Title not available (Why is that?)
• Sequent calculi for monotonic modal logics
• Obligations and prohibitions in Talmudic deontic logic
• Title not available (Why is that?)
• Prima facie norms, normative conflicts, and dilemmas
• Proof analysis in deontic logics

Cited In (6)

• Resolving conflicting obligations in Mīmāṃsā: a sequent-based approach
• Mīmāṃsā Deontic Logic: Proof Theory and Applications
• Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions
• The gentle murder paradox in Sanskrit philosophy
• Deontic paradoxes in Mīmāṃsā logics: there and back again
• An intuitionistic reformulation of Mally's deontic logic

This page was built for publication: Mīmāṃsā Deontic Logic: Proof Theory and Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455779)