图书标签: 数理逻辑 哲学 数学 逻辑学 逻辑 分析哲学 逻辑与形而上学教科书系列 科普
发表于2024-12-22
作为哲学的数理逻辑 pdf epub mobi txt 电子书 下载 2024
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解,孕育了现代计算机科学,还促成了分析哲学的崛起,由此深刻地改变了哲学研究的样貌。
此后的数理逻辑越来越陷入高度的技术化与专业化,并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而,无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方,让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作,也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。
详略得当,难易度掌握得很好。既没有太多的定理和证明,使人迷失于技术细节之中,又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言,这本小书恐怕还未能达到其目的,但作为科普是相当优秀的
评分详略得当,难易度掌握得很好。既没有太多的定理和证明,使人迷失于技术细节之中,又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言,这本小书恐怕还未能达到其目的,但作为科普是相当优秀的
评分详略得当,难易度掌握得很好。既没有太多的定理和证明,使人迷失于技术细节之中,又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言,这本小书恐怕还未能达到其目的,但作为科普是相当优秀的
评分大基数和内模型计划几乎都没读懂
评分详略得当,难易度掌握得很好。既没有太多的定理和证明,使人迷失于技术细节之中,又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言,这本小书恐怕还未能达到其目的,但作为科普是相当优秀的
评分
评分
评分
评分
作为哲学的数理逻辑 pdf epub mobi txt 电子书 下载 2024