Mīmāṁsā, an Indian hermeneutics provides an exhaustive methodology to interpret Vedic statements. A formalism namely, Mīmāṁsā Inspired Representation of Actions has already been proposed in a preliminary manner. This paper expands the formalism logically and includes Syntax and Semantics covering Soundness and Completeness. Here, several interpretation techniques from Mīmāṁsā have been considered for formalising the statements. Based on these, instructions that denote actions are categorized into positive and prohibitive unconditional imperatives and conditional imperatives that enjoin reason, temporal action and goal. (...) These instructions are evaluated to three values S, V and N. If the instruction is executed with the intention of goal, then it acquires the value of S; if the intention of goal is present and the instruction is not executed, then it assumes the value of V; and if there is no intention of goal, then the instruction is evaluated to N. This formalism has also been applied in different computational settings such as AI planning, Robotics, task analysis and classification of natural language instructions. An outline of these applications and the comparison of this formalism with other relevant theories are also presented in this paper. (shrink)

The Mīmāṃsā mission of disambiguating Vedic texts led the thinkers of the tradition to confront several instances of apparently conflicting Vedic commands. Consider the two cases: ‘give alms daily’ vs ‘do not give alms during ritual X’, and ‘never harm another’ vs ‘sacrifice an animal during ritual Y’. Each command in these two cases is derived from the Vedas and Mīmāṃsā authors thus attempted to resolve such cases of deontic conflict by putting forth hermeneutic solutions, without taking recourse to any (...) other epistemic source. In this paper, I present several instances of conflicting Vedic commands and indicate three distinct types of deontic conflicts as well as their corresponding solutions as identified by Mīmāṃsā thinkers. This study is based on discussions put forth in four important Mīmāṃsā texts: the Pūrvamīmāṃsāsūtra, the Śābarabhāṣya, Kumārila’s Ṭupṭīkā and Āpadeva’s Mīmāṃsānyāyaprakāśa. I explain the foundational difference between prescriptions and prohibitions for Mīmāṃsā thinkers, and thereby also discuss several technical conceptions such as paryudāsa, vikalpa, prāpti and bādha among others. In doing so, I attempt to highlight certain fundamental tenets of the vast and intricate hermeneutic framework developed within the Mīmāṃsā tradition. (shrink)

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. (shrink)

In the present paper we model the Navya-Nyāya analysis of Vedic and secular injunctions and prohibitions by means of Giordani’s and Canavotto’s system ADL of dynamic deontic logic. Navya-Naiyāyikas analyze the meaning of injunctions and prohibitions by reducing them to plain indicative statements about certain properties whose presence or absence in the enjoined or prohibited action serves as a criterion for the truth or falsity of the “inducing” or “restraining knowledge”, a kind of qualificative cognition instilled in the recipient of (...) an injunction or prohibition. Thus, Navya-Naiyāyikas have found their own way to solve Jørgensen’s Puzzle concerning the very idea of a deontic logic as a tool to analyze arguments based on sentences which do not seem to be truth-apt. The teleological aspect of the Navya-Nyāya characterization of an enjoined or prohibited action can also give a clue to solutions of other puzzles and paradoxes which have beset the development of deontic logic in the West. A specific contrary-to-duty puzzle from the Indian tradition is related to the śyena, a malefic sacrifice meant for harming one’s enemy. The Vedic injunction to perform such a sacrifice runs counter to a religious practitioner’s duty not to harm a living being. In the present paper we examine the cogency of the very different solutions to this dilemma suggested by the Mīmāṃsaka Prabhākara on the one hand and the Navya-Naiyāyika Gaṅgeśa on the other hand. (shrink)

The article offers an overview of the deontic theory developed by the philosophical school of Mīmāṃsā, which is, and has been since the last centuries BCE, the main source of normative concepts in Sanskrit thought. Thus, the Mīmāṃsā deontics is interesting for any historian of philosophy and constitutes a thought-provoking occasion to rethink deontic concepts, taking advantage of centuries of systematic reflections on these topics. Some comparison with notions currently used in Euro-American normative theories and metaethical principles is offered in (...) order to show possible points of contact and deep divergences. In more detail, after an introduction explaining the methodology and aims of our work, we discuss how Mīmāṃsā authors distinguished and defined some fundamental deontic concepts, such as different types of prescriptions and prohibitions. We then discuss how Mīmāṃsā authors approached the problem of conflicts among commands without jeopardising the validity of the normative text issuing them. In the second part of the article we introduce our formal apparatus, which is construed around the main taxonomic and conceptual distinctions used in the first part. Our formal rendering captures the most important features of the Mīmāṃsā theory and can thus serve as a concise and rigorous presentation of it for scholars working in deontic logic. (shrink)