|
新弗雷格算术的一致性和解释性 |
|
论文目录 |
|
摘要 | 第1-6页 | Abstract | 第6-7页 | 导论 | 第7-15页 | 第1节 基本术语 | 第7-8页 | 第2节 国外研究现状 | 第8-12页 | 第3节 国内研究现状 | 第12-13页 | 第4节 研究思路 | 第13-15页 | 第一章 抽象原则和一致性问题 | 第15-58页 | 第1节 抽象原则 | 第15-21页 | 第2节 非一致性这个魔鬼是如何进入弗雷格乐园的? | 第21-22页 | 第3节 魔鬼不是二阶量词,而是值域名称间恒等关系的真值规定 | 第22-23页 | 第4节 关于一致性问题,Wright对Dummett的回复 | 第23-36页 | 第5节 Dummett对Wright的再质疑 | 第36-44页 | 第6节 Boolos论休谟原则的分析性 | 第44-51页 | 第7节 Wright论休谟原则的分析性 | 第51-56页 | 注释 | 第56-58页 | 第二章 一阶片段一致性和二阶片段一致性 | 第58-105页 | 第1节 二阶算术子系统 | 第58-65页 | 第2节 弗雷格算术一阶和二阶子系统 | 第65-71页 | 第3节 一阶弗雷格片段的模型论证明 | 第71-80页 | 第4节 一阶弗雷格片段的有穷论证明 | 第80-84页 | 第5节 一阶弗雷格片段的不可判定性 | 第84-86页 | 第6节 弗雷格算术直谓片段的一致性和解释性 | 第86-96页 | 第7节 △_1~1概括二阶逻辑的一致性 | 第96-103页 | 注释 | 第103-105页 | 第三章 非直谓理论可解释性 | 第105-143页 | 第1节 弗雷格零、前趋和自然数的定义 | 第105-107页 | 第2节 非直谓弗雷格算术的一致性和解释性 | 第107-119页 | 第3节 分叉直谓算术的一致性和解释性 | 第119-131页 | 第4节 理论HFR的一致性和解释性 | 第131-137页 | 第5节 对非直谓弗雷格算术的评论 | 第137-142页 | 注释 | 第142-143页 | 第四章 直谓理论可解释性 | 第143-199页 | 第1节 对一阶片段和二阶片段一致性的评论 | 第143-151页 | 第2节 一致性限制定理的有穷论精化 | 第151-160页 | 第3节 罗宾逊算术在直谓理论PV中的可解释性 | 第160-169页 | 第4节 弗雷格定理直谓变体 | 第169-173页 | 第5节 Burgess的PV就是Robinson的Q | 第173-178页 | 第6节 直谓弗雷格阶序 | 第178-197页 | 注释 | 第197-199页 | 结论 | 第199-207页 | 参考文献 | 第207-212页 | 后记 | 第212-213页 |
|
|
|