原创力文档- 1、本文档共209页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
新弗雷格算术的致性和解释性
目录
摘要
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中的可解释性．．．．．．．．．．．．．
文档评论（0）