Indian logic

The development of Indian logic dates back to the anviksiki of Medhatithi Gautama (c. 6th century BCE) the Sanskrit grammar rules of Pāṇini (c. 5th century BCE); the Vaisheshika school's analysis of atomism (c. 2nd century BCE); the analysis of inference by Gotama (c. 2nd century), founder of the Nyaya school of Hindu philosophy; and the tetralemma of Nagarjuna (c. 2nd century CE). Indian logic stands as one of the three original traditions of logic, alongside the Greek and the Chinese. The Indian tradition continued to develop through to early modern times, in the form of the Navya-Nyāya school of logic.

The Nasadiya Sukta of the Rigveda (RV 10.129) contains ontological 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 (12.173.45), around the 5th century BCE, refers to the anviksiki and tarka schools of logic. Pāṇini (c. 5th century BCE) developed a form of logic (to which Boolean logic has some similarities) for his formulation of Sanskrit grammar. Logic is described by Chanakya (c. 350-283 BCE) in his Arthashastra as an independent field of inquiry anviksiki.

...
Wikipedia