インド論理学
インド論理学は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ(紀元前6世紀頃)のアンヴィクシキ学派やパーニニ(紀元前5世紀頃)のサンスクリット文法規則にまで遡り、続いてヴァイシェーシカ学派による原子論の分析(紀元前2世紀頃)、ニヤーヤ学派の創始者ガウタマによる推論の分析(2世紀頃)、そしてナーガールジュナの四句分別(2世紀頃)が挙げられる。
形式科学
形式的に洗練された近代論理学の扱いは、アリストテレスの項論理()などで知られ、のちにイスラムの論理学者たちが発展させたギリシャ流のものによる。インド流の論理学は早期近代まで続いた。中国流の論理学は中世においてインド流論理学が採用され生き残れなかった。