达米特的直觉主义逻辑研究
| 中文摘要 | 第8-9页 |
| ABSTRACT | 第9-10页 |
| 引言 | 第11-12页 |
| 第一章 前达米特的直觉主义逻辑及达米特的论证 | 第12-17页 |
| 1.1 直觉主义的提出 | 第12-13页 |
| 1.1.1 数学难题 | 第12页 |
| 1.1.2 难题的解惑 | 第12-13页 |
| 1.2 直觉主义的发展与完善 | 第13-15页 |
| 1.2.1 布劳威尔的直觉主义观念 | 第13-14页 |
| 1.2.2 海汀对直觉主义逻辑的发展 | 第14-15页 |
| 1.3 达米特对直觉主义的论证 | 第15-17页 |
| 第二章 达米特的直觉主义逻辑的内涵 | 第17-35页 |
| 2.1. 直觉主义逻辑的含义与主要概念 | 第17-19页 |
| 2.1.1 常项 | 第17-18页 |
| 2.1.2 构造 | 第18-19页 |
| 2.2 直觉主义逻辑的形式化 | 第19-25页 |
| 2.2.1 自然演绎 | 第19-23页 |
| 2.2.2 矢列演算 | 第23-25页 |
| 2.3 直觉主义逻辑的论证策略 | 第25-30页 |
| 2.3.1 形式系统 | 第25-28页 |
| 2.3.2 可实现性 | 第28-30页 |
| 2.4 直觉主义逻辑的语义学 | 第30-35页 |
| 2.4.1 直觉主义谓词逻辑的语义学 | 第30-32页 |
| 2.4.2 直觉主义谓词逻辑的完全性 | 第32-35页 |
| 第三章 达米特的直觉主义逻辑的影响与意义 | 第35-40页 |
| 3.1 直觉主义逻辑与经典逻辑 | 第35-36页 |
| 3.2 直觉主义语义学对真值条件语义学的替代 | 第36-38页 |
| 3.3 基于直觉主义的反实在论论证 | 第38-40页 |
| 结语 | 第40-41页 |
| 参考文献 | 第41-43页 |
| 攻读学位期间取得的研究成果 | 第43-44页 |
| 致谢 | 第44-45页 |
| 个人简况及联系方式 | 第45-47页 |
