インド論理学
2世紀に仏教の学僧ナーガールジュナが論理学の一形式、四句分別(catuṣkoṭi、チャトゥシュコーティ)を定式化した。これは古典論理学においてテトラレンマとも呼ばれる、大雑把に比較可能であるが同一ではない「四つの立場の主張」である。
『リグ・ヴェーダ』のナサディヤ・スクタ(10.129)では論理学の様々な分野の用語を用いての存在論的な思索がなされたが、これは後に「四句分別(チャトゥシュコーティ)」の四つの円―「Aである」、「Aでない」、「AであってAでない」、「AではないしAでないということもない」―として再定式化されることになる。
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(Pāṇini、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。