1. 数理論理学の意
2. 形式的論理学(formale Logik)とは、ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた超越論的論理学(transzendentale Logik)と対比したもの。
   • エドムント・フッサールなどによって、従来の論理学を「全く誤解して」名付けたものであり、対比されている超越論的論理学は形而上学と認識論の奇妙な混合物というべきものであると批判された。（フッサール「形式的論理学と超越論的論理学」）

　　

関連記事

• 形式主義

出典: フリー百科事典『ウィキペディア（Wikipedia）』