Pras’astapada in defining inference as the “knowledge of that (e.g. fire) associated with the reason (e.g. smoke) by the sight of the reason” described a valid reason (li@nga) as that which is connected with the object of inference (anumeya) and which exists wherever the object of inference exists and is absent in all cases
349
where it does not exist. This is indeed the same as the Nyaya qualifications of pak@sasattva, sapak@sasattva and vipak@sasattva_ of a valid reason (hetu). Pras’astapada further quotes a verse to say that this is the same as what Kas’yapa (believed to be the family name of Ka@nada) said. Ka@nada says that we can infer a cause from the effect, the effect from the cause, or we can infer one thing by another when they are mutually connected, or in opposition or in a relation of inherence (IX. ii. 1 and III. i. 9). We can infer by a reason because it is duly associated (prasiddhipurvakatva) with the object of inference. What this association was according to Ka@nada can also be understood for he tells us (III. i. 15) that where there is no proper association, the reason (hetu) is either non-existent in the object to be inferred or it has no concomitance with it (aprasiddha) or it has a doubtful existence sandigdha). Thus if I say this ass is a horse because it has horns it is fallacious, for neither the horse nor the ass has horns. Again if I say it is a cow because it has horns, it is fallacious, for there is no concomitance between horns and a cow, and though a cow may have a horn, all that have horns are not cows. The