作为哲学的数理逻辑
- 书名：作为哲学的数理逻辑
- 作者： 杨睿之
- 格式：PDF
- 时间：2024-07-31
- 评分：
- ISBN：9787309126587
内容简介：
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。
此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而，无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作，也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。
作者简介：
下载地址：
标签：
文章链接：https://www.dushupai.com/book-content-60158.html(转载时请注明本文出处及文章链接)
读书评论：
更多
-
马蹄北去02-26详略得当，难易度掌握得很好。既没有太多的定理和证明，使人迷失于技术细节之中，又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言，这本小书恐怕还未能达到其目的，但作为科普是相当优秀的
-
队长别开枪03-14当时读了快一半吧，很难！很数学向，远没有马帅的数理逻辑来的香
-
Anchi_Re04-01veritas (no), means (neither), tantum (whatsoever...)
猜你喜欢：
-
2024-06-215 -
2024-06-215 -
2024-06-215 -
2024-06-216 -
2024-06-214 -
2024-06-2112 -
2024-06-214 -
2024-06-2119