Indian logic

• 1. Introduction

  ›

  Indian logic is one of only three original traditions of logical inquiry ever developed independently by humanity, standing alongside the Greek and Chinese traditions. That fact alone deserves a pause. Across millennia and continents, only three civilizations looked at the problem of valid reasoning from scratch and built a complete system around it. One of those civilizations was ancient India, and its tradition did not merely begin and end in antiquity. It ran from roughly the 6th century BCE all the way through to the modern era, producing philosophers, texts, and conceptual tools that would eventually catch the attention of 19th-century European mathematicians at the very moment those mathematicians were rewriting the foundations of logic.

  What were the original questions that Indian logicians were trying to answer? How did a tradition born in religious and grammatical inquiry become something resembling modern set theory? And why did it take Western scholars until 1824 to notice what Indian thinkers had been doing for over two thousand years? Those are the threads this documentary will follow.

• 2. The First Schools

  ›

  Medhatithi Gautama, working around the 6th century BCE, is credited with founding the anviksiki school of logic, one of the earliest organized attempts to treat reasoning as a discipline in its own right. The Mahabharata, composed somewhere between the 4th century BCE and 4th century CE, names both the anviksiki and tarka schools as recognized traditions, showing that by the epic period these were already established enough to be referenced by name in one of the subcontinent's foundational texts.

  Chanakya, the political theorist and strategist active around 350-283 BCE, described anviksiki in his Arthashastra as an independent field of inquiry, distinct from theology or statecraft. That framing mattered: it positioned logic not as a servant of religion but as its own domain of knowledge, with its own methods and standards.

  Panini, working around the 5th century BCE, developed a form of logic for his formulation of Sanskrit grammar. Scholars have noted that Boolean logic, the algebraic system at the heart of modern computing, carries structural similarities to what Panini built. Panini was not writing about logic in a philosophical sense; he was solving a grammatical problem. But the precision he brought to that problem produced something that looked, centuries later, like an anticipation of formal logic.

  The Vaisheshika school, whose name derives from Sanskrit for "particularity" or distinction, proposed a striking claim: that every physical object in the universe is reducible to a finite number of atoms. The school traced this idea to Kanada, whose name translates roughly as "atom-eater," active from around the 2nd century BCE. Vaisheshika eventually came to align closely with the Nyaya school, the school that would become the primary vehicle for Indian logical inquiry.

• 3. Nyaya and the Science of Valid Knowledge

  ›

  Gotama, founder of the Nyaya school, composed the Nyaya Sutras around the 2nd century CE, and in those texts he laid out what would become one of the most influential methodologies in Indian philosophy. The word Nyaya itself, derived from the Sanskrit meaning roughly "recursion" and used in the sense of syllogism or inference, signals from the start that this school was defined by its method, not just its conclusions.

  Nyaya thinkers held that obtaining valid knowledge was the only path to release from suffering. That gave their epistemological project an urgency that went beyond academic inquiry. They identified exactly four sources of knowledge, or pramanas: perception, inference, comparison, and testimony. Knowledge from any of those four channels could still be valid or invalid, so the school went further, developing detailed criteria for distinguishing genuine knowledge from false opinion.

  Scholars have noted that in this sense Nyaya is probably the closest Indian equivalent to contemporary analytic philosophy. The analogy is not just structural. Both traditions take the clarification of concepts and the analysis of argument as their central tasks, and both treat the misuse of language as a primary source of philosophical confusion.

  The methodology Gotama established was taken up not only within the Nyaya tradition but across almost all the other Indian philosophical schools, orthodox and heterodox alike. The parallel Western scholars have drawn is to Aristotelian logic, which similarly provided a shared technical vocabulary for philosophical inquiry across competing schools in the European tradition. Nyaya did the same work for the Indian tradition, which is one reason its influence persisted for so long.

• 4. Jain Logic and Relative Knowledge

  ›

  Jain logic developed and flourished across a remarkably long period, from the 6th century BCE to the 17th century CE. That span of more than two thousand years is itself a testament to the tradition's vitality. For Jain thinkers, the relationship between logic and ethics was direct: according to Jain doctrine, the ultimate principle should always be logical, and no principle can be devoid of logic or reason.

  The three doctrines that define Jain logic's distinctive contribution are anekantavada, the theory of relative pluralism or manifoldness; syadvada, the theory of conditioned predication; and nayavada, the theory of partial standpoints. Together these form a framework for acknowledging that any given statement about reality is made from a particular perspective and carries the limitations of that perspective.

  The roll of Jain logicians is long. Kundakunda, active in the 2nd century CE, wrote the Panchaastikayasara, the Pravachanasara, and the Samayasara, works dealing with the nature of the soul and its relation to matter. Umasvati, also of the 2nd century CE, produced what is considered the first Jain work in Sanskrit, the Tattvartha Sutra, a systematic exposition of Jain philosophy acceptable across all Jain sects. Siddhasena Divakara in the 5th century CE wrote the Nyayavatara on logic and the Sanmatisūtra on the seven Jain standpoints.

  Akalanka, active in the 8th century CE, produced Sanskrit works that scholars regard as landmarks in Indian logic, and he has been called the "Master of Jain logic." Acharya Hemacandra, living from 1089 to 1172 CE, contributed works on logic as well as a monumental history of Jain heroes. Mahopadhya Yaśovijayaji, active from 1624 to 1688 CE, continued the tradition into the early modern period. As recently as the 20th century, Acharya Mahapragya, born in 1920 and died in 2010, was recognized by the philosopher Daya Krishna as the most knowledgeable person on the subject of Jain logic in the modern era; in 1975, Mahapragya delivered a series of nine lectures on Jain logic at the University of Rajasthan at Jaipur, which the university subsequently published as "Jain Nyay Ka Vikas."

• 5. Buddhist Logic and the Wheel of Reasons

  ›

  Indian Buddhist logic, known as Pramana, flourished from around 500 CE to 1300 CE. Three figures tower above the rest in this tradition: Vasubandhu, active somewhere between 400 and 800 CE; Dignaga, who lived from approximately 480 to 540 CE; and Dharmakirti, active from around 600 to 660 CE.

  Dignaga's most important contributions are the doctrine of Trairupya, which concerns the formal conditions a logical reason must meet to be valid, and the Hetucakra, a scheme known as the "Wheel of Reasons" that systematizes the relationships between logical reasons and their conclusions. These were highly formal achievements: attempts to build a logical calculus that could be evaluated independently of the specific subject matter it was applied to.

  In the 2nd century, before the Pramana period, the Buddhist philosopher Nagarjuna had refined the Catuskoti form of logic, also known by the Greek term Tetralemma. The Catuskoti is a "four corner argument" allowing for four possible positions on any claim, and Nagarjuna's development of it became foundational in Buddhist philosophical method.

  The Buddhist logical tradition did not end in medieval India. A living tradition of Buddhist logic continues in Tibetan Buddhist communities today, where the study of logic forms an important part of the formal education of monks.

• 6. Navya-Nyaya and Modern Logic

  ›

  Gangesha Upadhyaya of Mithila founded the Navya-Nyaya school in the 13th century CE. His central text, the Tattvacintamani, or "Thought-Jewel of Reality," was written partly as a response to Shriharsha's Khandanakhandakhādya, a defense of Advaita Vedanta that had mounted a thorough critique of Nyaya theories of thought and language. Gangesha took those criticisms seriously enough to examine his own tradition rigorously and concluded that Shriharsha had failed to overturn Nyaya realist ontology, but that both Shriharsha's challenges and Gangesha's own reflections revealed genuine areas where Nyaya's logical and linguistic tools needed to be made more rigorous.

  The Tattvacintamani ranged across logic, set theory, and epistemology. Navya-Nyaya organized all knowledge under four categories: perception, inference, comparison, and testimony. What distinguished the school was not the categories themselves, which Nyaya had already established, but the sophistication of the conceptual language it developed to analyze them.

  Udayana, who worked in the late 10th century and whose influence shaped Gangesha's thinking, developed what the tradition called "restrictive conditions for universals" and reasoned about infinite regress in ways that resemble arguments in modern set theory. Udayana argued that there can be no universal of which every universal is a member; for if such a universal existed, it would itself be a universal, and it could not be a member of itself, which would require an ever-larger universal to contain it, and so on without end. Kisor Kumar Chakrabarti has explicitly noted that this anticipates the modern set-theoretic result that a set of all sets does not exist. Navya-Nyaya also developed theories resembling Gottlob Frege's distinction between the sense and the reference of proper names and his definition of number.

• 7. Western Discovery and Lasting Influence

  ›

  In the late 18th century, British scholars began to take serious notice of Indian philosophy and were struck by the sophistication they found. The process reached a milestone in 1824 when Henry T. Colebrooke published "The Philosophy of the Hindus: On the Nyaya and Vaisesika Systems," which set the Indian analysis of inference alongside Aristotelian logic and concluded that the Aristotelian syllogism could not fully account for the Indian syllogism. That was a significant claim: Aristotelian logic had been treated in Europe as the definitive account of valid inference for over two thousand years.

  Max Mueller contributed an appendix to the 1853 edition of Thomson's Outline of the Laws of Thought, placing Greek and Indian logic on equal footing: "The sciences of Logic and Grammar were, as far as history allows us to judge, invented or originally conceived by two nations, Hindus and Greeks."

  George Boole, who lived from 1815 to 1864, and Augustus De Morgan, who lived from 1806 to 1871, made their pioneering applications of algebraic ideas to logic during this same period. The scholar Jonardon Ganeri has observed that both figures were likely aware of the contemporary studies in Indian logic, and has suggested that their awareness of the shortcomings of traditional propositional logic may have made them more willing to look outside established European frameworks. The claim was confirmed more directly by Mary Everest Boole, George Boole's wife, in an open letter to Dr. Bose written in 1901 and titled "Indian Thought and Western Science in the Nineteenth Century."

  De Morgan stated the point plainly himself, writing in 1860: "The two races which have founded the mathematics, those of the Sanskrit and Greek languages, have been the two which have independently formed systems of logic." The mathematician Hermann Weyl extended this to mathematics itself, arguing that the development of mathematics in the West had followed a course that originated in India, was transmitted by the Arabs, and diverged from the Greek tradition in treating number as logically prior to geometry. Weyl noted that by his own time, mathematics was moving back toward the Greek standpoint, but the Indian route was the one it had actually traveled.