Principle of non contradiction in Mīmāṃsā (and other Sanskrit schools) UPDATED

Again as part of my collaboration with (Western) logicians (about which you can read this post and the further ones linked from it), I was confronted with the question of whether Classical (Aristotelian) Logic applies to Mīmāṃsā. For the ones of you who have stopped studying logic long ago, this amounts to ask whether Mīmāṃsā authors would agree that at each given time, either A or “non-A” is true (and, as a consequence, that there is no middle way between these two alternatives, or tertium non datur).

Deontic logic applied to Sacred Texts

I discussed already in several previous posts a project on the application of deontic logic to the understanding of the Mīmāṃsā exegesis of the Vedas. Now, the project leader, Agata Ciabattoni, made me ponder about a question I should have considered long ago, namely whether someone else has been applying deontic logic to other Sacred Texts.

At first sight, I would have thought that this would have certainly been the case, given that Sacred Texts are, at least in part, prescriptive texts.