| 数理逻辑的发展及未来趋向 |
| |
| 引用本文： | 王力钢.数理逻辑的发展及未来趋向[J].安庆师范学院学报(社会科学版),2010,29(11):48-51. |
| |
| 作者姓名： | 王力钢 |
| |
| 作者单位： | 第三军医大学,人文社科学院,重庆,400038 |
| |
| 摘 要： | 近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。
|
| 关 键 词： | 传统逻辑 数理逻辑 发展逻辑 未来趋向 |
The Development Logic and Future Trend of Mathematical Logic |
| |
| WANG Li-gang.The Development Logic and Future Trend of Mathematical Logic[J].Journal of Anqing Teachers College(Social Science Edition),2010,29(11):48-51. |
| |
| Authors: | WANG Li-gang |
| |
| Institution: | WANG Li-gang(Faculty of Humanities and Social Science,Third Military Medical University,Chongqing 400038,China) |
| |
| Abstract: | 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 u... |
| |
| Keywords: | classic logic mathematical logic development logic future trend |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
