摘要 | 第1-4页 |
Abstract | 第4-5页 |
目录 | 第5-6页 |
第1章 自认知逻辑概述 | 第6-11页 |
§1.1 AE-逻辑的产生及发展 | 第6-8页 |
§1.2 AE-逻辑的基本思想 | 第8-11页 |
第2章 自认知逻辑的形式系统及其证明论 | 第11-33页 |
§2.1 AE-逻辑的语言 | 第11-16页 |
§2.2 AE-逻辑的语义 | 第16-18页 |
§2.3 AE-逻辑的扩张及性质 | 第18-25页 |
§2.4 AE-扩张的能行判定法 | 第25-28页 |
§2.5 AE-逻辑的可靠性和完全性 | 第28-33页 |
第3章 对自认知逻辑研究中存在问题的进一步探讨 | 第33-38页 |
§3.1 逻辑全知问题及相关解决方案 | 第33-36页 |
§3.2 Moore悖论及其避免 | 第36-38页 |
结语 | 第38-40页 |
参考文献 | 第40-43页 |
致谢 | 第43-44页 |