HOME

TheInfoList



OR:

The development of Indian logic dates back to the Chandahsutra of Pingala and '' anviksiki'' of Medhatithi Gautama (c. 6th century BCE); the Sanskrit grammar rules of
Pāṇini (; , ) was a Sanskrit grammarian, logician, philologist, and revered scholar in ancient India during the mid-1st millennium BCE, dated variously by most scholars between the 6th–5th and 4th century BCE. The historical facts of his life ar ...
(c. 5th century BCE); the
Vaisheshika Vaisheshika (IAST: Vaiśeṣika; ; ) is one of the six schools of Hindu philosophy from ancient India. In its early stages, Vaiśeṣika was an independent philosophy with its own metaphysics, epistemology, logic, ethics, and soteriology. Over t ...
school's analysis of
atomism Atomism () is a natural philosophy proposing that the physical universe is composed of fundamental indivisible components known as atoms. References to the concept of atomism and its Atom, atoms appeared in both Ancient Greek philosophy, ancien ...
(c. 6th century BCE to 2nd century BCE); the analysis of
inference Inferences are steps in logical reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinct ...
by Gotama (c. 6th century BC to 2nd century CE), founder of the
Nyaya Nyāya (Sanskrit: न्यायः, IAST: nyāyaḥ), literally meaning "justice", "rules", "method" or "judgment", is one of the six orthodox (Āstika) schools of Hindu philosophy. Nyāya's most significant contributions to Indian philosophy ...
school of
Hindu philosophy Hindu philosophy or Vedic philosophy is the set of philosophical systems that developed in tandem with the first Hinduism, Hindu religious traditions during the Iron Age in India, iron and Classical India, classical ages of India. In Indian ...
; and the tetralemma of
Nagarjuna Nāgārjuna (Sanskrit: नागार्जुन, ''Nāgārjuna''; ) was an Indian monk and Mahayana, Mahāyāna Buddhist Philosophy, philosopher of the Madhyamaka (Centrism, Middle Way) school. He is widely considered one of the most importa ...
(c. 2nd century CE). Indian logic stands as one of the three original traditions of
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
, alongside the Greek and the Chinese logic. The Indian tradition continued to develop through early to modern times, in the form of the Navya-Nyāya school of logic.


Origins

The Nasadiya Sukta of the ''
Rigveda The ''Rigveda'' or ''Rig Veda'' (, , from wikt:ऋच्, ऋच्, "praise" and wikt:वेद, वेद, "knowledge") is an ancient Indian Miscellany, collection of Vedic Sanskrit hymns (''sūktas''). It is one of the four sacred canoni ...
'' ( RV 10.129) contains
ontological Ontology is the philosophical study of being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every ...
speculation in terms of various logical divisions that were later recast formally as the four circles of '' catuskoti'': "A", "not A", "A and 'not A'", and "not A and not not A". Medhatithi Gautama (c. 6th century BCE) founded the ''anviksiki'' school of logic. The ''
Mahabharata The ''Mahābhārata'' ( ; , , ) is one of the two major Sanskrit Indian epic poetry, epics of ancient India revered as Smriti texts in Hinduism, the other being the ''Ramayana, Rāmāyaṇa''. It narrates the events and aftermath of the Kuru ...
'' (12.173.45), around the 4th century BCE to 4th century CE, refers to the ''anviksiki'' and ''tarka'' schools of logic. (c. 5th century BCE) developed a form of logic (to which
Boolean logic In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denot ...
has some similarities) for his formulation of Sanskrit grammar. Logic is described by
Chanakya Chanakya (ISO 15919, ISO: ', चाणक्य, ), according to legendary narratives preserved in various traditions dating from the 4th to 11th century CE, was a Brahmin who assisted the first Mauryan emperor Chandragupta Maurya, Chandragup ...
(c. 350-283 BCE) in his ''
Arthashastra ''Kautilya's Arthashastra'' (, ; ) is an Ancient Indian Sanskrit treatise on statecraft, politics, economic policy and military strategy. The text is likely the work of several authors over centuries, starting as a compilation of ''Arthashas ...
'' as an independent field of inquiry ''anviksiki''.


The schools


Vaisheshika

Vaisheshika, also Vaisesika, (Sanskrit: वैशेषिक) is one of the six Hindu schools of
Indian philosophy Indian philosophy consists of philosophical traditions of the Indian subcontinent. The philosophies are often called darśana meaning, "to see" or "looking at." Ānvīkṣikī means “critical inquiry” or “investigation." Unlike darśan ...
. It came to be closely associated with the Hindu school of logic, Nyaya. Vaisheshika espouses a form of atomism and postulates that all objects in the physical universe are reducible to a finite number of atoms. Originally proposed by Kanāda (or Kana-bhuk, literally, atom-eater) from around the 2nd century BCE.


Catuskoti

In the 2nd century, the
Buddhist Buddhism, also known as Buddhadharma and Dharmavinaya, is an Indian religion and List of philosophies, philosophical tradition based on Pre-sectarian Buddhism, teachings attributed to the Buddha, a wandering teacher who lived in the 6th or ...
philosopher
Nagarjuna Nāgārjuna (Sanskrit: नागार्जुन, ''Nāgārjuna''; ) was an Indian monk and Mahayana, Mahāyāna Buddhist Philosophy, philosopher of the Madhyamaka (Centrism, Middle Way) school. He is widely considered one of the most importa ...
refined the ''Catuskoti'' form of logic. The Catuskoti is also often glossed '' Tetralemma'' (Greek) which is the name for a largely comparable, but not equatable, 'four corner argument' within the tradition of
Classical logic Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. Characteristics Each logical system in this c ...
.


Nyaya

''Nyāya'' (''ni-āyá'', literally "recursion", used in the sense of "
syllogism A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defin ...
, inference") is the name given to one of the six orthodox or '' astika'' schools of Hindu philosophy — specifically the school of logic. The Nyaya school of philosophical speculation is based on texts known as the '' Nyaya Sutras'', which were written by Gotama in around the 2nd century CE. The most important contribution made by the Nyaya school to modern Hindu thought is its methodology. This methodology is based on a system of logic that has subsequently been adopted by most of the other Indian schools (orthodox or not), much in the same way that
Western philosophy Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre ...
can be said to be largely based on
Aristotelian logic In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly b ...
. Followers of Nyaya believed that obtaining valid knowledge was the only way to obtain release from suffering. They therefore took great pains to identify valid sources of knowledge and to distinguish these from mere false opinions. According to the Nyaya school, there are exactly four sources of knowledge (pramanas): perception, inference, comparison and testimony. Knowledge obtained through each of these can, of course, still be either valid or invalid. As a result, Nyaya scholars again went to great pains to identify, in each case, what it took to make knowledge valid, in the process creating a number of explanatory schemes. In this sense, Nyaya is probably the closest Indian equivalent to contemporary
analytic philosophy Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
.


Jain logic

Jainism Jainism ( ), also known as Jain Dharma, is an Indian religions, Indian religion whose three main pillars are nonviolence (), asceticism (), and a rejection of all simplistic and one-sided views of truth and reality (). Jainism traces its s ...
made its own unique contribution to this mainstream development of logic by also occupying itself with the basic epistemological issues, namely, with those concerning the nature of knowledge, how knowledge is derived, and in what way knowledge can be said to be reliable. Jain logic developed and flourished from 6th century BCE to 17th century CE. According to Jains, the ultimate principle should always be logical and no principle can be devoid of logic or reason. Thus one finds in the
Jain texts Jain literature () refers to the literature of the Jainism, Jain religion. It is a vast and ancient literary tradition, which was initially transmitted orally. The oldest surviving material is contained in the canonical ''Jain Agamas'', which ...
, deliberative exhortations on any subject in all its facts, may they be constructive or obstructive, inferential or analytical, enlightening or destructive. The Jains have doctrines of relativity used for logic and reasoning: *
Anekāntavāda (, "many-sidedness") is the Jainism, Jain doctrine about metaphysical truths that emerged in ancient India. It states that the ultimate truth and reality is complex and has multiple aspects and viewpoints. According to Jainism, no single, spe ...
 – the theory of relative pluralism or manifoldness; *
Syādvāda (, "many-sidedness") is the Jainism, Jain doctrine about metaphysical truths that emerged in ancient India. It states that the ultimate truth and reality is complex and has multiple aspects and viewpoints. According to Jainism, no single, spe ...
 – the theory of conditioned predication and; * Nayavāda – The theory of partial standpoints. These Jain philosophical concepts made most important contributions to the ancient
Indian philosophy Indian philosophy consists of philosophical traditions of the Indian subcontinent. The philosophies are often called darśana meaning, "to see" or "looking at." Ānvīkṣikī means “critical inquiry” or “investigation." Unlike darśan ...
, especially in the areas of skepticism and relativity. Following is the list of Jain philosophers who contributed to Jain Logic: * Kundakunda (2nd century CE), exponent of Jain mysticism and Jain nayas dealing with the nature of the soul and its contamination by matter, author of Pañcāstikāyasāra (Essence of the Five Existents), the Pravachanasāra (Essence of the Scripture) and the Samayasāra (Essence of the Doctrine). * Umāsvāti or Umasvami (2nd century CE), author of first Jain work in Sanskrit, Tattvārthasūtra, expounding the
Jain philosophy Jain philosophy or Jaina philosophy refers to the Ancient India, ancient Indian Indian philosophy, philosophical system of the Jainism, Jain religion. It comprises all the Philosophy, philosophical investigations and systems of inquiry that dev ...
in a most systematized form acceptable to all sects of Jainism. * Siddhasena Divākara (5th century CE), Jain logician and author of important works in Sanskrit and Prakrit, such as, Nyāyāvatāra (on Logic) and Sanmatisūtra (dealing with the seven Jaina standpoints, knowledge and the objects of knowledge). * Akalanka (8th century CE), a Jain logician whose Sanskrit-language works are seen as landmarks in Indian logic; called the "Master of Jain logic". * Haribhadrasuri (8th century CE), a Jaina thinker, author and great proponent of
anekāntavāda (, "many-sidedness") is the Jainism, Jain doctrine about metaphysical truths that emerged in ancient India. It states that the ultimate truth and reality is complex and has multiple aspects and viewpoints. According to Jainism, no single, spe ...
and classical yoga, as a soteriological system of meditation in Jaina context. His works include and Yogabindu. * Aacharya Hemacandra (1089–1172 CE) - a Jaina thinker, author, historian, grammarian and logician. His works include Yogaśāstra and Trishashthi Shalaka Purusha charitra. * Mahopadhya Yaśovijayaji (1624–88 CE) – Jain logician. * Acharya Mahapragya (1920–2010 CE);– Jain logician. The scholar of Philosophy Daya Krishna has recognized Acharya Shri Mahapragya as the most knowledgeable person on the subject of Jain Logic. His book "New Dimensions in Jaina Logic" is one of the best works on the subject in modern era. In 1975, he was specially invited to deliver a series of nine lectures on Jain Logic at the University of Rajasthan at Jaipur. The University published these lectures in the form of a book entitled "Jain Nyay Ka Vikas". His books on the subjects include "Jain Darshan-Mannan aur Mimansa", "Jain Dharma Aur Sanskriti", "Jain Darshan and Anekantvad", "Jain Dharma aur Darshan".


Buddhist logic

Indian Buddhist logic (called
Pramana ''Pramana'' (; IAST: Pramāṇa) literally means " proof" and "means of knowledge".
) flourished from about 500 CE up to 1300 CE. The three main authors of Buddhist logic are
Vasubandhu Vasubandhu (; Tibetan: དབྱིག་གཉེན་ ; floruit, fl. 4th to 5th century CE) was an influential Indian bhikkhu, Buddhist monk and scholar. He was a philosopher who wrote commentary on the Abhidharma, from the perspectives of th ...
(400–800 CE),
Dignāga Dignāga (also known as ''Diṅnāga'', ) was an Indian Buddhist philosopher and logician. He is credited as one of the Buddhism, Buddhist founders of Indian logic (''hetu vidyā'') and Buddhist atomism, atomism. Dignāga's work laid the grou ...
(480–540 CE), and Dharmakīrti (600–660 CE). The most important theoretical achievements are the doctrine of Trairūpya (Skrt. त्रैरूप्य) and the highly formal scheme of the Hetucakra (Skrt. हेतुचक्र) ("Wheel of Reasons") given by
Dignāga Dignāga (also known as ''Diṅnāga'', ) was an Indian Buddhist philosopher and logician. He is credited as one of the Buddhism, Buddhist founders of Indian logic (''hetu vidyā'') and Buddhist atomism, atomism. Dignāga's work laid the grou ...
. There is still a vibrant living tradition of Buddhist logic in the Tibetan Buddhist traditions, where logic is an important part of the education of monks.


Navya-Nyaya

The Navya-Nyāya or Neo-Logical darśana (school) of Indian philosophy was founded in the 13th century CE by the philosopher Gangesha Upadhyaya of
Mithila Mithila may refer to: Places * Mithilā, a synonym for the ancient Videha state ** Mithilā (ancient city), the ancient capital city of Videha * Mithila (region), a cultural region (historical and contemporary), now divided between India and Nepa ...
. It was a development of the classical Nyāya darśana. Other influences on Navya-Nyāya were the work of earlier philosophers Vācaspati Miśra (900–980 CE) and Udayana (late 10th century). Gangeśa's book Tattvacintāmaṇi ("Thought-Jewel of Reality") was written partly in response to Śrīharśa's Khandanakhandakhādya, a defence of Advaita Vedānta, which had offered a set of thorough criticisms of Nyāya theories of thought and language. In his book, Gangeśa both addressed some of those criticisms and – more importantly – critically examined the Nyāya darśana himself. He held that, while Śrīharśa had failed successfully to challenge the Nyāya realist ontology, his and Gangeśa's own criticisms brought out a need to improve and refine the logical and linguistic tools of Nyāya thought, to make them more rigorous and precise. Tattvacintāmani dealt with all the important aspects of Indian philosophy, logic,
set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
, and especially
epistemology Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...
, which Gangeśa examined rigorously, developing and improving the Nyāya scheme, and offering examples. The results, especially his analysis of cognition, were taken up and used by other darśanas. Navya-Nyāya developed a sophisticated language and conceptual scheme that allowed it to raise, analyse, and solve problems in logic and epistemology. It systematised all the Nyāya concepts into four main categories: sense or perception (pratyakşa), inference (anumāna), comparison or similarity ( upamāna), and testimony (sound or word; śabda). This later school began around eastern India and
Bengal Bengal ( ) is a Historical geography, historical geographical, ethnolinguistic and cultural term referring to a region in the Eastern South Asia, eastern part of the Indian subcontinent at the apex of the Bay of Bengal. The region of Benga ...
, and developed theories resembling modern logic, such as
Gottlob Frege Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philos ...
's "distinction between sense and reference of proper names" and his "definition of number," as well as the Navya-Nyaya theory of "restrictive conditions for universals" anticipating some of the developments in modern
set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
. Udayana in particular developed theories on "restrictive conditions for universals" and " infinite regress" that anticipated aspects of modern set theory. According to Kisor Kumar Chakrabarti:


Influence of Indian logic on modern logic

In the late 18th-century British scholars began to take an interest in Indian philosophy and discovered the sophistication of the Indian study of inference. This process culminated in Henry T. Colebrooke's ''The Philosophy of the Hindus: On the Nyaya and Vaisesika Systems'' in 1824, which provided an analysis of inference and comparison to the received
Aristotelian logic In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly b ...
, resulting in the observation that the Aristotelian
syllogism A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defin ...
could not account for the Indian syllogism. Max Mueller contributed an appendix to the 1853 edition of Thomson's ''Outline of the Laws of Thought'', in which he placed Greek and Indian logic on the same plane: "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." Jonardon Ganeri has observed that this period saw
George Boole George Boole ( ; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. H ...
(1815-1864) and
Augustus De Morgan Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician. He is best known for De Morgan's laws, relating logical conjunction, disjunction, and negation, and for coining the term "mathematical induction", the ...
(1806-1871) make their pioneering applications of algebraic ideas to the formulation of logic (such as
algebraic logic In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with Free variables and bound variables, free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic de ...
and
Boolean logic In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denot ...
), and has suggested that these figures were likely to be aware of these studies in xeno-logic, and further that their acquired awareness of the shortcomings of propositional logic are likely to have stimulated their willingness to look outside the system. Indian logic attracted the attention of many Western scholars, and had an influence on pioneering 19th-century logicians such as
Charles Babbage Charles Babbage (; 26 December 1791 – 18 October 1871) was an English polymath. A mathematician, philosopher, inventor and mechanical engineer, Babbage originated the concept of a digital programmable computer. Babbage is considered ...
(1791-1871),
Augustus De Morgan Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician. He is best known for De Morgan's laws, relating logical conjunction, disjunction, and negation, and for coining the term "mathematical induction", the ...
, and particularly
George Boole George Boole ( ; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. H ...
, as confirmed by Boole's wife Mary Everest Boole in an "open letter to Dr Bose" titled "Indian Thought and Western Science in the Nineteenth Century" written in 1901. De Morgan himself wrote in 1860 of the significance of Indian logic: "The two races which have founded the mathematics, those of the
Sanskrit Sanskrit (; stem form ; nominal singular , ,) is a classical language belonging to the Indo-Aryan languages, Indo-Aryan branch of the Indo-European languages. It arose in northwest South Asia after its predecessor languages had Trans-cultural ...
and Greek languages, have been the two which have independently formed systems of logic." Mathematicians became aware of the influence of Indian mathematics on the European. For example,
Hermann Weyl Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
wrote: "Occidental mathematics has in past centuries broken away from the Greek view and followed a course which seems to have originated in India and which has been transmitted, with additions, to us by the Arabs; in it the concept of number appears as logically prior to the concepts of geometry. ..But the present trend in mathematics is clearly in the direction of a return to the Greek standpoint; we now look upon each branch of mathematics as determining its own characteristic domain of quantities."


See also

* Catuṣkoṭi * Tetralemma *
Logical connective In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the ...
* Dialetheism *
Paraconsistent logic Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of log ...
* Prasangika * Two-truths doctrine * Tarka-Sangraha * Debates in ancient India * Seven valued logic


Notes


References

* Ganeri, Jonardon 2004. ''Indian Logic''. in: Gabbay, Dov & Woods, John (eds.),''Greek, Indian and Arabic Logic'', Volume I of the ''Handbook of the History of Logic'', Amsterdam: Elsevier, pp. 309–396. * Ganeri, Jonardon (ed.) 2001. ''Indian Logic. A Reader''. New York: Routledge Curzon. * Matilal, Bimal Krishnan 1985. ''Logic, Language, and Reality. An Introduction to Indian Philosophical Studies''. Delhi: Motilal Barnassidas, * Matilal, Bimal Krishnan 1998. ''The Character of Logic in India'', edited by Jonardon Ganeri and Heeraman Tiwari, Albany: State University of New York Press. * Perrett, Roy (ed.) 2001. ''Logic and Language: Indian Philosophy'', New York: Routledge.


External links

*
Indian Logic and Ontology
An annotated bibliography
Aristotle and Gautama on Logic and Physics


* Gillon, Brendan.
Indian theories of inference (subscription)
, in the Routledge Encyclopedia of Philosophy, 1998. * Peckhaus, Volker.
Dignaga’s Logic of Invention
. In Ivor Grattan-Guinness, editor, ''History of the Mathematical Sciences'', 2004. * V. V. S. Sarma
"Indian Systems of Logic (Nyaya): A Survey" (PDF)
'. ''Proc. Bombay Logic Conference'', 2005.
Vidhabhusana, Satis Chandra (1907). History of the Mediaeval School of Indian Logic. Calcutta University.
{{DEFAULTSORT:Indian Logic History of logic Indian philosophy