Navya-Nyāya

The “new logic”: a precise technical language for saying exactly what is where, by what relation, and in what respect — and for four centuries the common tongue of Sanskrit learning.

“There’s no key on the table.” Simple enough — until someone points out that a key is lying there, just not your key. Or that the key is under a book, which is on the table. Or that the key is in the table’s drawer. Ordinary language copes with this by context and goodwill. Philosophers arguing about the soul, God or the meaning of scripture could not rely on goodwill. From the 14th century the logicians of Mithilā and Bengal built a language in which such statements could be made exactly. It is called Navya-Nyāya, “New Nyāya.”

School view This page sets out Navya-Nyāya as its own practitioners understood it. Its metaphysics is that of classical Nyāya–Vaiśeṣika, explained on Nyāya & Vaiśeṣika; its theory of knowledge on How We Know. Here the focus is on the method.

From old Nyāya to new

The old Nyāya Sūtra was a manual of debate and a theory of what exists. Over a thousand years of argument with Buddhist logicians, Mīmāṃsakas and Advaitins, Naiyāyikas found that their definitions kept being picked apart — most brilliantly by the Advaitin Śrīharṣa in the 12th century, who used Nyāya’s own tools to argue that no definition could survive scrutiny. The answer was a new precision. Navya-Nyāya shifted attention from things to cognitions of things, and set out to describe the exact structure of every cognition.

  1. c. 11th c.UdayanaOften treated as the bridge between old and new; his precision already points the way.
  2. 14th c.Gaṅgeśa’s TattvacintāmaṇiGaṅgeśa Upādhyāya of Mithilā writes “The Wish-Jewel of Truth” in four books, one for each pramāṇa: perception, inference, comparison and testimony. The book on inference is the longest and most studied.
  3. 15th c.The Mithilā schoolVardhamāna, Gaṅgeśa’s son, and Pakṣadhara Miśra comment on and extend the work.
  4. c. 1500Raghunātha ŚiromaṇiIn Navadvīpa in Bengal, his Dīdhiti commentary and his short Padārthatattvanirūpaṇa boldly revise the old list of categories.
  5. 16th–17th c.Mathurānātha, Jagadīśa, GadādharaThe Navadvīpa masters. Gadādhara Bhaṭṭācārya’s Vyutpattivāda and Śaktivāda analyse how words and sentences mean.
  6. 17th c.Annambhaṭṭa’s TarkasaṅgrahaA short primer of the whole system, with the author’s own commentary, the Dīpikā. Still the first book a student of Nyāya reads.

Annambhaṭṭa’s primer opens, as Nyāya texts do, with a prayer — a reminder that for its authors this logic served a theistic, liberating philosophy:

निधाय हृदि विश्वेशं विधाय गुरुवन्दनम् ।
बालानां सुखबोधाय क्रियते तर्कसङ्ग्रहः ॥
nidhāya hṛdi viśveśaṃ vidhāya guru-vandanam,
bālānāṃ sukha-bodhāya kriyate tarka-saṅgrahaḥ
Placing the Lord of the universe in my heart and bowing to my teacher, I make this Compendium of Reasoning for the easy understanding of beginners. Annambhaṭṭa, Tarkasaṅgraha, opening verse

Stories cluster around these scholars. A well-known tale says Mithilā would not let its students copy the Tattvacintāmaṇi, so Vāsudeva Sārvabhauma memorised it and wrote it out again in Navadvīpa; another has the young Raghunātha out-arguing his Mithilā teacher. Popular tradition They are hard to verify, but they capture a real rivalry between the two centres.

The world of these schools was narrow. Navya-Nyāya was taught almost entirely by and to Brahmin men, in households and ṭols (traditional schools) where women and lower castes had no place as students. That should be said plainly, even while admiring what was achieved there.

Every cognition has a shape

Take the cognition “there is a pot on the floor.” Navya-Nyāya restates it as: the floor is qualified by a pot, by the relation of contact. Every qualified cognition has three parts:

Two more words name the ends of any relation. In “the pot is on the floor,” the pot is the pratiyogin, the “counter-positive” — the thing that is related — and the floor is the anuyogin, the locus to which it is related. Finally, the abstract suffix -tva or -tā (like English “-ness”) turns anything into a property: “pot-ness” (ghaṭatva), “being-the-locus” (adhikaraṇatā). With these few tools, any sentence can be rebuilt as a chain of loci and properties.

Taking a sentence apart

The central technical term is avacchedaka, “limiter” — the property or relation that fixes exactly how far a relation reaches. Watch it at work on the missing key. Step through:

Two classic examples show limiters working on the locus rather than the absentee:

🐒The monkey on the treeA limiter of the locus

A monkey sits in the branches. Is the tree in contact with the monkey? Yes — and also no, for the roots are not. Navya-Nyāya says the tree has monkey-contact limited by the branch, and lacks it limited by the root. Contact is a property that does not pervade its whole locus. In everyday terms: a mug can be hot at the base and cool at the handle, and both statements are exactly true.

🩴A pair of slippersParyāpti, the relation of completion

The pair is two; but neither slipper is two. Where does “two-ness” live? In each slipper by inherence, says Navya-Nyāya, but it is complete only in both together, by a special relation called paryāpti. That is why “these are two” is true and “this one is two” is false, though the number belongs to both. Modern logicians recognise here the difference between distributive and collective predicates.

Four kinds of absence

Because so much of the system turns on “not,” the kinds of abhāva must be kept apart. Annambhaṭṭa’s primer states them in one line:

अभावश्चतुर्विधः — प्रागभावः प्रध्वंसाभावोऽत्यन्ताभावोऽन्योन्याभावश्चेति । abhāvaś caturvidhaḥ — prāgabhāvaḥ pradhvaṃsābhāvo ’tyantābhāvo ’nyonyābhāvaś ceti Absence is fourfold: prior absence, absence by destruction, absolute absence and mutual absence. Annambhaṭṭa, Tarkasaṅgraha (section on the categories)

Tap each, with a pot from the potter’s wheel:

The first three are “relational” absences (saṃsargābhāva) — the absence of something in something. The fourth is the denial of identity. Mix them up and arguments collapse: “the pot is not on the floor” and “the pot is not the floor” are entirely different claims.

Defining pervasion

All inference rests on vyāpti, “pervasion,” the invariable link between the hetu (the reason, smoke) and the sādhya (what is to be proved, fire). The primer gives the textbook definition:

यत्र यत्र धूमस्तत्र तत्राग्निरिति साहचर्यनियमो व्याप्तिः । yatra yatra dhūmas tatra tatrāgnir iti sāhacarya-niyamo vyāptiḥ “Wherever there is smoke, there is fire”: this rule of co-presence is pervasion. Annambhaṭṭa, Tarkasaṅgraha (section on inference)

Gaṅgeśa’s problem was to make that “wherever” exact. His Tattvacintāmaṇi examines a series of trial definitions and rejects each. One says: the reason must not occur where the absence of the thing to be proved occurs — smoke is never found where fire is absent. Good for smoke and fire. But some inferences have a sādhya that is present everywhere — “this is nameable, because it is knowable.” Nothing lacks nameability, so “the place where nameability is absent” has no instance, and the definition goes empty. To capture every valid case and no invalid one, Gaṅgeśa had to specify the limiters of each absence and each relation — which is why the final definitions run to a single, very long compound. The point is not obscurity. It is to make a counter-example impossible.

Everyone’s language

Within two centuries Navya-Nyāya had become the working idiom of Sanskrit scholarship, as Latin scholasticism once was in Europe. Its reach is mapped on Navigating the Śāstras:

To be a paṇḍita in early modern India was, almost by definition, to argue in this language. It is still taught in traditional schools in Varanasi, Navadvīpa, Tirupati and elsewhere, and the art of debate it served is explored on Vāda.

Is it “logic”?

When Western scholars met Navya-Nyāya in the 20th century, they reached for comparisons. Each is illuminating and each needs care. Modern reading

Daniel H. H. Ingalls’s Materials for the Study of Navya-Nyāya Logic (1951) opened the subject in English. He showed how its statements could be partly rendered in the notation of modern logic, and also where they resist it: Navya-Nyāya talks of properties located in loci, not of classes or truth-values, and it has no symbols or variables — its rigour is carried by the structure of Sanskrit compounds.

How other schools answered
  • Advaita: Śrīharṣa’s attack on all definition came before Navya-Nyāya and helped provoke it; later Advaitins, Madhusūdana above all, adopted its tools to show that the world’s reality cannot be coherently defined. The logicians replied that a definition’s difficulty is not its impossibility.
  • Dvaita: Vyāsatīrtha’s Tarkatāṇḍava criticised Navya-Nyāya’s own definitions while using its idiom, and defended Madhva’s realism against Advaita with it.
  • Grammarians: meaning lies first in the verb and the speaker’s intention, not in a qualificand–qualifier structure centred on the noun; the logicians answered with Gadādhara’s analyses.
  • Critics old and new complained of hair-splitting and jargon. The Naiyāyika’s reply: in philosophy, as in law, ambiguity is where error hides.

Check your knowledge:

Quick check

In “there is no key on the table,” the key is the…

The counter-positive: the thing whose absence it is. The table is the anuyogin, the locus.

“The pot is not cloth” expresses which absence?

Anyonyābhāva, difference — the denial of identity, not of location.

A pair of slippers is two, but neither slipper is. The relation by which two-ness is complete only in both is…

Paryāpti, “completion” — for properties that belong to a group collectively.

Where was Gaṅgeśa’s Tattvacintāmaṇi written?

Mithilā, in the 14th century; Navadvīpa in Bengal became the second great centre around 1500.

Questions people often ask

Where should a beginner start?

Where traditional students start: Annambhaṭṭa’s Tarkasaṅgraha, with a good translation of the text and its Dīpikā. Then the Bhāṣāpariccheda of Viśvanātha with its commentary, before any of Gaṅgeśa.

Is Navya-Nyāya a different school from Nyāya?

No. It is the later phase of the merged Nyāya–Vaiśeṣika, with the same realism, the same four pramāṇas and the same theism. What is new is the method — and some revisions, such as Raghunātha’s pruning of the categories.

Did it anticipate modern logic?

It reached some of the same distinctions by a different route — scope, collective predicates, kinds of negation. But it was not a symbolic or truth-functional logic, and claims that it “invented” modern logic go beyond the evidence. It deserves study on its own terms.

॥ Pause and reflect

  1. Think of a recent misunderstanding. Was it about the locus, the thing, the limiting property or the relation?
  2. Find a property in your life that belongs to a group but not to any one member.
  3. When does precision help understanding, and when does it get in the way?

Your notes are saved privately in this browser.

Key terms on this page

Sources & further reading