演繹
以上のことを一般化した演繹の代表例として三段論法がある。 「人は必ず死ぬ」という大前提、「ソクラテスは人である」という小前提から「ソクラテスは必ず死ぬ」という結論を導き出す。この例のように二つの前提から結論を導き出す演繹を三段論法という。演繹においては前提が真であれば、結論も真となる。
ここで、「ソクラテス」の代わりに「私」を入れても正しい演繹となる。演繹による必然性とは前提には依存しておらず、前提を仮に認めるとすれば、必然的に結論が導かれるという形になってあらわれる。
アリストテレスが演繹の体系を構築し、フレーゲの登場までそれが長らく西洋論理学の中心となっていた。
イマヌエル・カントは、通常の意味とは異なった形で演繹 (Deduktion) という語を用いている。カントにおいて演繹とは概念の正当性の証明を意味する。最も代表的な例は『純粋理性批判』におけるカテゴリー(範疇)の超越論的演繹である。演繹のこのような用法は当時の法学用語に由来するといわれ、カントのいたるところにみられる。