弗雷格逻辑哲学与现代数理逻辑思潮PDF电子书下载

前言 1

第一部分 3

第一章 引论：弗雷格逻辑哲学的语言哲学前提——语义理论概述 3

一　弗雷格生平 3

二　形式化与命名关系 6

三　小结 21

第二章　弗雷格的数学逻辑主义思想述评 23

一　历史背景 23

二 《概念文字》 25

三　算术逻辑化的具体工作 28

四 罗素悖论对弗雷格的影响 31

第三章　弗雷格的知识逻辑主义 36

一　逻辑而非心理学是知识的基础 37

二　知识性的思想 40

三　知识的形式推演系统 42

四　公理化思想与科学知识的增长 44

第四章　弗雷格的哲学逻辑主义研究 54

一　意义理论 55

二　思想的逻辑分析 59

三　思想的逻辑问题域 66

四　逻辑学研究的对象 75

第五章　弗雷格逻辑主义的理论反思 84

一　背景考察 84

二　构分关系 86

三　历史评析 88

第二部分 95

第六章　逻辑学与数学基础问题的历史联系 95

一　古希腊对数学基础问题的探讨 95

二　近代关于逻辑与数学基础问题的争议 102

三　现代数学基础研究与四大学派 108

一　数学基础研究的新进展 128

第七章　数学基础哲学问题研究 128

二　数理逻辑的发展与数学实在论和反实在论 145

三　对数学基础研究的哲学反思 160

四　实验数学对传统演绎数学的冲击 171

第八章　现代数理逻辑与哲学 192

一　集合论与无穷 192

二　模型论与语义 198

三　递归论与认知 207

四　构造主义数学与哲学 222

参考文献 237

附录 弗雷格与当代逻辑大事记（1848—2000） 242