インド論理学
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。
代数学
"algebra" という語はアラビア語の "al-jabr" （アラビア文字表記：、"reunion of broken parts"（バラバラのものの再結合））に由来し、近代代数学はアラビア数学から発展したもので、その起源を遡ると古代インドの数学にたどり着く。9世紀のバグダードの数学者アル＝フワーリズミーが著作した 『イルム・アル・ジャブル・ワル・ムカバラ（"Ilm al-jabr wa'l-muqabalah"）（約分と消約との学=The science of reduction and cancellation）』（820年）を、チェスターのロバート（あるいはバースのアデラード) ）が、"Liber algebrae et almucabala"としてラテン語に翻訳した。この書によってフワーリズミーは代数学を幾何学や算術から独立した一分野として確立した。これが後500年間にわたってヨーロッパの大学で教えられたという。"al-jabr" は、アラビア語では「al」（）が定冠詞、「jabr」（）が「バラバラのものを再結合する」「移項する」という意味であることから、インド数学のことである。それ以前にフワーリズミーはインドの数学から学んだことを『インドの数の計算法』として著し、イスラム世界に広めた。これは二次方程式、四則演算、十進法、0などの内容でラテン語に翻訳され、著者の名は「アルゴリズム」の語源であるといわれている。