任意公开宣告逻辑对证实原则的逻辑分析

目录	第1-5页
中文摘要	第5-7页
Abstract	第7-9页
第1章 绪论	第9-12页
·问题的提出及其研究现状	第9-10页
·研究思路和主要内容	第10-12页
第2章 菲奇悖论和证实原则修正方案	第12-22页
·逻辑实证主义及其证实原则	第12-14页
·逻辑实证主义	第12-13页
·证实原则	第13-14页
·信念逻辑中的菲奇悖论——摩尔悖论	第14-17页
·摩尔悖论	第14-16页
·摩尔悖论的动态变化形式	第16-17页
·认知逻辑中的菲奇悖论	第17-19页
·证实原则的修正方案	第19-22页
第3章 任意公开宣告逻辑	第22-32页
·公开宣告逻辑	第22-28页
·公开宣告逻辑的初始语言和语义	第22-24页
·公开宣告逻辑的几则原理	第24-26页
·公开宣告逻辑公理化演算系统	第26-28页
·任意公开宣告逻辑	第28-32页
·任意公开宣告逻辑的初始语言和语义	第28页
·任意公开宣告逻辑的几则原理	第28-29页
·任意公开宣告逻辑公理化演算系统	第29-32页
第4章 对证实原则修正方案的逻辑分析	第32-38页
·证实原则的新修正方案	第32-33页
·成功公式和可认知公式	第33-35页
·成功公式	第33-34页
·可认知公式	第34-35页
·所有公式都是知道是否是真的公式	第35-38页
第5章 总结	第38-39页
致谢	第39-40页
参考文献	第40-41页
攻读硕士期间的学术成果	第41页