现代逻辑

网友科普

现代逻辑是以数理逻辑为基础，运用形式化方法构建的逻辑系统，其特点包括使用人工符号语言和形式化公理方法。该系统涵盖集合论、模型论等分支，在语言学中形成蒙塔古语法等交叉学科，在计算机科学中应用于定理证明与程序验证，并通过公理化方法重构了亚里士多德逻辑。该体系起源于莱布尼茨的符号逻辑思想，经弗雷格、罗素等学者发展完善，20世纪30年代后因哥德尔不完备定理和图灵机理论得到新突破。20世纪传入中国后，金岳霖将罗素《数学原理》引入国内，提出必要条件假言推理形式，推动现代逻辑在中国哲学界的传播。全国现代逻辑学术研讨会等学术活动持续促进该领域研究交流。

我要报错

问AI百科

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

随便看看

鬻第鬦高石魁奇鱼狗鬼董狐鲛人泣珠高夐鬼见怕鳌鱼