Anumāna & Nyāya Inference

Anumāna = Knowledge derived through logical inference — from a known sign (hetu/liṅga) to the unknown (sādhya).

Key Points:

• Based on logical reasoning from observed to unobserved.
• Requires Vyāpti (invariable concomitance) — the universal relationship between hetu and sādhya.
• Accepted by all Indian philosophical schools.
• Essential for Nyāya logic.

Example:

• Seeing smoke on a hill → There is fire on the hill.
• Hetu (sign): Smoke
• Sādhya (inferred): Fire
• Vyāpti: Wherever there is smoke, there is fire.

• Pakṣa (पक्ष) — Subject/Locus: The object or subject about which inference is made. (e.g., The hill)
• Sādhya (साध्य) — Inferred: The proposition/quality to be proved. (e.g., Fire)
• Hetu / Liṅga (हेतु/लिङ्ग) — Reason/Sign: The known sign or reason from which inference is drawn. (e.g., Smoke)

Example:

• Pakṣa: The hill
• Sādhya: There is fire
• Hetu: Because there is smoke

Vyāpti = The universal and invariable relationship between the hetu (reason) and sādhya (inferred).

Key Points:

• Vyāpti is the foundation of inference.
• It is the invariable concomitance — wherever hetu is present, sādhya is present.
• Two types:
  • Anvaya-vyāpti: Positive concomitance (Where there is smoke, there is fire)
  • Vyatireka-vyāpti: Negative concomitance (Where there is no fire, there is no smoke)

Example:

• Anvaya: Wherever there is smoke, there is fire.
• Vyatireka: Wherever there is no fire, there is no smoke.

• Sapakṣa (सपक्ष) — Positive Instance: An example where the sādhya (inferred) is present. It supports the inference.
• Vipakṣa (विपक्ष) — Negative Instance: An example where the sādhya (inferred) is absent. It helps test the inference.

Example (Smoke → Fire):

• Sapakṣa (Positive): A kitchen where there is fire and smoke.
• Vipakṣa (Negative): A lake where there is no fire and no smoke.

Note: For a valid inference, the hetu must be present in the pakṣa, present in all sapakṣas, and absent in all vipakṣas.

Pakṣadharmatā = The presence of the hetu (reason) in the pakṣa (subject).

Key Point: This is one of the three conditions for a valid hetu (along with sapakṣa-sattva and vipakṣa-asattva).

Example:

• Pakṣa: The hill.
• Hetu: Smoke.
• Pakṣadharmatā: The hill must have smoke (the hetu must be present on the hill).
• If the hill does not have smoke, the inference cannot be made.

• Svārthānumāna (स्वार्थानुमान) — Inference for oneself: The process of reasoning within one's own mind to arrive at a conclusion. It is the internal, personal process of inference.
• Parārthānumāna (परार्थानुमान) — Inference for others: The formal expression of inference to communicate the reasoning to others. It is the syllogistic, verbal presentation.

Example:

• Svārthānumāna: Seeing smoke on a hill and internally concluding "There must be fire."
• Parārthānumāna: Expressing this as a formal syllogism to convince another person.

Three types of inference based on the nature of reasoning:

• Pūrvavat (पूर्ववत्) — Inference from Cause to Effect: Inferring the effect from the cause. (e.g., Seeing dark clouds → It will rain)
• Śeṣavat (शेषवत्) — Inference from Effect to Cause: Inferring the cause from the effect. (e.g., Seeing a river in flood → It rained upstream)
• Sāmānyatodṛṣṭa (सामान्यतोदृष्ट) — Inference based on Generalization: Inference based on a general observation or analogy not directly seen. (e.g., Inferring the existence of atoms from the perception of composite objects)

• Kevalānvayi (केवलान्वयी) — Only Positive: The hetu is present only in positive instances (sapakṣa), and there is no negative instance (vipakṣa) where the hetu is absent. (e.g., "Knowable" is present in all things)
• Kevalavyatireki (केवलव्यतिरेकी) — Only Negative: The hetu is established only through negative concomitance. (e.g., "Non-different from the self" is known only by absence)
• Anvayavyatireki (अन्वयव्यतिरेकी) — Both Positive and Negative: The hetu is present in positive instances and absent in negative instances. (e.g., Smoke → Fire; where there is no fire, there is no smoke)

The Nyāya school uses a five-member syllogism (Pañcāvayava) for formal inference (Parārthānumāna).

Five Members:

• 1. Pratijñā (प्रतिज्ञा) — Proposition/Statement: The thesis to be proved. "The hill has fire."
• 2. Hetu (हेतु) — Reason: The reason given for the proposition. "Because it has smoke."
• 3. Udāharaṇa (उदाहरण) — Example/Instance: A general example supporting the relation. "Wherever there is smoke, there is fire, as in a kitchen."
• 4. Upanaya (उपनय) — Application: Applying the general rule to the specific case. "The hill has smoke (like a kitchen)."
• 5. Nigamana (निगमन) — Conclusion: The final conclusion. "Therefore, the hill has fire."

• Anumāna: Inference — knowledge from a sign.
• Pakṣa: The subject/locus of inference.
• Sādhya: What is to be proved.
• Hetu/Liṅga: The reason/sign.
• Vyāpti: Invariable concomitance between hetu and sādhya.
• Sapakṣa: Positive instance (where sādhya is present).
• Vipakṣa: Negative instance (where sādhya is absent).
• Pakṣadharmatā: Hetu must be present in the pakṣa.
• Svārthānumāna: Inference for oneself (internal).
• Parārthānumāna: Inference for others (formal syllogism).
• Pūrvavat: Cause → Effect
• Śeṣavat: Effect → Cause
• Sāmānyatodṛṣṭa: Generalization/analogy
• Kevalānvayi: Only positive hetu
• Kevalavyatireki: Only negative hetu
• Anvayavyatireki: Both positive and negative
• Nyāya Five-Member: Pratijñā → Hetu → Udāharaṇa → Upanaya → Nigamana

• Trap 1: Vyāpti = hetu → ❌ Vyāpti is the universal relation between hetu and sādhya.
• Trap 2: Pakṣa = the inference itself → ❌ Pakṣa is the subject about which inference is made.
• Trap 3: Hetu and Liṅga are different → ❌ They are the same (reason/sign).
• Trap 4: Sapakṣa = where hetu is present → ❌ Sapakṣa is where sādhya is present.
• Trap 5: Pakṣadharmatā = sādhya in pakṣa → ❌ It is hetu in pakṣa.
• Trap 6: Svārthānumāna = formal syllogism → ❌ It is internal reasoning; Parārthānumāna is formal.
• Trap 7: Pūrvavat = effect to cause → ❌ Pūrvavat = cause to effect; Śeṣavat = effect to cause.
• Trap 8: Nyāya five-member = only three members → ❌ It has five members (Pratijñā, Hetu, Udāharaṇa, Upanaya, Nigamana).
• Trap 9: Anvayavyatireki = only positive → ❌ It has both positive and negative concomitance.

In the inference "The hill has fire because it has smoke," what is the Hetu?

• A. The hill
• B. Fire
• C. Smoke
• D. Kitchen

Explanation: Hetu is the reason/sign — smoke is the sign from which fire is inferred.

"Wherever there is smoke, there is fire" is an example of:

• A. Pakṣa
• B. Vyāpti
• C. Hetu
• D. Sādhya

Explanation: Vyāpti is the invariable concomitance between hetu (smoke) and sādhya (fire).

In the inference "Smoke → Fire," a kitchen is an example of:

• A. Pakṣa
• B. Sapakṣa
• C. Vipakṣa
• D. Hetu

Explanation: Sapakṣa is a positive instance where the sādhya (fire) is present.

Inferring rain from dark clouds is an example of:

• A. Pūrvavat
• B. Śeṣavat
• C. Sāmānyatodṛṣṭa
• D. Anvayavyatireki

Explanation: Pūrvavat is inference from cause (dark clouds) to effect (rain).

What is the third member of the Nyāya five-member syllogism?

• A. Pratijñā
• B. Hetu
• C. Udāharaṇa
• D. Upanaya

Explanation: The five members are: Pratijñā, Hetu, Udāharaṇa, Upanaya, Nigamana. Udāharaṇa is the third.

Pakṣadharmatā means the hetu must be present in:

• A. Sapakṣa
• B. Vipakṣa
• C. Pakṣa
• D. Sādhya

Explanation: Pakṣadharmatā requires that the hetu must be present in the pakṣa (subject).

Key Terms:

• Pakṣa: Subject (e.g., hill)
• Sādhya: Inferred (e.g., fire)
• Hetu/Liṅga: Sign (e.g., smoke)
• Vyāpti: Invariable relation (Smoke ↔ Fire)
• Sapakṣa: Positive instance (kitchen)
• Vipakṣa: Negative instance (lake)
• Pakṣadharmatā: Hetu in pakṣa

Types:

• Svārthānumāna: For self (internal)
• Parārthānumāna: For others (formal)
• Pūrvavat: Cause → Effect
• Śeṣavat: Effect → Cause
• Sāmānyatodṛṣṭa: Generalization

Hetu Types:

• Kevalānvayi (only positive)
• Kevalavyatireki (only negative)
• Anvayavyatireki (both)

Nyāya Five-Member:

• Pratijñā → Hetu → Udāharaṇa → Upanaya → Nigamana

Exam Formula:

UGC NET में Anumāna & Nyāya Inference के questions terms identification, types, और syllogism structure पर based होते हैं।