Neblux 知識グラフ
論理学
論理学は、妥当な推論、帰結関係、および形式体系を研究する学問である。前提から結論が導かれる規範的構造を哲学・数学・計算の枠組みを通じて解明する。
概要
古代哲学において演繹的論証の体系化が着手され、中世の研究を経て推論規則の検討が深められた。19世紀末から20世紀初頭にかけて、記号化により厳密な形式体系として再構築された。続く不完全性や計算可能性の解明は、形式的演繹体系の能力と限界を明らかにした。
なぜ重要か
論理学は、計算理論、プログラミング言語の意味論、および形式手法の理論的基盤を提供する。さらに、哲学的論証分析や数学の基礎論、自然言語の形式意味論にも応用されている。
何の上に築かれるか
どこへ導くか
関連する概念
- 哲学歴史