内容简介

现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解,孕育了现代计算机科学,还促成了分析哲学的崛起,由此深刻地改变了哲学研究的样貌。

此后的数理逻辑越来越陷入高度的技术化与专业化,并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而,无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方,让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作,也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。

下载地址

豆瓣评论

  • 马蹄北去
    详略得当,难易度掌握得很好。既没有太多的定理和证明,使人迷失于技术细节之中,又有充分的符号公式可以很清晰地区分别出诸概念的异同。就作者希望重启分析哲学与数理逻辑的对话的野心而言,这本小书恐怕还未能达到其目的,但作为科普是相当优秀的02-26
  • 队长别开枪
    当时读了快一半吧,很难!很数学向,远没有马帅的数理逻辑来的香03-14
  • Anchi_Re
    veritas (no), means (neither), tantum (whatsoever...)04-01
  • 种瓜得瓜
    需要重看。对数学、逻辑的怀疑或说迷惑:只是实用性的工具,至少现在解决不了什么终极真理。虽然,可以说一个人能达到认识限度就是他的终极真理。个体活着的目标和彻底求真、求知是不冲突的,可以互不相关。对逻辑需要彻底的反思,思考成立需要规则,而反思这种最基础的规则就是对逻辑最根本的思考。这也不影响人遵循一定规则下取得的实际成果,因为就算人不知道水为什么往低处流,同样可以利用这条规则去达成人的目的。最基本的逻辑规则避开不解释而认定它们为原理,而企图不理解原理是什么就解释世界怎么不会是妄想呢?遗憾的是对世界的解释就是奠基于这些没有得到解释只是得到定义的原理,原理必须在已经确立思维规则(逻辑)的前提下得出,也就是说规则只能从已经确立的诸多规则中理解。魔怔,深知混乱的语言是无谓的,要彻底的清晰、简单。04-12
  • 本意是好的
    第四章大基数理论以后(差不多4.20以后)已经不能理解了,作者感觉写的比较仓促,这部分好多概念没写清楚。第二章可以作为计算理论的入门,第三章是集合论-模型论的介绍,第四章是相对前沿的集合论知识。至于作者那个把这些已经高度专业化数学化的逻辑学和分析哲学统合起来的野心,我读了以后感觉把关于分哲的部分去掉反而还更自然一些,而且就书中内容来看似乎也没有什么统合的必要。04-03

猜你喜欢

大家都喜欢