0人評分過此書
弗雷格是数理逻辑的创始人和分析哲学的奠基人，他的大部分工作都致力于一种被称为逻辑主义的数学哲学，即把算术还原为逻辑。为了执行逻辑主义方案，弗雷格设计了一种新的逻辑系统，它在实质上是由二阶逻辑与第五公理构成的二阶理论。然而，罗素在弗雷格的逻辑系统中发现了悖论。长久以来，人们一直认为罗素发现的这个悖论彻底瓦解了弗雷格的逻辑主义。但是，20世纪80年代，人们重新发现了休谟原则，由此引发了新弗雷格主义的兴起。本书的目的是对弗雷格的逻辑主义进行系统性研究，以当代新弗雷格主义及相关争论为出发点，返璞归真，还原弗雷格本
- 封面
- 前折页
- 书名页
- 目录
- 弗雷格著作缩写
- 导言
-
第一章 从逻辑到算术
-
第一节 逻辑
-
第二节 算术
-
-
第二章 《概念文字》中的形式证明
-
第一节 定理98（§§23-28）
-
第二节 定理133（§§29-31）
-
-
第三章 《算术基础》中的形式证明
-
第一节 等数关系（§§70-73）
-
第二节 零、后继关系和祖先关系（§§74-81）
-
第三节 在自然数序列中不存在最大数（§§82-83）
-
-
第四章 《算术基本规律》中的形式证明
-
第一节 符号（第一卷§§1-25）
-
第二节 公理和规则（第一卷§§47-48）
-
第三节 主要定义（第一卷§§34-46）
-
第四节 主要定理（第一卷§§54-179和第二卷§§1-54）
-
第五节 罗素悖论（第二卷后记）
-
-
第五章 改变抽象原则
-
第一节 修正的第五公理
-
第二节 休谟原则
-
第三节 新公理
-
-
第六章 区分抽象原则
-
第一节 保守性
-
第二节 稳定性
-
第三节 强保守性
-
第四节 良莠不齐问题的哲学意义
-
-
第七章 限制经典逻辑
-
第一节 二阶直谓逻辑
-
第二节 二阶正逻辑
-
第三节 二阶分层概括
-
-
第八章 修正经典逻辑
-
第一节 二阶多值逻辑
-
第二节 二阶模态逻辑
-
-
第九章 凯撒与数
-
第一节 数的定义
-
第二节 莱特和赫克的解决方案
-
第三节 新的解决方案
-
第四节 凯撒问题的扩展
-
-
第十章 凯撒与外延
-
第一节 公理和定义
-
第二节 从公理和定义的角度看凯撒问题
-
第三节 概念的来源与同一
-
第四节 自然语言的误导
-
-
第十一章 真值问题
-
第一节 弗雷格的概念文字有没有语义学
-
第二节 塔斯基的真定义是不是语义学
-
第三节 对当代多元真理论的批判
-
第四节 分层真理论
-
-
第十二章 涵义问题
-
第一节 克里普克之前的争论
-
第二节 克里普克的解决方案
-
第三节 语法涵义、认知涵义和逻辑涵义
-
第四节 不存在涵义无穷分层问题
-
- 参考文献
- 致谢
- 版权页
- 后折页
- 封底
- 出版地 ： 中國大陸
- 語言 ： 簡體中文
- DOI ： 10.978.75201/59739
評分與評論
請登入後再留言與評分
EPUB
EPUB
EPUB
EPUB
PDF
