当前位置:首页 > 哲学宗教
弗雷格逻辑哲学与现代数理逻辑思潮
弗雷格逻辑哲学与现代数理逻辑思潮

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

哲学宗教

  • 电子书积分:10 积分如何计算积分?
  • 作 者:郭泽深著
  • 出 版 社:北京:中国社会科学出版社
  • 出版年份:2006
  • ISBN:7500458835
  • 页数:247 页
图书介绍:弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。
《弗雷格逻辑哲学与现代数理逻辑思潮》目录

前言 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

返回顶部