第一章 数学哲学的历史发展 1
第一节 数学与哲学的历史联系 1
一 古希腊时期 1
二 近代时期 11
第二节 数学哲学的现代发展 20
一 现代数学基础研究的深入 21
二 现代的数学哲学研究 29
第二章 数学的“逻辑化”与逻辑的“数学化” 33
第一节 数学的“逻辑化” 33
一 逻辑主义的基本观点 33
二 逻辑主义的基础研究 37
三 逻辑主义的失败 47
第二节 数学与逻辑 52
一 数学与逻辑的同一性 52
二 数学与逻辑的差异性 55
三 逻辑主义失败的认识论根源 57
第三节 逻辑的“数学化” 58
一 数理逻辑的早期发展 58
二 数理逻辑的成熟 63
三 数理逻辑的现代发展 74
四 数理逻辑的性质和特点 75
第一节 直觉主义的数学基础研究 77
第三章 直觉主义数学与直觉主义逻辑 77
一 直觉主义的数学观 78
二 对于古典逻辑和古典数学的批判 83
三 直觉主义数学与直觉主义逻辑 89
第二节 对于直觉主义的分析与评论 97
一 直觉主义与构造主义 97
二 直觉主义的失败 99
三 直觉主义的贡献 106
第四章 希尔伯特规划及哥德尔不完备性定理 109
第一节 希尔伯特规划 109
一 希尔伯特的数学观 110
二 希尔伯特规划 116
第二节 哥德尔不完备性定理及希尔伯特规划的失败 128
一 希尔伯特规划的失败 128
二 对于希尔伯特数学观的分析与评论 133
三 哥德尔不完备性定理的意义 142
第五章 数学哲学总论 148
第一节 数学对象的实在性 149
一 问题的尖锐化 149
二 实在论与形式主义的观点 153
三 数学对象在实在性问题上的辩证性 164
第二节 数学的真理性问题 171
一 数学真理的客观性及其检验标准 172
二 数学的认识论问题 180
一 悖论与数学基础“危机” 186
第三节 悖论与数学基础问题 186
二 数学基础问题 196
第四节 数学的辩证性 199
一 数学的定义 199
二 数学的辩证性 205
第六章 哲学逻辑(上) 212
第一节 哲学逻辑的基本特征 212
一 传统哲学逻辑的再现 212
二 现代哲学逻辑的基本特征 215
三 研究哲学逻辑的意义 219
一 模态词 220
第二节 模态逻辑 220
二 命题模态逻辑的语法研究 221
三 模态逻辑的语义学研究 230
四 广义的模态逻辑 235
第三节 多值逻辑 237
一 多值逻辑概述 237
二 三值逻辑 239
三 多值逻辑的形式语义学研究 245
四 关于多值逻辑的其它问题 251
第七章 哲学逻辑(下) 255
第一节 模糊逻辑 256
一 模糊逻辑产生和发展的必然性 256
二 作为多值逻辑之一的模糊逻辑 259
三 模糊逻辑 263
四 模糊推理 271
五 模糊逻辑与标准逻辑 272
第二节 不协调逻辑 276
一 悖论与不协调逻辑 276
二 不协调逻辑 280
三 协调性与不协调性的相互关系 290
第三节 辩证逻辑 292
一 辩证逻辑是一种非形式的哲学逻辑 292
二 辩证逻辑的核心——矛盾 295
三 辩证逻辑的方法 301
四 辩证逻辑、形式逻辑与不协调逻辑 307
一 逻辑中的哲学问题 310
第八章 逻辑哲学 310
第一节 逻辑发展的动力 310
二 逻辑发展的动力 313
第二节 逻辑的真理性 321
一 逻辑经验主义对逻辑真理的看法 321
二 对逻辑主义真理观的批评 325
三 对逻辑真理的评论 328
四 逻辑真理的绝对性与相对性的再分析 329
第三节 逻辑与本体论 331
一 传统本体论与逻辑本体论 331
二 数理逻辑的兴起与逻辑本体论的研究 332
三 对量词的两种解释以及由此导致的不同的哲学结果 335
- 《当代数学哲学与逻辑哲学入门》桂起权著 1991
- 《数学、逻辑与哲学》郑毓信,林曾著 1987
- 《数理逻辑与数学哲学》(瑞士)J.M.波亨斯基,(美)H.B柯里著;田龙九,李仁寿译 1991
- 《劳特利奇哲学史 第9卷 20世纪科学 逻辑和数学哲学》(加)斯图亚特·G·杉克尔主编;江怡,许涤非,张志伟等译 2017
- 《20世纪科学、逻辑和数学哲学》(加)斯图亚特·G.杉克尔(Stuart G.Shanker)主编 2016
- 《理论流体力学的逻辑自洽化分析 源于“湍流”的哲学和数学思考》杨本洛著 1998
- 《算术基础 对于数这个概念的一种逻辑数学的研究》(德)G.弗雷格著 2009
- 《算术基础 对于数这个概念的一种逻辑数学的研究》(德)G.弗雷格著 2011
- 《算术基础 对于数这个概念的一种逻辑数学的研究》(德)G.弗雷格(Gottlob Frege)著;王路译 1998
- 《哲学逻辑引论》张学立,董英东等编著 2013
- 《数学、逻辑与哲学》郑毓信,林曾著 1987
- 《数学教育哲学》郑毓信著;郑毓信主编 2001
- 《数学方法论》郑毓信著 1991
- 《数学教育的现代发展》郑毓信著 1999
- 《现代逻辑的发展》郑毓信编著 1989
- 《数学哲学新论》郑毓信著;王建军责任编辑 1990
- 《西方数学哲学》夏基松,郑毓信著 1986
- 《数学模式论》徐利治,郑毓信著 1993
- 《数学方法论》郑毓信著 1996
- 《关系映射反演方式》徐利治,郑毓信编著 1989
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16622-1996 压配式实心轮胎系列=Series of pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16623-2008 压配式实心轮胎技术规范=Technical specification of Pressed-on solid tyres》 2222
- 《人民力量 武汉人民战胜特大洪水》张学亮编写 2011
- 《中华人民共和国国家标准 GB/T21692-2008 数控压力机、液压机用模拟负荷测试系统=Analog load testing system for CNC presses and hydra》 2222
- 《湖北武汉·洪山宝通禅寺》万松亭 2222
- 《洪水淹不了人民的武汉》吴文蜀著 1955
- 《和洪水搏斗的武汉人民》湖北人民出版社编 1955
- 《湖北武汉文革资料 第3辑》湖北文革史研究会(筹)编辑 2002