作者以开阔的学术视野和娴熟的笔法,深入细致地梳理了弗雷格逻辑哲学思想和现代数理逻辑思潮,并深刻反思了现代数学基础问题、数学哲学问题和现代数理逻辑的哲学意义,为读者展示了一幅描绘20世纪波澜壮阔的数理逻辑思潮的瑰丽画卷。
作者以开阔的学术视野和娴熟的笔法,深入细致地梳理了弗雷格逻辑哲学思想和现代数理逻辑思潮,并深刻反思了现代数学基础问题、数学哲学问题和现代数理逻辑的哲学意义,为读者展示了一幅描绘20世纪波澜壮阔的数理逻辑思潮的瑰丽画卷。在浸淫于语言—逻辑—哲学—数学的知识构架的同时,让你领略到作者精妙的构思和严谨的治学精神。
前言
第一部分
第一章 引论:弗雷格逻辑哲学的语言哲学前提
——语义理论概述
一 弗雷格生平
二 形式化与命名关系
三 小结
第二章 弗雷格的数学逻辑主义思想述评
一 历史背景
二 《概念文字》
三 算术逻辑化的具体工作
四 罗素悖论对弗雷格的影响
第三章 弗雷格的知识逻辑主义
一 逻辑而非心理学是知识的基础
二 知识性的思想
三 知识的形式推演系统
四 公理化思想与科学知识的增长
第四章 弗雷格的哲学逻辑主义研究
一 意义理论
二 思想的逻辑分析
三 思想的逻辑问题域
四 逻辑学研究的对象
第五章 弗雷格逻辑主义的理论反思
一 背景考察
二 构分关系
三 历史评析
第二部分
第六章 逻辑学与数学基础问题的历史联系
一 古希腊对数学基础问题的探讨
二 近代关于逻辑与数学基础问题的争议
三 现代数学基础研究与四大学派
第七章 数学基础哲学问题研究
一 数学基础研究的新进展
二 数理逻辑的发展与数学实在论和反实在论
三 对数学基础研究的哲学反思
四 实验数学对传统演绎数学的冲击
第八章 现代数理逻辑与哲学
一 集合论与无穷
二 模型论与语义
三 递归论与认知
四 构造主义数学与哲学
参考文献
附录 弗雷格与当代逻辑大事记(1848—2000)