现代逻辑

网友科普

现代逻辑是以数理逻辑为基础，通过形式化方法构建的逻辑系统。其历史起源可追溯至莱布尼茨开创的符号逻辑思想，经弗雷格、罗素等学者发展为包含集合论、模型论等分支的完整体系。该系统在语言学领域形成蒙塔古语法等交叉学科，在计算机科学中支持定理证明与程序验证，并通过公理化方法重构了亚里士多德逻辑。自20世纪传入中国后，现代逻辑方法深刻影响了金岳霖等哲学家的体系建构，形成中西融合的学术实践。

我要报错

问AI百科

百科AI智能，探索更多与"现代逻辑"相关的知识

随便看看

儒宗先睹为快元丑充起克然兩軍全胜兑说元语言学党庇