This paper presents an integralist approach to Jaina logic. This is built around an analysis of the pivotal notion of antarvyāpti in Jaina logic. It is shown in this connection why antarvyāpti needs to be considered the ‘Core Perspective/problem’ of Jaina logic. Next, it is shown how all the salient features of Jaina logic (as viewed from its language-oriented perspective and the epistemic perspective respectively) stand intimately related to the so-called core perspective. In the remaining sections of the paper topics (...) like relationship of the core perspective i) to various non-standard systems of logic [DL, FL, NMR etc.,], ii) to the four pillars and to the eight MPC’s of Jaina philosophy, iii) to some bluntly unimaginative ways of looking at Jaina logic [e.g., Ducko-Rabbitism], iv) to the scheme of classification of propositions in Jaina logic, v) to the resulting conceptual economies related to methodology, and especially to a unified theory of Hetvābhāsa and, finally, vi) to a re-assessment of Frege-Husserl discord in the light of the significance of Jñānātmakatā vs Vākyātmakatā in Jaina logic, etc., have been discussed. (shrink)

Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structural correspondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use of (...) Euler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem to preclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśeṣika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya. (shrink)

Beginning from some passages by Vācaspati Miśra and Bhāskararāya Makhin discussing the relationship between a crown and the gold of which it is made, this paper investigates the complex underlying connections among difference, non-difference, coreferentiality, and qualification qua relations. Methodologically, philological care is paired with formal logical analysis on the basis of ‘Navya-Nyāya Formal Language’ premises and an axiomatic set theory-based approach. This study is intended as the first step of a broader investigation dedicated to analysing causation and transformation in (...) non-difference. (shrink)

B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.