7.5 Structure of Anumana & Hetvabhasa

Structure of Anumana & Hetvabhasa

Quick Answer: The Nyaya syllogism (Pancavayava) consists of five formal members: Pratijna (Proposition), Hetu (Reason), Udaharana (Example with Vyapti), Upanaya (Application), and Nigamana (Conclusion). It synthesizes deductive form with inductive empirical evidence. Fallacies of inference are termed Hetvabhasa (fallacies of the middle term), categorized into Savyabhichara, Viruddha, Satpratipaksha, Asiddha, and Badhita.

---

1. The Five-Membered Syllogism of Nyaya (Pancavayava)

Unlike Western Aristotelian syllogisms (which are purely formal and deductive), the classical Nyaya syllogism is a comprehensive deductive-inductive epistemology that guarantees both formal structural validity and material empirical truth.

When presenting an inference to persuade an opponent in philosophical debate (Pararthanumana), Nyaya mandates five sequential members (Avayavas):

 1. Pratijna (Proposition)   ──►  The hill has fire
 2. Hetu (Reason)            ──►  Because it has smoke
 3. Udaharana (Example)      ──►  Wherever there is smoke, there is fire,
                                  as in a kitchen hearth (Vyapti)
 4. Upanaya (Application)    ──►  This hill has smoke which is invariably
                                  accompanied by fire
 5. Nigamana (Conclusion)    ──►  Therefore, this hill has fire

[!NOTE] Aristotle vs. Nyaya Comparison:

• Aristotelian syllogism has 3 propositions (Major premise, Minor premise, Conclusion).
• Nyaya syllogism has 5 propositions because it integrates the discovery of truth (induction in Udaharana) with the formal demonstration of truth (deduction from Upanaya to Nigamana).

2. Anatomy of Terms and the Mechanics of Inference

Anumana operates through three primary constituent terms:

1. Paksha (Minor Term): The subject or spatial locus in which the unperceived property is to be established (e.g., The Hill).
2. Sadhya (Major Term): The target property or object to be proved upon the Paksha (e.g., Fire).
3. Hetu / Linga / Sadhana (Middle Term): The observed sign, mark, or reason that serves as the inferential bridge (e.g., Smoke).

Critical Epistemological Concepts:

• Paksadharmata: The established presence of the middle term (Hetu) in the minor term (Paksha)—i.e., verifying that smoke is actually present on the hill.
• Paramarsha (Synthetic Cognition): The culminating cognitive synthesis where one realizes that the Hetu, which is known to be invariably accompanied by the Sadhya (Vyapti), is currently present in the Paksha (Paksadharmata). Paramarsha is the direct, proximate instrument (Karana) that generates inferential knowledge (Anumiti).

---

3. The Doctrine of Vyapti (Invariable Concomitance)

Vyapti is the logical foundation of inference in Indian philosophy. It is defined as the unconditional, invariable, and constant relation of coexistence (Sahacarya-niyama) between the Hetu and the Sadhya.

Unconditional Relation (Nirupadhika)

A valid Vyapti must be free from any adventitious condition or qualifying circumstance (Upadhi).

• Example: The relation "Where there is smoke, there is fire" is unconditional (Nirupadhika).
• Counter-Example: The relation "Where there is fire, there is smoke" is conditional (Saupadhika), because fire produces smoke only in the presence of an Upadhi (such as wet fuel / ardrendhana). A red-hot iron ball possesses fire but no smoke.

Types of Vyapti:

• Samavyapti (Equi-extension): When Hetu and Sadhya are co-extensive and mutually convertible (e.g., "Whatever is knowable is nameable, and whatever is nameable is knowable").
• Vishamavyapti / Asamavyapti (Non-equi-extension): When the terms have unequal extension (e.g., Smoke and Fire: smoke implies fire, but fire does not necessarily imply smoke).
• Anvaya-vyapti (Agreement in Presence): Establishing positive concomitance ("Where the Hetu is present, the Sadhya is present").
• Vyatireka-vyapti (Agreement in Absence): Establishing negative concomitance ("Where the Sadhya is absent, the Hetu is absent").

---

4. Classifications of Anumana

1. Psychological Classification

• Svarthanumana (Inference for Oneself): An informal, internal psychological reasoning process by which a person discovers truth for themselves (requiring only 3 cognitive steps).
• Pararthanumana (Inference for Others): A formal, rigorous public exposition designed to demonstrate and prove truth to others, requiring the full 5-membered Pancavayava.

2. Causal Classification (Gautama's Nyaya Sutra)

• Purvavat Inference (Cause to Effect): Inferring an unperceived future effect from a perceived antecedent cause.
  • Example: Observing dense, dark thunderclouds in the sky and inferring imminent heavy rainfall.
• Seshavat Inference (Effect to Cause): Inferring an unperceived past cause from a perceived consequent effect.
  • Example: Observing a muddy river with a rapid, overflowing current and inferring that heavy rain fell upstream in the mountains.
• Samanyatodrishta Inference (Non-causal Uniformity): Inferring a property based on general correlation and uniform experience without direct cause-and-effect relationship.
  • Example: Inferring that the sun is moving through space because it occupies different positions in the sky over time, just as a traveller changes position through motion.

3. Logical Grounds Classification

• Kevalanvayi: Inference based exclusively on positive concomitance (Anvaya), where no negative instances (Vipaksha) exist (e.g., "All knowable objects are nameable").
• Kevalavyatireki: Inference based exclusively on negative concomitance (Vyatireka), where no positive instance (Sapaksha) exists other than the Paksha itself (e.g., "Earth is different from other elements because it has smell").
• Anvaya-Vyatireki: Inference based on both positive agreement in presence and negative agreement in absence (the standard smoke-fire inference).

5. Hetvabhasa: Fallacies of the Middle Term

In Indian logic, all formal and material fallacies of inference are treated as Hetvabhasa (literally, "the semblance of a reason" or a pseudo-reason). When the middle term (Hetu) fails to satisfy the essential conditions of validity, it generates a Hetvabhasa. Nyaya classifies these fallacies into five primary types:

                             ┌───────────────────────────────┐
                             │     HETVABHASA (Fallacies)    │
                             └───────────────┬───────────────┘
     ┌───────────────┬───────────────┼───────────────┬───────────────┐
     ▼               ▼               ▼               ▼               ▼
1. Savyabhichara 2. Viruddha   3. Satpratipaksha 4. Asiddha     5. Badhita
  (Irregular)  (Contradictory) (Counterbalanced)  (Unproved)   (Contradicted by
                                                                 Perception)

1. Savyabhichara (The Irregular / Discrepant Middle)

The Hetu is inconstant and fails to lead to a single definitive conclusion because it is found where the Sadhya is absent. It has three subtypes:

• Sadharana (Too Wide / Common): The Hetu exists in positive loci where the Sadhya exists, but also in negative loci where the Sadhya is absent.
  • Example: "The hill has fire because it is knowable." (Everything is knowable, including a cold lake where fire is absent).
• Asadharana (Too Narrow / Uncommon): The Hetu exists exclusively in the Paksha and nowhere else, lacking both positive examples (Sapaksha) and negative examples (Vipaksha).
  • Example: "Sound is eternal because it has soundness."
• Anupasamhari (Inconclusive / Non-exclusive): The Paksha is all-inclusive, leaving no independent universe of discourse for comparison.
  • Example: "All things are non-eternal because they are knowable."

2. Viruddha (The Contradictory Middle)

The Hetu is directly contradictory to the Sadhya. Instead of proving the existence of the Sadhya, it invariably proves its non-existence (its opposite).

• Example: "Sound is eternal because it is produced" (Kritakatvat). The property of being produced is an invariable proof of non-eternity, directly disproving the intended thesis.

3. Satpratipaksha (The Inferentially Counterbalanced Middle)

The Hetu is validly countered and balanced by an equally strong rival Hetu in a separate inference that establishes the opposite conclusion.

• Example:
  • Argument 1: "Sound is eternal because it is audible, like soundness."
  • Counter-Argument 2: "Sound is non-eternal because it is a product, like a pot."

4. Asiddha / Sadhya-sama (The Unproved / Unfounded Middle)

The Hetu is not an established fact. It is divided into three critical subtypes:

• Ashrayasiddha (Unfounded Locus): The Paksha (minor term/locus) is fictitious, mythical, or non-existent.
  • Example: "The sky-lotus is fragrant because it is a lotus, like a lake-lotus." (The sky-lotus does not exist).
• Svarupasiddha (Unfounded in Nature): The Hetu cannot exist in the nature of the Paksha.
  • Example: "Sound is a visual quality because it is visible." (Visibility cannot reside in sound).
• Vyapyatvasiddha (Unfounded in Concomitance): The invariable concomitance (Vyapti) between Hetu and Sadhya is unproved or dependent on an unfulfilled condition (Upadhi).
  • Example: "The hill has smoke because it has fire." (Fire produces smoke only with wet fuel).

5. Badhita (The Non-Inferentially Contradicted Middle)

The Hetu attempts to prove a Sadhya whose absence has already been decisively established by a stronger means of valid knowledge, such as direct perception (Pratyaksha) or authoritative scripture.

• Example: "Fire is cold because it is a substance, like water" (Vahnir anushno dravyatvat). Direct tactile perception (Pratyaksha) immediately reveals that fire is hot, rendering the inference immediately nullified and invalid.