「‍」 Lingenic

Five-Membered Inference

(⤓.md ◇.md); γ ≜ [2026-07-13T065434.749, 2026-07-13T071146.396] ∧ |γ| = 2

Five-Membered Inference

Origin. Nyaya school, systematized in Gautama's Nyaya Sutras (c. 2nd century CE), elaborated by Vatsyayana and later commentators. The standard form of valid inference in classical Indian logic.

Mechanism. The five members make explicit what Aristotelian syllogism leaves implicit. The example grounds the inference in shared experience; the application connects the example to the case at hand. The structure forces the arguer to show their work — not just that the conclusion follows, but why the reason applies here. Each step can be challenged; each step must be defended.

Procedure. Construct the argument in five parts: (1) Pratijña — state the thesis: "The hill has fire." (2) Hetu — state the reason: "Because there is smoke." (3) Udaharana — provide an example with the general rule: "Wherever there is smoke, there is fire, as in a kitchen." (4) Upanaya — apply the rule to the case: "This hill has smoke, which is invariably accompanied by fire." (5) Nigamana — restate the conclusion: "Therefore, the hill has fire." All five members are required for a complete inference.

Applies to. Constructing persuasive arguments. Making reasoning explicit and checkable. Debate and dialectic. Any context where you must show not just what you conclude but why.

Limitations. The example requirement means you must find a case where the reason-conclusion relationship is already accepted. Novel inferences without precedent are harder to make. The form is designed for demonstration to others, not discovery by oneself. The structure can become formulaic ritual rather than genuine reasoning.

© 2026 Lingenic LLC