出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "形式論理学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2013年7月) |
形式論理(けいしきろんり)とは、
- 近代(哲学からの影響の薄れた)以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。
- (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。フッサール『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきもの、だそうである。
非形式論理学や形式主義 (数学) などの記事も参照のこと。