「形式論理学」の版間の差分
提供: miniwiki
ja>MetaNest |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 18:17時点における版
形式論理(けいしきろんり)とは、
- 近代(哲学からの影響の薄れた)以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。
- (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。フッサール『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきもの、だそうである。
非形式論理学や形式主義 (数学) などの記事も参照のこと。 テンプレート:Logic-stub