Nyāyasūtra 1.1.1 · Akṣapāda Gautama
प्रमाणप्रमेयसंशयप्रयोजनदृष्टान्तसिद्धान्तावयवतर्कनिर्णयवादजल्पवितण्डाहेत्वाभासच्छलजातिनिग्रहस्थानानां तत्त्वज्ञानान्निःश्रेयसाधिगमः ॥
Knowledge of the true nature of the sixteen categories — pramāṇa, prameya, saṃśaya, prayojana, dṛṣṭānta, siddhānta, avayava, tarka, nirṇaya, vāda, jalpa, vitaṇḍā, hetvābhāsa, chala, jāti, nigrahasthāna — is the means to niḥśreyasa, the highest good.
The opening sūtra names all sixteen categories in a single compound, then promises liberation through knowing them. The structure is programmatic: Nyāya maps not just valid knowledge but the pathology of bad argument — uniquely treating the failure of knowledge as philosophically important as knowledge itself.
Founder / texts
Nyāya Sūtras · Akṣapāda Gautama
Period
c. 2nd century BCE – 2nd century CE
Primary text
Nyāyasūtras (5 adhyāyas) · Nyāyabhāṣya
Pramāṇas
4 — pratyakṣa, anumāna, upamāna, śabda
Core philosophy
Sixteen padārthas — the structure of inquiry
The Nyāyasūtra maps all philosophical activity under sixteen categories spanning three domains: epistemological foundations (pramāṇa through dṛṣṭānta), dialectical procedure (siddhānta through nirṇaya), and the pathology of argument (vāda through nigrahasthāna). Unlike Vaiśeṣika's ontological padārthas, the sixteen categories are methodological — they describe how inquiry proceeds, not what the world contains. Mapping the failure of knowledge alongside knowledge itself is uniquely Nyāya.
The inclusion of jalpa (debate aimed at winning) and vitaṇḍā (destructive criticism without counter-thesis) as distinct categories reflects Nyāya's sociological realism: it acknowledges that argument occurs in contexts of competition, not just cooperative truth-seeking. Gaṅgeśa's Navya-Nyāya later abandoned this broad dialectical scope in favour of pure semantic analysis of vyāpti.
Pañcāvayava — the five-membered syllogism
The Nyāya syllogism has five limbs: pratijñā (thesis: "The mountain has fire"), hetu (reason: "because it has smoke"), udāharaṇa (universal with concrete example: "wherever smoke, fire — as in a kitchen"), upanaya (application: "this mountain has such smoke"), nigamana (conclusion: "therefore fire"). The third limb — a concrete illustration alongside the universal — distinguishes this from Aristotelian syllogism. Vyāpti (invariable concomitance) is the logical glue that makes the inference valid.
Navya-Nyāya developed highly technical formal notation (using anuyogi, pratiyogi, avacchedaka) to express vyāpti relations with precision approaching modern relational logic — six centuries before Frege, independently developed.
Hetvābhāsa — doctrine of fallacious inference
Five types of fallacious inference: sādhyasama (reason as unproven as the thesis), viruddha (reason contradicts the thesis), anaikāntika (reason too wide — occurs in sādhya-absent cases too), savyabhicāra (reason is irregular), bādhita (reason overridden by a stronger pramāṇa). This taxonomy was sharpened through six centuries of debate with Buddhist logicians — Dignāga's Hetucakra and Dharmakīrti's Nyāyabindu forced repeated refinements of every category.
The intellectual rivalry with Buddhist pramāṇavādins is the single greatest creative spur in Indian logic. Uddyotakara's Nyāyavārttika is largely a sustained refutation of Dignāga; without Buddhist critique, Nyāya might not have achieved its technical precision.
Theology, soteriology, and niḥśreyasa
Nyāya is uniquely and methodically theistic. Udayana's Nyāyakusumāñjali (10th–11th c.) presents five independent proofs for Īśvara: from effect (kāryāt), from composition (āyojanāt), from support (dhṛtyādibhiḥ), from verbal testimony (padāt), and from scripture's surplus validity (prāmāṇyāt). Liberation (niḥśreyasa) is permanent cessation of all pain — not positive bliss. This distinguishes Nyāya sharply from Vedāntic ānanda: the telos is absence of suffering, not experience of joy.
Niḥśreyasa-as-cessation versus Vedāntic ānanda-as-bliss is perhaps the sharpest soteriological divide among āstika systems. Rāmānuja objected that a liberation without positive bliss is no better than annihilation.
Commentary tradition
| Ācārya | Text | Period | Contribution |
|---|---|---|---|
| Akṣapāda Gautama | Nyāyasūtras | c. 2nd century CE | 16-category framework; five-membered syllogism; debate theory |
| Vātsyāyana | Nyāyabhāṣya | c. 4th–5th century | First major commentary; established realist epistemology against Buddhist critique |
| Uddyotakara | Nyāyavārttika | c. 6th century | Systematic refutation of Dignāga; refined vyāpti; defended permanent ātman |
| Vācaspati Miśra | Nyāyavārttikatātparyaṭīkā | c. 9th century | Commentary on Uddyotakara; uniquely commented on Nyāya, Sāṃkhya, and Advaita |
| Udayana | Nyāyakusumāñjali · Ātmatattvaviveka | c. 10th–11th century | Five independent proofs for Īśvara; apex of classical Nyāya theism |
| Gaṅgeśa Upādhyāya | Tattvacintāmaṇi | c. 13th century | Founded Navya-Nyāya; transformed Indian logic into quasi-formal relational language |
Pair dialogue — Nyāya ↔ Vaiśeṣika