书名：作为哲学的数理逻辑
副标题：
作者：杨睿之
出版社：复旦大学出版社
ISBN：9787309126587
出版时间：2016
页数：218
定价：32.00
内容简介： 现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。 此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而，无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作，也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。 详略得当，难易度掌握得很好。既没有太多的定理和证明，使人迷失于技术细节之中，又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言，这本小书恐怕还未能达到其目的，但作为科普是相当优秀的 详略得当，难易度掌握得很好。既没有太多的定理和证明，使人迷失于技术细节之中，又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言，这本小书恐怕还未能达到其目的，但作为科普是相当优秀的 当我们谈论机械过程时，我们实际谈论的是进行算术运算的机械过程 是不是凡是能被精确表达的问题或函数都能被能行地解决 首先，一个能行的或机械的过程必须仅依赖一组有穷的指令集，每条指令也必须是有穷的。正如一个计算器就其基本单元的数量而言，一个计算机程序就其本身所含...