達米特直覺主義邏輯哲學(xué)思想研究.pdf

1、達米特是20世紀最有影響的英國哲學(xué)家。他的哲學(xué)著作有三個特點：一是數(shù)量眾多，其中，有許多是鴻篇巨著；二是語言晦澀難懂；三是技術(shù)性強。在達米特的哲學(xué)著作中，尤其是在數(shù)學(xué)理論的邏輯基礎(chǔ)的哲學(xué)探討中，他揚棄了真值條件意義理論及其邏輯基礎(chǔ)；這促使筆者想要全面而系統(tǒng)地考察他提出的關(guān)于構(gòu)造主義意義理論與直覺主義邏輯之間的關(guān)系的理論。
　　筆者主要采用達米特的直覺主義邏輯作為技術(shù)手段，意義理論作為解決構(gòu)造主義與柏拉圖主義爭論的研究方法。主要工作

2、體現(xiàn)在五個方面：第一，較為全面梳理了達米特本人的哲學(xué)思想以及國內(nèi)外關(guān)于達米特邏輯哲學(xué)思想的研究現(xiàn)狀和直覺主義邏輯的研究進展。第二，較為系統(tǒng)地考察了達米特的命題與事實觀。第三，從拒斥經(jīng)典邏輯的兩種論證方法，到對數(shù)學(xué)的直覺主義邏輯進行辯護，再到直覺主義邏輯的真理論，探解了直覺主義邏輯哲學(xué)中的一些重要問題和難題。第四，從矢列式自然演繹系統(tǒng)、矢列演算系統(tǒng)、正規(guī)化思想三個方面構(gòu)建達米特的直覺主義邏輯演繹思想。第五，探討了達米特直覺主義邏輯哲學(xué)思想

3、的價值意義以及未來的工作。這五個方面的工作相互作用、互相影響，構(gòu)成了一個有機整體：第一和第二方面的工作為后面三個方面的工作提供了前提和可能；第三個方面的工作為第四個方面的工作提供了哲學(xué)基礎(chǔ)和理論支撐，而第四個方面的工作為第三個方面的工作提供了邏輯基礎(chǔ)和技術(shù)手段；第五個方面的工作歸納總結(jié)了第二至第四個方面工作的價值意義，并提出了未來的研究方向。
　　這些工作表明研究達米特的直覺主義邏輯哲學(xué)思想具有重要價值意義：一是系統(tǒng)地梳理且提煉出