________________
589.
What is the recognition of the equality type (Sadasya pratyabhi gnan)?
Knowledge that distinguishes similarity of different subjects of the memory and the their recognition is called the recognition of the equality type (Sadsya Pratyabhi Gnan). For example, the cow is similar to a horse.
atyabhi Gnangnition is called "milarity of different
590. What is logic (Tark)?
The knowledge of universal concomitance (Vyapti) is called the logic.
591. What is the universal concomitance (Vyapti)?
The inherent relationship (Avinabhav sambandh) among subjects is called universal concomitance.
592. What is the inherent relationship (Avinabhav sambandh)?
Wherever there is the presence of a thing that proves (Sadhan), then there is always the presence of things to be proven (Sadhya). Whenever there is an absence of things to be proven, then there is also an absence of things that prove. This is called the inherent relatonship (Avinabhav sambandh). For example, wherever there is smoke, there is a fire. Whenever fire is absent, then the smoke is also not present.
593. What is the thing that proves (Sadhan)?
One that is always accompanied by the things to be proven (Sadhya) is called the thing that proves (Sadhan). For example, for fire, the thing that proves (Sadhan) is the smoke.
594. What is the thing to be proven (Sadhya)?
The thing which is desirable (Ista), unobstructed (Abadhit), and not arrivable at by inference (Asidhdha) is called the thing to be proven (Sadhya).
595.
What is called "desirable" (Ista)?
Desirable (Ista) is a thing that the plaintiff (Vadi) and the defendant (Prativadi) both try to obtain.
144
