数理逻辑的发展及未来趋向 王力钢 【期刊名称】《安庆师范学院学报(社会科学版)》 【年(卷),期】2010(029)011 【摘 要】近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机.数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究.数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一. 【总页数】4页(P48-51) 【作 者】王力钢 【作者单位】第三军医大学,人文社科学院,重庆,400038 【正文语种】中 文 【中图分类】B813 【相关文献】 1.竞技武术套路的发展历程及其未来发展趋向 [J], 张青 2.落实科学发展观积极构建和谐航道——趋向未来航道建设与和谐发展的思考 [J], 花志 3.浅谈我国煤化工工业发展现况及未来发展趋向 [J], 王欣桐 4.安徽省煤炭产业发展概况及未来发展趋向 [J], 陈登红;华心祝;李寒旭;王恩乾 5.浅谈我国煤化工发展现状及未来发展趋向 [J], 王欣桐 因版权原因,仅展示原文概要,查看原文内容请购买 本文来源:https://www.wddqw.com/doc/11e1e01d2c60ddccda38376baf1ffc4ffe47e2be.html