インド論理学
インド論理学は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ(紀元前6世紀頃)のアンヴィクシキ学派やパーニニ(紀元前5世紀頃)のサンスクリット文法規則にまで遡り、続いてヴァイシェーシカ学派による原子論の分析(紀元前2世紀頃)、ニヤーヤ学派の創始者ガウタマによる推論の分析(2世紀頃)、そしてナーガールジュナの四句分別(2世紀頃)が挙げられる。
論理学
古代より世界各地において論理学の研究に関する文献が残されており、それらから中国の墨子が墨弁において推論や証明の形式的な方法を考察したことや、インドのディグナーガなどが論証の基本的な条件について整理したこと、またギリシアにおいてはエウクレイデスが公理に基づいた論証を用いたことや、アリストテレスが推論の規則として三段論法(gr. syllogismos) を定式化したことが知られている。これらの研究の中でもインドと中国での研究は個別に進められたが、ギリシアでの研究は中世においてアラビアやヨーロッパに伝わり、ルネサンス以後の研究者にも参照されていることから、歴史的な研究成果として位置づけることができる。今日の論理学の体系は19世紀における研究成果に基づいているため、ここではそれ以前の論理学である伝統的論理学について概説する。