インド論理学
インド論理学は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ(紀元前6世紀頃)のアンヴィクシキ学派やパーニニ(紀元前5世紀頃)のサンスクリット文法規則にまで遡り、続いてヴァイシェーシカ学派による原子論の分析(紀元前2世紀頃)、ニヤーヤ学派の創始者ガウタマによる推論の分析(2世紀頃)、そしてナーガールジュナの四句分別(2世紀頃)が挙げられる。
論理学の歴史
もう一つの起源はバビロニアに見いだされる。紀元前11世紀のの医学書『診断手引書』は一連の論理的な公理系・前提に基づいて構築されており、一方で紀元前8-7世紀のバビロニア天文学者は内的論理を惑星の運行の予測に用いて科学哲学における重要な業績を上げた。