Conveying prescriptions: The Mīmāṃsā understanding of how prescriptive texts function

The Mīmāṃsā school of Indian philosophy has at its primary focus the exegesis of Sacred Texts (called Vedas), and more specifically of their prescriptive portions, the Brāhmaṇas. This means that the epistemic content conveyed by the Vedas is, primarily, what has to be done. In order words, the Veda is an epistemic authority only insofar as it conveys a deontic content.

Ritual prescriptions in Śrautasūtras: Why they are interesting (first part)

I am working on the formalisation of the prescriptions regarding the Full- and New-Moon sacrifices in the Baudhāyana Śrautasūtra. In Kashikar’s edition, they cover about 32 full pages of Sanskrit. And they are overtly boring in their pedantic prescription of each sacrificial detail. Thus, instead of reading the BaudhŚrSū, have a look at what follows for what is interesting in them:

A non-funded project on deontic logic —And some general notes on peer-reviewing projects

Some months ago, departing from Decemeber 2013, I started working on a fascinating project, the formalisation of the deontic logic of some Mīmāṃsā authors (Kumārila, Prabhākara and Maṇḍana). Given that I am not an expert on formal logic, the project has been conceived together with some colleagues working on formal logic and on the IT tools for automating it. After some preliminary work, we submitted a project within the “Mathematics and…” call of the WWTF. The other principal investigator was Agata Ciabattoni and the other collaborators were Björn Lellmann and Ekaterina Lebedeva. Agata and Björn would have been working with me on selecting the logical rules from the relevant Sanskrit texts, translating them in formal logical language and developing automated deduction methods to reason about them.
Ekaterina, as a linguist and an expert of the intersection of language and logic, would have taken care of the fact that our translations of Sanskrit passages into logical rules did not entail logical ambiguities.

CfP: Language as a tools for acquiring Knowledge (Atiner conference)

If you have been following this blog or my previous one you will know that I have been looking for chances for cross-cultural philosophy since many years. You will also know that I have been thinking at the Atiner Conference as a good chance to discuss about Indian themes as part of Philosophy tout court and not within the small ghetto of Indian Philosophy for Indologists.

This year, Malcolm C. Keating (University of Texas, Austin) and I will be hosting a panel at the next Atiner conference in Athens, 25–28 May 2015. If you are interested to join, read the following CfP and drop a line either in the comments or at my personal address. (more…)

Who studied Mīmāṃsā deontics?

Since Mīmāṃsā (both in its Bhāṭṭa and in its Prābhākara subschools) focused primarily on the exegesis of the prescriptive portion of the Vedic Sacred Texts, the Mīmāṃsā texts offer richly developed discussions of deontic issues, both from a linguistic and from a logic point of view. Unfortunately, the lack of philosophically accessible translations has made most of such discussions remain confined to Sanskritists.

Possible applications of Mīmāṃsā deontics: on Chaudhuri and Vardi

There are fields in which the contribution of applied ethics and deontics are more than needed, such as that of the programming of artificial intelligence connected to robots which might interact with human beings. Chaudhuri and Vardi (their article can be downloaded here) quote the following case:

Do you think that Sanskrit is hard? Have a look at what our fellow logicians are doing! —On Srinivasan and Parthasarathi 2012

This article uses Mīmāṃsā tools for a non-exegetical purpose, i.e., in order to build a system of representations of imperatives. The purpose of the system is even further away, since it regards Artificial Intelligence. In fact, the authors start with the (evident, but often overlooked) observation that we communicate with computers mostly through imperatives and not assertive statements (do this, then if x, then do z…).