Wikipedia

形式論理学

形式論理（けいしきろんり）とは、

  1. 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。
  2. 独: Formale Logik: （ドイツ観念論哲学の祖と言われる）イマヌエル・カントがアリストテレス流の論理学にあたえた名称。これは自分が唱えた Transzendentale Logik（ドイツ語版） と対比したものである。フッサールによれば、これは従来の論理学をカントが全く誤解して名付けたものであり、これと対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきものである[1][要ページ番号]。
「非形式論理学」および「形式主義 (数学)」も参照

脚注 編集

[脚注の使い方]
  1. ^ Edmund Husserl『Formale und transzendentale Logik [形式的論理学と超越論的論理学]』1929年。 
 

この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。

 

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

「https://ja.wikipedia.org/w/index.php?title=形式論理学&oldid=99702378」から取得