| 摘要 | 第7-9页 |
| Abstract | 第9-10页 |
| 文献综述 | 第11-23页 |
| 一、达米特逻辑哲学思想相关概念解析 | 第11-12页 |
| 二、达米特学术简介 | 第12-14页 |
| 三、达米特逻辑哲学思想的国外研究现状和主要问题 | 第14-17页 |
| （一）哲学思想研究成果丰硕而逻辑与哲学关系的研究成果少见 | 第14-16页 |
| （二）直觉主义逻辑成果丰富而直觉主义逻辑与哲学的探讨不足 | 第16-17页 |
| 四、达米特逻辑哲学思想的国内研究现状与不足之处 | 第17-23页 |
| （一）重视语言哲学、数学哲学而忽略心灵哲学、宗教哲学等研究 | 第17-20页 |
| （二）直觉主义逻辑成果较少且直觉主义逻辑与哲学的关注度不高 | 第20-23页 |
| 第1章 引言 | 第23-29页 |
| 1.1 选题背景及意义 | 第23-25页 |
| 1.1.1 重视达米特的哲学思想研究而忽略直觉主义逻辑基础 | 第23-25页 |
| 1.1.2 理论价值及实践意义 | 第25页 |
| 1.2 基本结构和主要内容 | 第25-26页 |
| 1.2.1 框架结构 | 第25页 |
| 1.2.2 内容纲要 | 第25-26页 |
| 1.3 主要工作与创新之处 | 第26-29页 |
| 1.3.1 五项工作 | 第26-27页 |
| 1.3.2 在逻辑哲学和证明论中的价值 | 第27-29页 |
| 第2章 论达米特的命题与事实观 | 第29-39页 |
| 2.1 事实、陈述与命题的关系 | 第29-30页 |
| 2.1.1 事实与陈述 | 第29-30页 |
| 2.1.2 命题与陈述 | 第30页 |
| 2.1.3 事实与命题 | 第30页 |
| 2.2 论两种相互对立的命题观 | 第30-31页 |
| 2.2.1 罗素的命题观 | 第30-31页 |
| 2.2.2 弗雷格的命题观 | 第31页 |
| 2.3 对事实是真命题的哲学反思 | 第31-34页 |
| 2.3.1 哲学反思的前提 | 第31-32页 |
| 2.3.2 对罗素或维特根斯坦命题观的批判性思考 | 第32-33页 |
| 2.3.3 关于弗雷格命题（思想）观的哲学反思 | 第33-34页 |
| 2.4 论命题与实在 | 第34-39页 |
| 2.4.1 对弗雷格命题观和意义理论的扬弃 | 第34-35页 |
| 2.4.2 强调弗雷格思想观的客观性 | 第35页 |
| 2.4.3 对两种相互对立的命题观的反思 | 第35-39页 |
| 第3章 拒斥经典逻辑的两种论证方法 | 第39-51页 |
| 3.1 使用决定数学陈述（命题）意义的方法 | 第40-41页 |
| 3.2 通过学习数学观念的方法 | 第41页 |
| 3.3 对语言整体观的反思 | 第41-45页 |
| 3.4 对语言分子论的考察 | 第45-51页 |
| 第4章 数学的直觉主义逻辑辩护 | 第51-61页 |
| 4.1 直觉主义逻辑的基本辩护类型 | 第51-54页 |
| 4.1.1 对第二类辩护的反思 | 第52-53页 |
| 4.1.2 关于第一类辩护的批判性思考 | 第53-54页 |
| 4.2 论基本辩护类型相反组合的可能性 | 第54-55页 |
| 4.3 论数学陈述经典的真概念 | 第55-56页 |
| 4.4 论数学陈述的证明概念 | 第56-61页 |
| 第5章 直觉主义逻辑的真理论研究 | 第61-71页 |
| 5.1 直觉主义逻辑常项的意义 | 第61-64页 |
| 5.1.1 析取和存在量词 | 第61-63页 |
| 5.1.2 蕴涵、全称量词和否定 | 第63-64页 |
| 5.2 关于典范证明的反思 | 第64-71页 |
| 5.2.1 典范证明的含义 | 第64-65页 |
| 5.2.2 典范证明与直觉主义真 | 第65-66页 |
| 5.2.3 典范证明的方法 | 第66-71页 |
| 第6章 达米特直觉主义逻辑的矢列式自然演绎系统研究 | 第71-95页 |
| 6.1 直觉主义谓词逻辑的自然演绎系统 | 第71-77页 |
| 6.1.1 一阶逻辑的形式语言 | 第71-72页 |
| 6.1.2 NSI系统 | 第72-74页 |
| 6.1.3 NSI系统的证明策略 | 第74-75页 |
| 6.1.4 矢列式自然演绎系统与根岑的自然演绎系统的关系 | 第75-76页 |
| 6.1.5 矢列式自然演绎系统的历史地位和意义 | 第76-77页 |
| 6.2 直觉主义谓词逻辑的两种证明演算形式的比较研究 | 第77-85页 |
| 6.2.1 直觉主义谓词逻辑的公理化系统 | 第77-78页 |
| 6.2.2 直觉主义谓词逻辑的演绎定理 | 第78-79页 |
| 6.2.3 系统N与系统AχI的关系 | 第79-84页 |
| 6.2.4 系统N与系统AχI的证明策略比较 | 第84-85页 |
| 6.3 经典谓词逻辑的两种证明演算形式的比较研究 | 第85-95页 |
| 6.3.1 经典谓词逻辑系统NK与AχK的关系 | 第85-89页 |
| 6.3.2 系统NK与系统AχK的证明策略比较 | 第89-90页 |
| 6.3.3 排中律在系统NK中的证明策略 | 第90-91页 |
| 6.3.4 系统PN与系统PNK的转化关系 | 第91-92页 |
| 6.3.5 矢列式自然演绎系统与公理化系统之间等价转化的理论意义 | 第92-95页 |
| 第7章 达米特直觉主义逻辑的矢列演算系统研究 | 第95-111页 |
| 7.1 直觉主义谓词逻辑的矢列演算系统 | 第95-102页 |
| 7.1.1 直觉主义谓词逻辑的矢列演算系统L | 第95-98页 |
| 7.1.2 与经典谓词逻辑的矢列演算系统LK~*的关系 | 第98-99页 |
| 7.1.3 直觉主义谓词逻辑的矢列演算系统L' | 第99页 |
| 7.1.4 系统L与系统N的关系 | 第99-102页 |
| 7.2 直觉主义谓词逻辑的切割消去定理 | 第102-108页 |
| 7.2.1 切割消去定理的证明 | 第102-107页 |
| 7.2.2 切割消去定理证明的理论意义 | 第107页 |
| 7.2.3 系统N与系统L的等价性 | 第107页 |
| 7.2.4 系统N与系统L的一致性 | 第107-108页 |
| 7.3 直觉主义命题逻辑的可判定性 | 第108-111页 |
| 第8章 论达米特直觉主义逻辑的正规化思想 | 第111-119页 |
| 8.1 真正的化简 | 第111-113页 |
| 8.1.1 合取规则 | 第111-112页 |
| 8.1.2 析取规则 | 第112页 |
| 8.1.3 蕴涵规则 | 第112-113页 |
| 8.1.4 否定规则 | 第113页 |
| 8.1.5 全称量词规则 | 第113页 |
| 8.1.6 存在量词规则 | 第113页 |
| 8.2 排列的化简 | 第113-115页 |
| 8.2.1 合取规则中插入析取消去规则 | 第114页 |
| 8.2.2 合取规则中插入存在量词消去规则 | 第114-115页 |
| 8.3 直接的化简 | 第115-116页 |
| 8.4 ?-规则的化简 | 第116页 |
| 8.5 正规化推演的基本思想 | 第116-119页 |
| 第9章 达米特直觉主义逻辑哲学思想的价值及未来工作 | 第119-125页 |
| 9.1 提炼出直觉主义逻辑与哲学相融合的方法 | 第119-120页 |
| 9.2 彰显直觉主义逻辑的结构证明论意义 | 第120-122页 |
| 9.3 凸显自然演绎在直觉主义逻辑哲学研究中的价值 | 第122-124页 |
| 9.4 未来工作 | 第124-125页 |
| 参考文献 | 第125-131页 |
| 后记 | 第131-133页 |
| 攻读博士学位期间主要科研成果 | 第133-134页 |
