摘要
近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。
The great development of modern science,which is based on the revival of mathematics concept and the application of mathematical tools,provides an opportunity of the creation of mathematical logic.Mathematical logic originates from Leibniz＇s speculation of thinking calculability.Its expanding and deepening lie in the establishment of propositional and predicate calculus as well as the meta-level research of formal system.In the future mathematical logic will aufheben the pure form to achieve the dialectic unification of form and content.
出处
《安庆师范学院学报（社会科学版）》
2010年第11期48-51,共4页
Journal of Anqing Teachers College(Social Science Edition)
关键词
传统逻辑
数理逻辑
发展逻辑
未来趋向
classic logic
mathematical logic
development logic
future trend
