インド論理学
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。
論理学の歴史
19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代におけるこの時期の発展、いわゆる「記号」あるいは「数理」論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。