新弗雷格算术的致性和解释性.pdf

目录 摘要 Abstract 导论 1 第1节基本术语．．．．．．．．．．．．．．．．．．．．．．．一．．．．．．．．． 1 第2节国外研究现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．． 2 第3节国内研究现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．． 6 第4节研究思路．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．． 7 第一章抽象原则和一致性问题 9 第1节抽象原则．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．． 9 第2节非一致性这个魔鬼是如何进入弗雷格乐园的7 ．．．．．．．．．．．．． 15 第3节魔鬼不是二阶量词，而是值域名称间恒等关系的真值规定．．．．．．． 16 17 第4节关于一致性问题，Wright对Dummett的回复．．．．．．．．．．．．． 30 第5节Dummett对Wright的再质疑．．．．．．．．．．．．．．．．．．．．．． 38 第6节Boolos论休谟原则的分析性．．．．．．．．．．．．．．．．．．．．．．． 45 第7节Wright论休谟原则的分析性．．．．．．．．．．．．．．．．．．．．．．． 第二章一阶片段一致性和二阶片段一致性 52 第1节二阶算术子系统．．．．．．．．．．．．．．．．．．．．．．．．．．．．．． 52 第2节弗雷格算术一阶和二阶子系统．．．．．．．．．．．．．．．．．．．．．． 59 第3节一阶弗雷格片段的模型论证明．．．．．．．．．．．．．．．．．．．．．． 65 第4节一阶弗雷格片段的有穷论证明．．．．．．．．．．．．．．．．．．．．．． 74 第5节一阶弗雷格片段的不可判定性．．．．．．．．．．．．．．．．．．．．．． 78 第6节弗雷格算术直谓片段的一致性和解释性．．．．．．．．．．．．．．．．． 80 第7节△；概括二阶逻辑的一致性．．．．．．．．．．．．．．．．．．．．．．．． 90 第三章非直谓理论可解释性 99 第1节弗雷格零、前趋和自然数的定义．．．．．．．．．．．．．．．．．．．．． 99 第2节非直谓弗雷格算术的一致性和解释性．．．．．．．．．．．．．．．．．．101 新弗雷格算术的一致性和解释性 第3节分叉直谓算术的一致性和解释性．．．．．．．．．．．．．．．．．．．．．113 第4节理论HFR的一致性和解释性．．．．．．．．．．．．．．．．．．．．．．．125 第5节对非直谓弗雷格算术的评论．．．．．．．．．．．．．．．．．．．．．．．．131 第四章直谓理论可解释性 137 第1节对一阶片段和二阶片段一致性的评论．．．．．．．．．．．．．．．．．．137 第2节一致性限制定理的有穷论精化．．．．．．．．．．．．．．．．．．．．．．145 第3节罗宾逊算术在直谓理论PV中的可解释性．．．．．．．．．．．．．