インド論理学
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。
インド論理学
今日、数学者はインド数学のヨーロッパ人への影響を意識している。例えば、ヘルマン・ワイルがこう書いている。「西洋の数学は過去数世紀間、ギリシア人の考え方から逃れて、インドに起源をもつとされさらにアラブ人によって我々にもたらされた考え方に従ってきた。その考え方では数の概念は幾何学の概念としてより先に論理学の概念として現れる。」(Weyl, 1929)