数理逻辑的发展及未来趋向

作者：王力钢

来源：安庆师范学院学报(社会科学版), 2010, (11): 48-51.

• 传统逻辑
• 数理逻辑
• 发展逻辑
• 未来趋向 classic logic
• mathematical logic
• development logic
• future trend

近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。

• 单位
  中国人民解放军陆军军医大学