The strainer tests the strength of a definition of a particular kind. Suppose the definition D is stated in terms of an absence, and x is a definiendum of D. The strainer collects each x-token or x-individual that dissatisfies D in a specific case. Then, all the x-individuals put together would be equivalent to the type x. Hence—one would be forced to conclude that—in a sense, x dissatisfies D. This is a case of under-application of D, since, despite being a (...) definiendum of D, x dissatisfies D. Therefore, D would be too narrow. Similarly, the strainer may detect over-application too. By using the strainer, Raghunātha Śiromaṇi demonstrated that Gaṅgeśa’s conclusive definition of pervasion had a defect, and redefined pervasion. The strainer test is based on intuitive principles. It may disqualify a definition that has an absence in its definiens. Therefore, strainer-proofing becomes an important consideration that must be borne in mind every time we formulate such a definition. (shrink)

The present paper is a continuation of a previous one by the same title, the content of which faced the issue concerning the relations of coreference and qualification in compliance with the Navya-Nyāya theoretical framework, although prompted by the Advaita-Vedānta enquiry regarding non-difference. In a complementary manner, by means of a formal analysis of equivalence, equality, and identity, this section closes the loop by assessing the extent to which non-difference, the main issue here, cannot be reduced to any of the (...) former. The following sections of this study will focus on the assessment of the eventual possibility of causation and transformation in non-difference. (shrink)

This paper investigates Vācaspati Miśra’s remarkably complex argumentative architecture in support of non-difference by means of a microsimulation model, the classical gold-crown case. A full range of positions, including instantaneism, transformative continuum, indeterminate common basis reference, difference and non-difference coordination, etc., is put under the scrutiny of the Vācaspati Miśra’s dialectic effort. The possibility of coexistence of multiple properties with a single referent is then formally explored. The analysis is carried out in compliance with the ‘Navya-Nyāya Formal Language’ extensional set-based (...) approach and its non-predicative, and variables free, relational syntax. Repeatable modules and structures of reasoning are identified and designed in the form of hypothesis frameworks, axioms and theorems to allow more accurate inferences, in particular regarding transformation and permanence, together with possible or impossible plexuses of properties. Identity and difference qua mutual absence are thoroughly defined with the aid of these formal tools, which conjointly might cast new light on the heuristic and expressive power of Navya-Nyāya logic, as well as on the theoretical potentialities of the non-dualistic account. (shrink)