达米特直觉主义逻辑哲学思想研究

摘要

达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点：一是数量众多，其中，有许多是鸿篇巨著；二是语言晦涩难懂；三是技术性强。在达米特的哲学著作中，尤其是在数学理论的逻辑基础的哲学探讨中，他扬弃了真值条件意义理论及其逻辑基础；这促使笔者想要全面而系统地考察他提出的关于构造主义意义理论与直觉主义逻辑之间的关系的理论。
　　笔者主要采用达米特的直觉主义逻辑作为技术手段，意义理论作为解决构造主义与柏拉图主义争论的研究方法。主要工作体现在五个方面：第一，较为全面梳理了达米特本人的哲学思想以及国内外关于达米特逻辑哲学思想的研究现状和直觉主义逻辑的研究进展。第二，较为系统地考察了达米特的命题与事实观。第三，从拒斥经典逻辑的两种论证方法，到对数学的直觉主义逻辑进行辩护，再到直觉主义逻辑的真理论，探解了直觉主义逻辑哲学中的一些重要问题和难题。第四，从矢列式自然演绎系统、矢列演算系统、正规化思想三个方面构建达米特的直觉主义逻辑演绎思想。第五，探讨了达米特直觉主义逻辑哲学思想的价值意义以及未来的工作。这五个方面的工作相互作用、互相影响，构成了一个有机整体：第一和第二方面的工作为后面三个方面的工作提供了前提和可能；第三个方面的工作为第四个方面的工作提供了哲学基础和理论支撑，而第四个方面的工作为第三个方面的工作提供了逻辑基础和技术手段；第五个方面的工作归纳总结了第二至第四个方面工作的价值意义，并提出了未来的研究方向。
　　这些工作表明研究达米特的直觉主义逻辑哲学思想具有重要价值意义：一是系统地梳理且提炼出达米特直觉主义逻辑与哲学，尤其是与构造主义意义理论相融合的方法，既为研究达米特本人的哲学思想提供了一把钥匙，又为我们从事哲学研究，尤其是分析哲学、逻辑哲学等研究提供了技术工具和理论支撑。二是从证明论发展的历史视角，彰显了达米特的直觉主义逻辑演绎思想在结构证明论中的重要性和影响力。三是特别指出达米特的自然演绎思想在直觉主义逻辑哲学研究中的价值，为普及和推广直觉主义逻辑提供了依据和指导。

目录

文献综述

一、达米特逻辑哲学思想相关概念解析

二、达米特学术简介

三、达米特逻辑哲学思想的国外研究现状和主要问题

四、达米特逻辑哲学思想的国内研究现状与不足之处

第1章 引 言

1.1 选题背景及意义

1.2 基本结构和主要内容

1.3 主要工作与创新之处

第2章 论达米特的命题与事实观①

2.1 事实、陈述与命题的关系

2.2 论两种相互对立的命题观

2.3 对事实是真命题的哲学反思

2.4 论命题与实在

第3章 拒斥经典逻辑的两种论证方法

3.1 使用决定数学陈述（命题）意义的方法

3.2 通过学习数学观念的方法

3.3 对语言整体观的反思

3.4 对语言分子论的考察

第4章 数学的直觉主义逻辑辩护

4.1 直觉主义逻辑的基本辩护类型

4.2 论基本辩护类型相反组合的可能性

4.3 论数学陈述经典的真概念

4.4 论数学陈述的证明概念

第5章 直觉主义逻辑的真理论研究

5.1 直觉主义逻辑常项的意义

5.2 关于典范证明的反思

第6章 达米特直觉主义逻辑的矢列式自然演绎系统研究

6.1 直觉主义谓词逻辑的自然演绎系统⑦

6.2 直觉主义谓词逻辑的两种证明演算形式的比较研究

6.3 经典谓词逻辑的两种证明演算形式的比较研究

第7章 达米特直觉主义逻辑的矢列演算系统研究

7.1 直觉主义谓词逻辑的矢列演算系统

7.2 直觉主义谓词逻辑的切割消去定理

7.3 直觉主义命题逻辑的可判定性

第8章 论达米特直觉主义逻辑的正规化思想

8.1 真正的化简

8.2 排列的化简

8.3 直接的化简

8.4 ┓-规则的化简

8.5 正规化推演的基本思想

第9章 达米特直觉主义逻辑哲学思想的价值及未来工作

9.1 提炼出直觉主义逻辑与哲学相融合的方法

9.2 彰显直觉主义逻辑的结构证明论意义

9.3 凸显自然演绎在直觉主义逻辑哲学研究中的价值

9.4 未来工作

参考文献

后记

攻读博士学位期间主要科研成果