Neblux 知識圖譜
邏輯學
邏輯學是研究有效推理與推論原則的學科——探討結論何時必然源自前提——連結著哲學、數學與電腦科學。
概觀
亞里斯多德在古代系統化了演繹推理；中世紀學者將其應用於神學論證；弗雷格、羅素與懷特海在十九世紀末至二十世紀初將其形式化為符號邏輯。哥德爾的不完備定理與圖靈的可計算性結果隨後揭示了形式系統的根本限制——使邏輯學轉變為對數學與計算均有深遠影響的學科。
為什麼重要
邏輯學成為電腦科學的理論基礎：每一個演算法都是形式程序，每一種程式語言都實現了一個邏輯系統，而程式驗證需要正確性的形式證明。在語言學中，形式語意學運用邏輯為句子如何表達意義、以及自然語言中的推斷如何運作建立模型，將哲學與數學連結至人類溝通的研究。
建立在什麼之上
通往哪裡
相關概念
- 哲學歷史