論理学の歴史
形式論理学は古典期インドでも独立に発生して初期近代まで発展し続けており、ギリシア論理学から影響があったかどうかは知られていない。メダティティ・ガウタマ(紀元前6世紀)は論理学派のアンヴィクシキ派を創始した。紀元前5世紀頃の『マハーバーラタ』(12.173.45)では論理学のアンヴィクシキ派とタルカ派に言及している。パーニニ(Pāṇini、紀元前5世紀頃)は自身のサンスクリット文法を形成する上で、(ブール論理といくつかの共通点を持つ)論理形式を発展させた。チャーナキヤ(紀元前350年ごろ-紀元前283年)は著書『アルタシャーストラ』の中で論理学は独立した研究領域「アンヴィクシキ」だと述べた。
インドの六学派のうち、ニヤーヤ学派とヴァイシェーシカ学派の二つが論理学を扱っている。アクサパンダ・ガウタマ(2世紀)の『ニヤーヤ・スートラ(英語版)』はヒンドゥー哲学の6つの正統学派の一つニヤーヤ学派の中心的な文献となっている。この実在論的な学派は最初の前提、根拠、事例、応用、結論という五段階の枠組みから成る厳密な推論を発展させた。観念論的な仏教哲学はニヤーヤ学派に対する主な反論者となった。中観派の創始者ナーガールジュナ (150年頃-250年頃)は四句分別(英語版)として知られる分析を発展させた。この論証法では命題の肯定、否定、肯定かつ否定、肯定でも否定でもないの四種類を体系的に吟味・棄却する。