形式論理学

形式論理（けいしきろんり）とは、
 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。
 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。フッサール『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきもの、だそうである。

非形式論理学や形式主義 (数学) などの記事も参照のこと。

論理学
数学に関する記事