Section 6.5

Structure of Anumana (Inference)

❦

Anumana (Inference) is the jewel of the Nyaya school of logic. Unlike an Aristotelian syllogism which relies on three propositions, a Nyaya syllogism traditionally consists of five members (Avayavas) designed to convince another person (Pararthanumana) (Vidyabhusana, 1920).

1. The Components of Inference

Every Indian inference contains three vital terms (equivalent to the Major, Minor, and Middle terms in Western logic):

  • Sadhya (Major Term): The object to be proved or inferred (e.g., Fire).
  • Paksha (Minor Term): The subject on which the property is being inferred (e.g., The Hill).
  • Hetu / Linga (Middle Term): The reason or sign that establishes the connection (e.g., Smoke).

The 5-Step Nyaya Syllogism:

  1. Pratijna (Proposition): The hill has fire. (Conclusion to be proved).
  2. Hetu (Reason): Because it has smoke.
  3. Udaharana (Example): Whatever has smoke has fire, e.g., an oven. (Establishes Vyapti).
  4. Upanaya (Application): This hill has smoke which is invariably associated with fire.
  5. Nigamana (Conclusion): Therefore, this hill has fire.

2. Vyapti (Invariable Concomitance)

The entire structure of Anumana rests on the bedrock of Vyapti. Vyapti is the universal, unconditional, and invariable relationship between the Hetu (smoke) and the Sadhya (fire). Without a valid Vyapti, no inference can be made. It guarantees that wherever the reason exists, the consequence must also exist.

💡 Core Concept

You can have smoke only if you have fire. But you can have fire without smoke (e.g., a red hot iron ball). Thus, Vyapti is asymmetrical in this case.

3. Hetvabhasas (Fallacies of Inference)

When the Hetu (reason) appears to be valid but is actually defective, it leads to a fallacy known as Hetvabhasa ("fallacious reason"). There are five primary types recognized in Nyaya logic:

  • Savyabhichara (Irregular Middle): The middle term is not invariably related to the major term. (e.g., "All bipeds are rational. Swans are bipeds. Therefore, swans are rational." — Bipedalism is irregular to rationality).
  • Viruddha (Contradictory Middle): The reason proves the exact opposite of what it is supposed to prove. (e.g., "Air is heavy, because it is empty.")
  • Satpratipaksha (Inferentially Contradicted Middle): The conclusion can be countered by an equally strong opposing inference.
  • Asiddha (Unproved Middle): The reason itself is not established or is non-existent. (e.g., "The sky-lotus is fragrant, because it is a lotus." — Sky-lotus does not exist).
  • Badhita (Non-inferentially Contradicted Middle): The conclusion is contradicted by a stronger Pramana, such as direct perception. (e.g., "Fire is cold, because it is a substance." — Direct perception proves fire is hot).

Academic References

  • Radhakrishnan, S. (1923). Indian philosophy (Vol. 2). George Allen & Unwin.
  • Vidyabhusana, S. C. (1920). A history of Indian logic: Ancient, mediaeval and modern schools. Calcutta University.