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)

In his article ‘The Structure of Emptiness’, 467–80. doi: 10.1353/pew.0.0069[Crossref], [Web of Science ®] [Google Scholar]) Graham Priest examines the concept of emptiness in the Mādhyamaka school of Nāgārjuna and his commentators Candrakīırti and Tsongkhapa from a mathematical point of view. The approach attempted in this article does not involve any commitment to Priest's more controversial dialethic Mādhyamaka interpretation. The purpose of the present paper is to explain Priest's sketchy but very insightful interpretation of objects as non-well-founded sets in greater (...) detail. Some problems concerning his idea to model the Mādhyamaka claim of the emptiness of emptiness by means of this kind of framework will be noted. Moreover, we will also discuss the possibility to represent the Mādhyamika's denial of the existence of irreducible constituents of empirical reality within a well-founded system of set theory. Finally, some slight mistakes in Priest's mathematical construction need to be pointed out. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Some Ideas Concerning Stephen Phillips' Jewel of Reflection on the Truth about Epistemology:A Complete and Annotated Translation of the Tattva-cintā-maṇiEberhard Guhe (bio)Stephen Phillips' Jewel of Reflection on the Truth about Epistemology (see Phillips 2020) is surely a landmark achievement in the realm of research on Navya-Nyāya. It is a work of reference not only for specialists but also for a broader audience of philosophically interested readers. Phillips has demonstrated (...) his expertise on Nyāya in general in many previous publications. At present, there is probably hardly anybody else who would have been better qualified to accomplish the mammoth task of translating and elucidating such a complex and voluminous Sanskrit work as the Tattvacintāmaṇi. It should however be noted that there is another edition and annotated translation of the Tattvacintāmaṇi (excluding the Upamānakhaṇḍa) by V.P. Bhatta (see Bhatta 2005, 2012, 2021), which is rather addressed to specialists, who are proficient in Sanskrit. The two volumes on the Anumānakhaṇḍa were published in 2021 (one year after the publication of Phillips' three volumes). Considering the enormous size of such a book project, the result cannot be expected to be completely flawless. The present review focuses on the introduction in volume 1 and on volume 2. I will address some minor issues, primarily methodological ones, but I will also address a few more serious (albeit surely accidental) translation errors (especially in the Siddhāntalakṣaṇa-section of the Vyāptivāda), which can lead to a misunderstanding of Gaṅgeśa's stance on a pivotal topic of the Navya-Naiyāyikas, namely the correct definition of the concept of pervasion (vyāpti).IThe introduction is very insightful. However, logicians will probably stumble over Phillips' methods of formalization. Some examples are given below. [End Page 498](1) The language of Phillips' formalizations looks a bit like a first-order language. Thus, for example, he uses "Ha" as a formal equivalent of the sentence "The mountain is smoky" (see vol. 1, p. 18). An obvious deviation from first-order conventions consists in the fact that Phillips uses at least two types of negation. Propositional negation is expressed by means of the symbol "~" (see vol. 2, p. 668; unfortunately, this symbol is not mentioned in vol. 1, pp. 18–19, where Phillips introduces his formalization techniques). Moreover, Phillips uses the negation symbol "¬," which he applies to capital Roman letters, in order to express a kind of term negation. Thus, for example, "¬H" may serve as a term referring to "the absence of the probans" (vol. 2, p. 623). To be precise, the type of absence which "¬H" refers to is a so-called "relational absence" (saṃsargâbhāva). Phillips formalizes the so-called "mutual absences" (anyonyâbhāva) differently (see below).Although "¬Hc" (see vol. 1, p. 18) looks like an ordinary first-order wff, it should more accurately be read as "The absence of H is located at c." Properly speaking, we should then also read atomic wffs like "Hc" as "H is located at c," where "H" should not be regarded as an expression of a predicate like "… is smoky," but rather as a general term, that is, as a formal counterpart of expressions like, for example, "smoke."Unfortunately, Phillips renders the meaning of wffs of the form "¬ϕx" not as "the absence of H is located at x," but in a somewhat simplified manner, which obscures the fact that he treats the negation symbol "¬" as a means to express a term negation: "And negation is term negation, not propositional negation [author's note: as we have just seen, this is not true of all kinds of negation which Phillips refers to in his formalizations, since he uses the "~" in a different sense]; thus, the negative sign '¬' in '¬ϕx' is defined as 'ϕ is absent at x'" (vol. 1, p. 19).Moreover, the use of different kinds of letters for the variables in "¬ϕx" (Greek and Roman) seems to suggest that the absentee should always be the referent of a general term. However, expressions of the form "the absence of a is... (shrink)

Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 63 Heft: 6 Seiten: 1150-1157.

The present paper is about three concepts which are crucially involved in Gaṅgeśa's interpretation of a Mīmāṃsā argument against the well-known design inference of the existence of God in Nyāya, namely the concepts “cognition” (jñāna), “certitude” (niścaya) and “doubt” (saṃśaya). According to Maheśa Chandra, the author of the Navya-Nyāya manual Brief Notes on the Modern Nyāya System of Philosophy and its Technical Terms, certitude and doubt are the two varieties of cognition. He illustrates the verbal expression of certitudes by means (...) of declaratives and the verbal expression of doubts by means of interrogatives (functioning as polar or alternative questions). He notes also that different credence levels might be associated with the alternatives involved in a speaker’s doubt. A biassed question in the form of a tag interrogative might be an appropriate way to express such a doubt. In Western logic the idea to treat declaratives and interrogatives on a par, which is anticipated by the Navya-Naiyāyikas' use of the unifying concept of “cognition”, goes back to Frege’s distinction between the semantic content (the “thought”) of a sentence and its force and it was recently elaborated by Ciardelli, Farkas, Groenendijk, Roelofsen et al., the founders of a new branch in logic called “inquisitive logic”. In the present paper we will discuss Maheśa Chandra's succinct exposition of the Navya-Naiyāyikas' innovative approach from the perspective of this type of logic. As an offshoot of our analysis we will try to elucidate Gaṅgeśa's apologetic concerns about the well-known design inference of the existence of God in Nyāya and its liability to be vitiated by a dubious upādhi. (shrink)

Proceedings of 2 international conferences held at the University of Mainz and at Fudan University/Shanghai.

The evaluation of arguments was not the sole concern of logicians in ancient India. Early Nyāya and the later Navya-Nyāya provide an interesting example of the interaction between logic and ontology. In their attempt to develop a kind of property-location logic Naiyāyikas had to consider what kind of restrictions they should impose on the residence relation between a property and its locus. Can we admit circular residence relations or infinitely descending chains of properties, each depending on its successor as its (...) locus? Early Naiyāyikas and to some extent also Navya-Naiyāyikas regard these phenomena as a kind of absurdity and they want to rule them out. Their intuitions about properties are close to well-founded systems of set theory, whereas the author of the Navya-Nyāya work Upādhidarpaṇa is a proponent of a non-well-founded property concept. Despite certain similarities with sets properties are still regarded as intensional objects in Navya-Nyāya. In the pre.. (shrink)