アリストテレスは形式論理と演繹的推論を発明した

古代ギリシャの哲学者アリストテレスが、形式論理を考案したことをご存じですか。紀元前350年頃、彼は演繹的推論を導入しました。これは、前提から論理的に結論を導く画期的な方法です。彼の有名な例は、「すべての人間は死すべきものであり、ソクラテスは人間である。ゆえにソクラテスは死すべきものである」というものです。