भारत में तर्कशास्त्र की परम्परा बहुत पुरानी है। यह कम से कम ६ठी शताब्दी ईशा पूर्व में मेधातिथि गौतम के आन्वीक्षिकी (शाब्दिक अर्थ : 'अन्वेषण विद्या') से आरम्भ होती है। इसी परम्परा में <MASK> के संस्कृत व्याकरण के नियम (५वीं शती ईशापूर्व); ईशापूर्व दूसरी शती का वैशेषिक सम्प्रदाय; दूसरी शताब्दी ईशापूर्व में न्याय दर्शन के प्रणेता गौतम द्वारा प्रमाणों (inference) का विशद् विश्लेषण; तथा दूसरी शताब्दी ईशापूर्व नागार्जुन की चतुष्कोटि (tetralemma) उल्लेखनीय हैं।
भारतीय तर्कशास्त्र
नागार्जुन पाणिनि अक्षपाद भारमल