インド論理学
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。
インドの数学
数を表すための言語がパーニニによって整理され、代数学が発達する基礎となった。数学の一部門としての代数は、アールヤバタの『アールヤバティーヤ』で確立される。代数は「クッタカ」とも呼ばれ、このクッタカという語は、もとは「粉々に砕く」という意味を指し、のちに係数の値を小さくしてゆく逐次過程の方法を意味するようになり、代数の不定解析を表すようになった。