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

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

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

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