This paper is taken from a long section of the _Tattva-cintā-maṇi_ by Gaṅgeśa that is devoted to proving the existence of—to use an inadequate word—“God” in a somewhat minimalist sense. The _īśvara_, the “Lord,” is for Gaṅgeśa, following Nyāya predecessors, a divine agent, a self, responsible for much, not all, of the order in the world. Unseen Force, _adṛṣṭa_, which is in effect _karman_ made by human action, is also a powerful agent as well as things’ intrinsic natures. Moreover, ordinary (...) selves, atoms, ether, and universals are uncreated. But the _īśvara_ brings about just desert in reincarnation in actualizing Unseen Force, and is responsible for a broad swathe of what some see as accidental arrangements as well as the forming of the macro elements from eternal, naturally _dis_joined atoms. Thus the cosmos in its general existence and structure is viewed in Nyāya as the work of the Lord. Gaṅgeśa’s argument runs: Earth and the like [_a_ (_pakṣa_) = earth and the like (_kṣity-ādi_)] have a conscious agent as a cause [S (_sādhya_) = having an agential cause (_sakartṛkatva_) (S_a_)], _since_ they are effects [H (_sādhana_) = being an effect [(_kāryatva_) (H_a_)], like a pot [_b_ (_dṛṣṭānta_) = a pot (H_b_,S_b_)]. And so the _vyāpti_ rule is: [H → S (_vyāpti_)] Whatever is an effect has an agential cause. For earth and the like, it is reasoned that only an omniscient _īśvara_ could be that cause. The argument was a target of Buddhists who pointed to counterexamples such as growing grass. Growing grass exhibits the prover property, being-an-effect, but not the property to be proved, having-an-agential-cause. The long section is dominated by Gaṅgeśa’s rebutting this and other potential defeaters, in particular, the _upādhi_, having-a-living-body (God does not have a living body but all the agential causes with which we are familiar do), along with a counterinference (_sat-pratipakṣa_), I_a_ & (x)(Ix → ¬Sx), where I = not-produced-by-an-agent-with-a-body. (shrink)

Previous studies have claimed that the term ‘all-inclusive pervasion’ ( sarvopasaṃhāravyāpti ) appeared for the first time in the Hetubindu , and that it was Dharmakīrti who created this theory. This article attempts to modify this view and to show that the prototype of this theory can already be found in Dignāga’s system of logic. Dignāga states in the third chapter of the Pramāṇasamuccayavṛtti that the co-existence of a logical reason with what is to be proved is understood by means (...) of two types of exemplification that sum up external items ( bāhyārthopasaṃhṛta ). Furthermore, with respect to where the pervasion is indicated, he states in the second chapter of the same work that the non-deviation of a logical mark from what is to be proved is indicated elsewhere ( anyatra ). He also implies that anyatra means in the substratum in general ( ādhārasāmānya ) and that the subject is implicitly included in other substrata, i.e., in the substratum in general. Building upon Dignāga’s awareness of the issue, the conflict between the universality of pervasion and the particularity of actual inference, Dharmakīrti reinforced Dignāga’s system of logic by demonstrating that a property to be proved as the universal is not particularised by the subject by the use of the idea of ‘the exclusion of nonconnection’ ( ayogavyavaccheda ) and by adopting the concept of ‘all’ in place of ‘external items’. (shrink)