論理学
古代より世界各地において論理学の研究に関する文献が残されており、それらから中国の墨子が墨弁において推論や証明の形式的な方法を考察したことや、インドのディグナーガなどが論証の基本的な条件について整理したこと、またギリシアにおいてはエウクレイデスが公理に基づいた論証を用いたことや、アリストテレスが推論の規則として三段論法を定式化したことが知られている。これらの研究の中でもインドと中国での研究は個別に進められたが、ギリシアでの研究は中世においてアラビアやヨーロッパに伝わり、ルネサンス以後の研究者にも参照されていることから、歴史的な研究成果として位置づけることができる。今日の論理学の体系は19世紀における研究成果に基づいているため、ここではそれ以前の論理学である伝統的論理学について概説する。
アリストテレスは伝統的論理学の体系的な研究に取り組んだ哲学者であり、彼はギリシャ語で言語、論理を意味するロゴス (λόγος, logos) から「ことば」の学としてのロギカ(ギリシア語の形容詞 λογικ, logica)を構想した。アリストテレスは『オルガノン』において論証に使われる文章を命題として捉え、それぞれの命題がどのように組み合わさることで正しい推論が可能になるかを考察している。特にアリストテレスの論理学での業績には三段論法の定式化が含まれており、これは二つの前提から一つの結論を導き出す推論の形式を指すものである。例えば「すべてのAはBである。すべてのCはAである。したがって、すべてのCはBである」は三段論法に則った論証であると言うことが可能である。