Schools · Logic · No. 64
One inference dissected into named technical parts, relations drawn as labelled threads

Navya Nyaya

1300 – 1750

A technical language built to state relations with absolute precision, and the closest premodern philosophy came to formal notation.

Active
1300 – 1750
Where
Mithila and Navadvipa in Bengal
Also
नव्य न्याय Navya-Nyāya
Status
extinct as a school
Tradition
Indian
Difficulty
Originality
Influence
Reach
Relevance

The claim

Every cognition has a qualifier, a qualificand and a relation between them, and stating any claim requires making all three explicit — along with the limitors that fix exactly what is being ranged over.

What it held

Gangesa's Tattvacintamani set out to solve the problem the old Nyaya had never closed: how pervasion is established without circularity. To do it he had to become far more precise about what a relation is, and the tool he built outlived the problem.

Navya-Nyaya's technical vocabulary lets you say, in Sanskrit prose, things that European philosophy could only say after Frege invented notation. Absence is analysed with a counterpositive — the thing whose absence it is — and a limitor fixing the respect in which it is absent. So the absence of a pot on the floor is stated in a way that distinguishes it from the absence of cloth, of pots elsewhere, and of pots at another time.

The prose is famously forbidding. Sentences run for pages, nesting qualifications inside qualifications, because every ambiguity is being closed off deliberately.

Its influence went well beyond logic. Bengali scholars applied the vocabulary to law, poetics and ritual, and by the seventeenth century a legal argument in Bengal could be conducted in it.

How it argued

A specialised technical Sanskrit with fixed terms for relations, absences, limitors and delimiters, allowing formal precision without symbols.

What it was arguing against

Buddhist logic's attacks on inference, and the imprecision of the old Nyaya's own formulations.

Where it disagreed with itself

Whether it is genuinely a logic or an extremely precise semantics. Whether the technical apparatus solved the pervasion problem or made it stateable.

Common misconceptions

That it is scholastic hairsplitting. Twentieth-century logicians who learned to read it — Ingalls, Matilal, Staal — argued that it does formal work of a kind nothing else premodern attempts.

How it began

Gangesa in fourteenth-century Mithila, taking up a problem the tradition had failed at for a thousand years.

What became of it

Declined with colonial disruption of Sanskrit learning, though pandits trained in it continued into the twentieth century.

Lasting influence

Bengali intellectual life across law, grammar and poetics. In the twentieth century it changed how historians of logic assess what non-Western traditions achieved.

Why it still matters

Its analysis of negation and of relational structure is of genuine interest to logicians, and translations into modern notation have been published.

Put another way

A legal document in which every term is defined so precisely that no ambiguity survives, and nobody can read it quickly.

Where to start

Ingalls or Matilal. The primary texts are not approachable without a guide.

The surprising bit

Its sentences are so intricately nested that Daniel Ingalls, who introduced it to Western scholarship, developed a diagrammatic notation simply to make them parseable.

In their own words

The absence of a pot, limited by potness, resident in the floor.

A standard Navya-Nyaya formulation

Pervasion is the non-deviation of the reason from the thing to be proved.

The problem Gangesa set out to solve

Connections

The verdict

A formal language invented four centuries before formal logic, and written entirely in prose.

Sources