Valid Ways of Correctly Ascertaining That a Certain Property-Possessor Is a Member of the Set of Phenomena Possessing a Certain Property
Correctly ascertaining that a certain property-possessor (chos-can) is a member of the set of phenomena possessing a certain property (chos) is a conceptual process requiring valid inferential cognition (rjes-dpag tshad-ma). Valid inferential cognition is a correct and decisive conceptual cognition of an obscure phenomenon (lkog-gyur) through reliance on a line of reasoning (rtags) as its basis.
There are three types of inferential cognition: inferential cognition based on
- Being well-known (grags-pa’i rjes-dpag)
- The power of phenomena (dngos-stobs rjes-dpag, the power of evidence)
- Conviction (yid-ches rjes-dpag).
Through valid inferential cognition based on being well-known, we observe, through valid non-conceptual cognition, a defining characteristic (mtshan-nyid) in a property-possessor and infer that the property-possessor is a member of the set of phenomena defined and characterized by that defining characteristic. This is how we validly know that a particular piece of fruit we see in the market is an apple and apply to it the correct name.
Through valid inferential cognition based on the power of phenomena, we correctly and decisively know that a property-possessor is a member of the set of phenomena possessing that property, when that fact is slightly obscure (lkog-gyur), through proving it based on logical pervasions. This is how we know that the house with smoke coming out of it on the mountain over there belongs to the set of phenomena possessing a fire.
Through valid inferential cognition based on conviction, we correctly and decisively know the membership in a set when that fact is extremely obscure (shin-tu lkog-gyur). For example, how can we learn the name of a woman unknown to us whom we see in our friend’s photo album? We do not see any name written beneath the photo and we cannot figure it out by logic. The only way correctly and decisively to know her name is to ask our friend. Our friend answers “Mary.” We now validly know her name by inference based on conviction. We know that our friend has correct information and that he would not lie to us or pretend that he knows her name when he does not. Based on conviction in the truth of these two points, we infer that Mary is actually her name.
Valid Inferential Cognition of “Nonstatic”
Let us look at the use of non-Prasangika Indian logic for gaining valid inferential cognition based on the power of phenomenon. For example, we can validly infer that “sound is nonstatic” by relying on the reason “because it is something affected by causes (’dus-byas)” and the example “as is a vase.” In technical terms, what is to be established (sgrub-bya) is the entire thesis (sgrub-pa, logical proof) “sound is nonstatic (impermanent), because it is something affected by causes, as is a vase.”
- Although the Tibetan word for “thesis” and for “affirmation phenomenon” is the same, they translate two different Sanskrit words. A thesis is “sadhana” in Sanskrit, while an affirmation phenomenon is “vidhi.”
- Therefore, a thesis to be established by logic may be either an affirmation phenomenon or a negation phenomenon (dgag-pa). In this case, as we shall see, the thesis, which contains “nonstatic,” is a negation phenomenon according to the Kunkhyen textbooks used in the Gelug tradition. Although the other Gelug textbook traditions argue that nonstaticness is an affirmation phenomenon, we shall follow the Kunkhyen position here.
To establish a thesis requires reliance on three components of a valid reason (tshul-gsum):
- Applicability to the topic (phyogs-chos) – the reason (rtags) must apply to the topic (phyogs) of the thesis; it must be a property of the thesis. Here it does apply. Sound, as the topic of the thesis, is something affected by causes.
- Pervasion (rjes-khyab) – the reason must apply to a homogenous item (mthun-phyogs, rang-phyogs) given as an example and to the analogous set of all phenomena sharing the property to be established. All phenomena that are nonstatic are things that are affected by causes. The homogeneous example of a nonstatic phenomenon that is affected by causes is a vase.
- Negative pervasion (ldog-khyab) – the reason must not apply to a heterogeneous item (mi-mthun phyogs, gzhan-phyogs) given as an example and to the counter-set of all phenomena lacking the property to be established. All phenomena that are not nonstatic (all static, permanent phenomena) are not affected by causes. The heterogeneous example of a static phenomenon that is unaffected by causes is space.
Based on these three components of a valid reason, we validly infer and cognize the conclusion, “sound is nonstatic.”
The “nonstaticness of sound” is a negation phenomenon. Valid conceptual cognition of it through inference required previously apprehending the counter-set “static phenomena” and precluding (cutting off, dismissing, rejecting) it. The preclusion was the third step of the line of reasoning: the reason must not apply to the counter-set.
Refutations in Non-Prasangika Indian Logic
We must be careful not to confuse a negation phenomenon with the technical term refutation (sun-’byung-ba, Skt. dushana). Although in English, “a refutation” can mean several different things, in non-Prasangika Indian logic, “refutation” refers to the refutation of a proof.
The refutation of a proof may be based on a fault in the thesis, the reason, or the examples.
- A fault in the thesis would be that it contradicts valid bare cognition. Any line of reasoning used to try to establish that sound is static would be refuted, because the staticness of a sound contradicts the evidence of the valid hearing of a sound.
- Faults in the reason may be that its connection with the homogeneous example and analogous set is unestablished, inconclusive, or contradictory to the fact. Sound is nonstatic cannot be established by the reason “because it is loud” or “because it is unaffected by causes.” Not all nonstatic phenomena are loud, and no nonstatic phenomenon is unaffected by causes.
- Faults in the examples may be that their connections with the homogeneous example and analogous set or heterogeneous example and counter-set may be unestablished, inconclusive, or contradictory. Sound is nonstatic because it is affected by causes cannot be established by the heterogenous example, like space.
Thus, in non-Prasangika Indian logic, a refutation is not a refutation of an object to be negated (dgag-bya).
The Difference between Non-Prasangika and Prasangika Logic
Prasangika logic is different from the non-Prasangika form.
 Non-Prasangika logic aims to establish or prove a thesis regarding whether or not a certain property applies to a property-possessor. The property may be either an affirmation phenomenon or a negation one. By relying on a line of reasoning in which the reason has the three components mentioned above, we may establish that sound is nonstatic, or that space is static.
Implicit in this logic is the belief that what establishes the existence (the valid knowability) of phenomena, such as the relation between a property-possessor and a property is truly existent logical pervasions on the side of objects. For example, the pervasion that all nonstatic phenomena are affected by causes is established from the side of the phenomena themselves, like some findably existent fact.
 Prasangika does not accept that the existence of phenomena, such as the relations between property-possessors and properties is established by findable, truly existent logical pervasions on the side of phenomena. It does not even accept that the existence of property-possessors is established by some truly findable individual characteristics on their own sides (like solid lines around them) that make them individual validly knowable items. The issue of what does and does not exist depends solely on the validity of the mind that cognizes it.
The aim of Prasangika logic, then, is to refute ways of thinking that are false because they relate certain properties to property-possessors to which they do not validly apply. Those properties may be either affirmation phenomena or negation ones. Thus, Prasangika logic aims to disprove a thesis, rather than to prove one. It does not rely on lines of reasoning containing the three components, but relies instead on absurd conclusions (thal-’gyur, Skt. prasanga) that would follow if the inapplicable property explicitly did apply to the inappropriate possessor. By examining the absurd conclusions that would follow if, for instance, sound were static, we refute the thesis that sound is static. Thus, we validly cognize, inferentially, that sound is nonstatic.
We validly know that a conclusion is absurd if one or more of the following criteria, regarding the mind that cognizes and believes it, are satisfied. The cognition is inaccurate because it is contradicted by:
- Valid minds that share the same conventions (tha-snyad) of the terms we are using
- Valid minds that cognize the superficial truths (kun-rdzob bden-pa, conventional truth, relative truth) of things – what they appear to be
- Valid minds that cognize the deepest truth (don-dam bden-pa, ultimate truth) of things – what does and does not establish the existence (the valid knowability) of things.
The “nonstatic” derived from the conceptual preclusion of the object to be negated (“static”) through non-Prasangika logic, then, is not the same as the “nonstatic” derived from conceptual preclusion by Prasangika logic. This is because the methods for precluding the object to be negated are different.
- Non-Prasangika precludes an object to be negated through asserting three logical pervasions that truly and findably exist on the sides of objects.
- Prasangika precludes it through thorough examination of the absurd conclusions that follow if the object (the property) to be negated applied to the property-possessor.
- Non-Prasangika preclusion of an object to be negated does not derive from a refutation based on exposing faults in logic.
- Prasangika preclusion of an object to be negated derives from a refutation of the faults that would follow if the conclusion were true. Non-Prasangika preclusion does not derive from this type of refutation either.