逻辑与形而上学教科书系列：作为哲学的数理逻辑 pdf epub mobi txt 电子书 下载 2025

简体网页||繁体网页

☆☆☆☆☆

杨睿之 著

图书标签:

• 数理逻辑
• 逻辑学
• 形而上学
• 哲学
• 教科书
• 逻辑与形而上学
• 哲学史
• 数学基础
• 形式系统
• 逻辑哲学

出版社： 复旦大学出版社

ISBN：9787309126587

版次：1

商品编码：12022399

包装：平装

开本：16开

出版时间：2016-11-01

用纸：胶版纸

页数：218

字数：250000

内容简介

　　现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。
　　此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而，无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作，也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。

作者简介

　　杨睿之,复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。

目录

第一章 导言
1．1 数理逻辑与分析哲学的蜜月期
1．1．1 弗雷格《概念文字》与《算术基础》
1．1．2 罗素《论指称》
1．1．3 刘易斯对严格蕴涵的刻画
1．1．4 塔斯基的真定义
1．1．5 图灵对能行过程的刻画
1．2 分道扬镳
1．2．1 形式语言vs．日常语言
1．2．2 自然化的分析哲学
1．2．3 新形式主义
1．3 危机与困境
1．3．1 分析哲学的危机
1．3．2 数理逻辑的困境
第二章 计算与随机
2．1 不可计算的度
2．1．1 递归可枚举集
2．1．2 度的结构
2．2 随机性
2．2．1 随机性的对象
2．2．2 刻画随机性
2．2．3 随机性与可计算性
第三章 相对一致性
3．1 相对一致性结果的意义和有穷主义方法
3．2 可构成集与直谓主义
3．3 力迫法与脱殊扩张
3．3．1 外模型与玩具模型
3．3．2 想象的语言
第四章 无穷之上
4．1 二阶算术与大基数
4．1．1 描述集合论
4．1．2 无穷博弈与决定性公理
4．1．3 大基数公理
4．2 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引

《逻辑与形而上学教科书系列：作为哲学的数理逻辑》是一部深入探讨数理逻辑在哲学领域应用与影响的里程碑式著作。本书旨在为读者构建一个坚实的理论框架，揭示逻辑形式如何成为理解世界基本结构和思维本质的关键工具。 本书首先追溯了逻辑学的历史渊源，从亚里士多德的传统逻辑出发，详细阐述了其基本概念、推理规则及其局限性。随后，笔锋一转，进入了现代数理逻辑的革命性进展，重点介绍命题逻辑和一阶谓词逻辑的公理系统、语义解释以及完备性与可靠性等核心性质。作者通过严谨的数学证明和清晰的哲学论证，展示了这些形式系统如何能够精确地捕捉和分析复杂的思想结构，为哲学论证提供了一种前所未有的精确度和严格性。 在深入介绍数理逻辑的工具之后，本书的核心内容——“作为哲学的数理逻辑”——便开始展开。作者并非将数理逻辑仅仅视为一种形式语言或技术手段，而是将其视为一种独特的哲学方法论，一种理解和重塑哲学问题的强大力量。本书详细探讨了数理逻辑在认识论、形而上学、语言哲学以及科学哲学等多个哲学分支中的具体应用。 在认识论方面，本书分析了知识的本质、信念的合理性以及证明的结构，并展示了模态逻辑如何被用来刻画可能世界和必然性，从而深化我们对知识的理解。作者认为，通过数理逻辑的分析，我们可以更清晰地界定“知道”、“相信”和“合理”等关键概念，并能更有效地评估不同认识论理论的内部一致性和解释力。 在形而上学领域，本书尤为引人注目。作者探讨了本体论、同一性、因果关系以及时空本质等形而上学难题，并论证了数理逻辑如何为这些抽象概念提供精确的分析框架。例如，通过对集合论的深入讨论，本书揭示了关于存在和类别的形而上学争议的逻辑根源；通过对时间逻辑的研究，本书展现了如何形式化地描述时间流逝、事件顺序以及对未来的预测等形而上学问题。作者强调，数理逻辑并非要取代形而上学的直觉或思辨，而是要为形而上学的探索提供更严谨的工具和更可靠的论证基础。 在语言哲学中，本书重点阐释了逻辑形式与语言意义之间的深刻联系。作者详细介绍了真值条件语义学，并通过量词、指称、真值等概念，展现了数理逻辑如何帮助我们理解句子的意义、指代关系以及真假判断的机制。本书还讨论了逻辑悖论，如说谎者悖论，并分析了多种解决这些悖论的逻辑方法，从而深化了我们对语言的精确性和哲学解释的理解。 在科学哲学方面，本书论证了数理逻辑在科学模型构建、理论解释、定律表述以及归纳推理等方面的核心作用。作者分析了科学假说如何通过形式化的语言得以清晰表达，科学理论的演进如何体现在逻辑体系的扩展与修正之中。本书还探讨了概率逻辑在理解不确定性、统计推断以及科学决策中的应用。 本书的另一大特色在于其对非经典逻辑的广泛介绍，如直觉主义逻辑、多值逻辑、相干逻辑等。作者详细阐述了这些非经典逻辑系统的动机、公理系统和哲学意涵，并探讨了它们在解决传统逻辑无法处理的哲学问题时所展现出的独特优势。通过对这些不同逻辑体系的比较分析，读者能够更深刻地理解逻辑的多样性及其在哲学探索中的灵活性。 《逻辑与形而上学教科书系列：作为哲学的数理逻辑》不仅是一部介绍数理逻辑的教科书，更是一部引导读者进行深度哲学思考的指南。作者以其深厚的学养和清晰的阐释，将抽象的逻辑概念与具体的哲学问题巧妙地融为一体，为所有对逻辑、哲学以及两者交叉领域感兴趣的读者提供了一次宝贵的学习和探索机会。本书的出版，标志着数理逻辑在哲学研究中的地位得到了进一步的巩固和提升，必将对相关领域的未来发展产生深远影响。

评分☆☆☆☆☆

当我翻开这本书时，我从未预料到它会如此深刻地改变我理解世界的方式。作者将数理逻辑的严谨性与形而上学的探索性巧妙地结合在一起，为我打开了一扇通往全新思想领域的大门。书中关于“知识”的定义和获取的探讨，让我印象尤为深刻。作者并非满足于日常对“知道”的理解，而是引入了逻辑学中的“认知模型”（epistemic logic），来形式化地分析“知道”这一概念。他探讨了“知道”的条件，例如“相信”、“真实”和“理由”，以及这些条件之间的逻辑关系。这让我开始思考，我们是如何确信自己“知道”某事，以及知识的可靠性在逻辑上是如何被保证的。通过这种严谨的逻辑分析，原本模糊的“知识”概念变得清晰而具体。此外，书中关于“存在”的论述，通过模态逻辑中的可能世界语义，为理解“必然存在”、“偶然存在”以及“可能存在”提供了精确的工具。这让我对那些关于“上帝是否存在”或“世界为何存在”的形而上学问题，有了更深层次的思考，并看到了用逻辑语言来解析这些问题的可能性。

评分☆☆☆☆☆

这绝对是一本让我耳目一新的著作。我一直对形而上学中的那些宏大议题抱有兴趣，但常常觉得它们过于飘渺，缺乏坚实的论证基础。而这本书，它就像一座灯塔，照亮了我对这些问题的探索之路。作者以数理逻辑为剑，以形而上学的深邃为靶，进行了一场场精彩绝伦的“思想搏击”。书中对“同一性”的分析，通过同一律、同一性原理以及数理逻辑中的等词（equality）和标识符（identifier）的概念，将一个看似简单却又无比复杂的问题解剖得淋漓尽致。读到这里，我联想到了古希腊哲学家关于“忒修斯之船”的著名思想实验，而作者运用数理逻辑的分析，使得这种抽象的困境有了具体的、可以操作的理解框架。它让我们看到，我们在日常生活中对“同一”的判断，背后隐藏着多么复杂的逻辑结构。更让我惊喜的是，作者在讨论“因果性”时，引入了模态逻辑中的条件句和逻辑蕴涵，从而对“如果A发生，那么B就发生”这种因果判断进行了更为精密的刻画。这让我意识到，我们对因果关系的理解，可以超越简单的“先发生后发生”，而上升到一种逻辑必然性的层面。这种深入的哲学分析，结合了数理逻辑的强大工具，让原本难以捉摸的概念变得清晰而有力。我特别欣赏作者在处理一些经典哲学难题时所展现出的那种细致入微、步步为营的风格，仿佛一位经验丰富的侦探，在搜集证据，推理真相。

评分☆☆☆☆☆

这本书对我而言，不仅仅是一本教科书，更像是一次思维的洗礼。作者以其非凡的才华，将数理逻辑的严谨性和形而上学的深刻性融为一体。我深深着迷于书中关于“自由意志”的讨论。作者并没有回避这一古老而又棘手的哲学难题，而是尝试用逻辑学中的时序逻辑和决策树的思想来刻画“选择”的过程。他探讨了如果我们对未来的行为有多种选择，那么这种“自由”在逻辑上是否可以被理解。例如，他通过引入“可能的世界”和“选择路径”的概念，让我们看到，自由可能是一种在逻辑分支上的行动。这让我开始反思，我们对“自由”的定义是否过于模糊，而数理逻辑是否能为我们提供一个更为清晰的框架来理解它。此外，书中关于“时间”的探讨，也极具启发性。作者利用逻辑学中的时间算子，分析了时间流逝的必然性，以及关于时间循环或多重时间线的可能性。这让我对时间的本质有了更深层次的理解，并开始思考，我们日常对时间的感知，是否与逻辑上的时间结构存在关联。

评分☆☆☆☆☆

这本书如同一次智力探险，带领我深入到逻辑与形而上学的交汇之处。作者展现出了惊人的才华，将数理逻辑的严密性转化为理解形而上学深层问题的有力工具。我特别受益于书中关于“因果关系”的论述。作者并没有满足于对因果的日常解释，而是利用数理逻辑中的时序逻辑和条件句，对因果链进行了细致的分析。他探讨了“原因”和“结果”之间的逻辑必然性，以及如何区分“相关性”和“因果性”。这让我深刻认识到，我们对因果关系的理解，可以超越直观的感受，而上升到一种更为精确的逻辑层面。例如，他通过引入“格兰杰因果关系”（Granger Causality）的思想，虽然并非直接使用，但其背后蕴含的逻辑推理，让我对如何从数据中推断因果关系有了初步的认识。此外，书中关于“模态”的讨论，特别是对“必然性”、“偶然性”和“可能性”的区分，通过数理逻辑中的模态算子，为理解这些形而上学概念提供了坚实的逻辑基础。这让我开始重新审视那些关于“世界是否只能是这样”的哲学问题，并思考它们在逻辑上是否具有确定性。

评分☆☆☆☆☆

这本书以其严谨的论证和深刻的洞察力，为我打开了逻辑学与形而上学之间迷人联系的大门。在阅读过程中，我时常被作者如何巧妙地运用数理逻辑的工具来解析那些古老而又根本的哲学问题所折服。例如，书中关于“存在”的讨论，作者并没有流于抽象的哲学思辨，而是借助模态逻辑中的可能世界语义，清晰地阐释了必然性、偶然性以及可能性的概念。这使得原本在哲学课堂上听起来有些玄乎的“本体论证明”也变得触手可及，甚至能够看到其中蕴含的数学上的严谨性。作者对于亚里士多德的“实体”概念的分析，更是让我眼前一亮，将逻辑学中的谓词演算与本体论中的个体、属性和关系联系起来，揭示了我们如何通过逻辑结构来理解世界的构成。这种跨学科的融合，不仅仅是知识的叠加，更是思维方式的革新。读这本书，我感觉自己仿佛置身于一个由精确符号和深刻思想构建起来的迷宫，每一步都充满了探索的乐趣和发现的惊喜。书中对悖论的探讨，尤其是关于集合论中的罗素悖论，作者并非简单地复述，而是深入分析了其逻辑根源，并展示了如何在数理逻辑的框架下构建更完善的理论来规避这些悖论。这让我深刻体会到，逻辑的精确性不仅仅是形式的游戏，更是支撑我们认识世界、构建理论的基石。它让我想起了芝诺的悖论，以及那些困扰了哲学家千百年的关于运动和无限的问题，而数理逻辑的出现，似乎为这些问题提供了一种全新的、更具确定性的解决路径。对于我来说，这本书的价值远不止于知识的增长，更在于它重塑了我对哲学和数学关系的理解，让我看到了它们之间并非高墙隔绝，而是可以相互滋养、共同前进的。

评分☆☆☆☆☆

这是一本真正能够挑战思维的书籍，它以数理逻辑的精妙框架，对形而上学中最根本的那些问题进行了深刻的剖析。作者的写作风格严谨而富有启发性，总能在不经意间点亮读者的思路。我尤其喜欢书中关于“同一性”的探讨。作者通过逻辑学中的等词（equality）和同一律，以及对个体和属性的分析，为理解“对象在不同时间或情境下是否还是同一个对象”这一经典问题提供了精确的分析工具。这让我开始思考，我们日常生活中对“同一”的判断，背后究竟蕴含着怎样的逻辑规则。例如，一棵树在不断生长、不断更换叶子，它在逻辑上是否还是同一棵树？作者的论证过程，让我看到了将这些哲学困惑转化为逻辑问题的可能性。此外，书中对“真理”的深入研究，也让我大开眼界。作者并非简单地介绍几种真理观，而是利用命题逻辑和一阶逻辑的工具，对“真理”的定义、真理的指称以及真理的传播进行了形式化的分析。这让我深刻理解了，在逻辑层面，一个命题的真假是如何被确定的，以及这种确定性是如何构建起来的。

评分☆☆☆☆☆

这绝对是一本能够拓宽视野、深化理解的佳作。作者以其卓越的学识，将数理逻辑的精确性与形而上学的深度巧妙地融合。我尤其欣赏书中关于“本质”与“现象”的区分。作者并没有止步于哲学思辨，而是尝试用逻辑学中的“属性”和“对象”的概念，来阐述事物的本质属性与表层现象之间的逻辑联系。他探讨了什么是事物的“必要属性”，以及这些属性是否可以通过逻辑推理来确定。这让我开始思考，我们是如何区分事物的核心本质和无关紧要的表面特征的，以及这种区分是否可以被形式化。例如，对于一个人而言，其“思考能力”是否是一种本质属性，而其“衣着颜色”是否只是一种现象？作者的分析，让我看到了用逻辑语言来捕捉这些哲学区分的潜力。同时，书中关于“意向性”（intentionality）的讨论，也让我耳目一新。作者通过引入逻辑学中的“关于”（aboutness）的概念，来分析意识的指向性特征。这让我开始思考，我们的思想如何能够“指向”外部世界，以及这种“指向”在逻辑上是如何实现的。

评分☆☆☆☆☆

我从未想过，数理逻辑这门以严谨、精确著称的学科，竟然能够为我揭示形而上学那些令人着迷的奥秘。这本书的魅力在于，它并没有将这两个领域割裂开来，而是将它们编织成一幅逻辑严密、思想深刻的画卷。关于“普遍性”与“特殊性”的探讨，是我读到的部分中最具启发性的。作者通过集合论和类型论的概念，清晰地阐释了如何从个体实例（特殊性）推导出一般性质（普遍性），以及这种推导过程的逻辑基础。这让我对我们如何形成概念、如何理解事物的共性有了全新的认识。书中对于“属性”的分析，更是让我惊叹。作者利用谓词逻辑中的函数和变量，对事物的属性进行了形式化的描述，并进一步探讨了属性的继承、组合以及是否存在“无属性”的情况。这种将抽象的哲学讨论转化为逻辑语言，不仅增强了论证的说服力，也使得原本晦涩的概念变得更加易于理解。我曾经因为一些形而上学的问题而感到困惑，觉得它们似乎永远没有确定的答案，但这本书让我看到了，通过数理逻辑的工具，我们能够对这些问题进行更为深入、更为精确的分析，并可能找到新的解决思路。它是一种思维的启迪，也是一种知识的升华。

评分☆☆☆☆☆

初次翻开此书，便被其独特的视角和深厚的功底所吸引。作者并非简单地将数理逻辑作为一种分析工具，而是将其视为一种理解形而上学基本问题的钥匙。我对其中关于“自由意志”的讨论尤其印象深刻。作者并没有回避这一哲学史上的难题，而是尝试用时序逻辑（temporal logic）来刻画“未来”的不确定性和“选择”的可能性。通过引入逻辑运算符，如“未来某个时刻”（F）和“过去某个时刻”（P），以及“必然”（□）和“可能”（◊），作者构建了一个严谨的框架来审视我们对自由行动的理解。这让我开始反思，我们所说的“自由”，是否可以被理解为在某个逻辑分支上的选择，而这个选择本身又是否受到某些前置条件的约束？这种将抽象的哲学概念转化为可操作的逻辑模型，无疑是极具开创性的。此外，书中对“时间”本质的探讨，也让我受益匪浅。作者通过逻辑学的语言，阐述了时间线性流逝的观点，以及关于时间循环或分支的可能性。这不仅仅是理论上的推演，更是引导读者去思考我们日常生活中的时间体验，以及它背后可能存在的逻辑结构。这本书让我觉得，哲学并非是遥不可及的空谈，而是可以通过严谨的逻辑推理，触及到我们最根本的认知和存在的问题。

评分☆☆☆☆☆

一本让我沉浸其中，久久不能自拔的书。作者以其卓越的洞察力，将数理逻辑的严谨性与形而上学的深邃性完美结合。我尤其喜欢书中关于“真理”的讨论。作者并没有仅仅停留在日常语言中对“真”的理解，而是借助数理逻辑中的真值函数、命题演算和一阶逻辑，对“真理”进行了更为严格的定义和分析。他探讨了不同类型的真理，例如逻辑真理和经验真理，以及它们之间的区别与联系。这让我开始思考，我们是如何判断一个命题为真的，以及在不同的逻辑体系下，“真”的概念是否会发生变化。更令我着迷的是，作者在探讨“可能世界”时，如何运用逻辑学中的模态算子来描述不同世界的可能性和必然性。这使得我们能够以一种更为系统和精确的方式来理解那些关于“可能性”和“必然性”的哲学命题。例如，我们如何区分“我今天可能会下雨”和“水是H2O”这两种不同程度的必然性？通过数理逻辑的语言，这些问题似乎有了更为清晰的解答。这本书不仅仅是在传授知识，更是在引导读者进行一种全新的哲学思考方式。

评分☆☆☆☆☆

比较满意，一次并非不愉快的购物体验。

评分☆☆☆☆☆

书与网上介绍相符，送货速度快，快递人员态度好

评分☆☆☆☆☆

很满意这次购物

评分☆☆☆☆☆

商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！商品不错！

评分☆☆☆☆☆

入门有点难，需要静下心来看，书的质量不错。

评分☆☆☆☆☆

还需要一段时间，读过才知道。

评分☆☆☆☆☆

给别人买的，没听说不好。。。。。

评分☆☆☆☆☆

给别人买的，没听说不好。。。。。

评分☆☆☆☆☆

比较满意，一次并非不愉快的购物体验。