【摘要】：普賴爾(Authur Norman Prior,1914-1969)是當(dāng)代著名的新西蘭邏輯學(xué)家、哲學(xué)家。他的學(xué)術(shù)研究涉及時(shí)態(tài)邏輯、模態(tài)邏輯、道義邏輯、混合邏輯、描述邏輯、形而上學(xué)、分析哲學(xué)和神學(xué)等領(lǐng)域,但最為人熟知的成就是創(chuàng)立了時(shí)態(tài)邏輯。近幾十年來,國外對其時(shí)態(tài)邏輯給予了較多的關(guān)注,而國內(nèi)這方面的研究文獻(xiàn)很少,也不夠深入,并且對其相關(guān)哲學(xué)思想也缺少介紹和研究。本文的研究思路是在較為細(xì)致地概述時(shí)態(tài)邏輯的基礎(chǔ)上,梳理和討論普賴爾的時(shí)態(tài)邏輯及其哲學(xué)思想,以其在時(shí)態(tài)邏輯領(lǐng)域的工作為研究重心,以其對時(shí)態(tài)關(guān)涉、決定論與非決定論以及時(shí)間概念的研究為主線,探究他是如何運(yùn)用時(shí)態(tài)邏輯闡述時(shí)態(tài)本體論、非決定論等哲學(xué)觀點(diǎn)的。在此基礎(chǔ)上,對他的哲學(xué)見解作出分析和評(píng)價(jià),包括對他的某些觀點(diǎn)的批評(píng)。論文包括六個(gè)部分:引言部分首先介紹了普賴爾的生平與其在時(shí)態(tài)邏輯方面的主要著述,然后概述了國內(nèi)外對其時(shí)態(tài)邏輯及其哲學(xué)思想研究的現(xiàn)狀,最后點(diǎn)明了本文的研究意義和目標(biāo)。第一章概述了時(shí)態(tài)邏輯,在對時(shí)態(tài)邏輯的思想淵源和創(chuàng)立發(fā)展作較為細(xì)致梳理的基礎(chǔ)上,主要介紹了各階段的代表人物和代表觀點(diǎn)。第二章詳細(xì)介紹和分析了普賴爾的時(shí)態(tài)邏輯,以及與之相關(guān)的四個(gè)等級(jí)的理論。首先分門別類地展示了他提出的多種純時(shí)態(tài)邏輯系統(tǒng)和時(shí)態(tài)模態(tài)邏輯系統(tǒng),并對某些系統(tǒng)的語義作了考察。然后,詳細(xì)梳理了他提出的“時(shí)態(tài)邏輯關(guān)涉的四個(gè)等級(jí)”的理論,并介紹了其他學(xué)者對其邏輯與哲學(xué)的討論。經(jīng)過細(xì)致的分析,認(rèn)為:相對而言,第一等級(jí)的早于晚于關(guān)系演算系統(tǒng)的概念界定清晰,所作的假定最少。此系統(tǒng)最簡單。第二等級(jí)把通常不同類的公式處理為同一層次的公式,較之于第一等級(jí),人為復(fù)雜化了一階邏輯。第三等級(jí)引入了“時(shí)刻命題”,構(gòu)建的混合邏輯系統(tǒng)實(shí)際上是一種高階邏輯,盡管表達(dá)力強(qiáng),但過于復(fù)雜,并且將某一時(shí)刻等同于通常會(huì)在這一時(shí)刻為真的命題的合取是有問題的,用混合時(shí)態(tài)邏輯方式刻畫時(shí)態(tài)的特權(quán)地位并不成功。至于第四等級(jí),除了過于復(fù)雜之外,還假定了時(shí)間是“唯一的”。如果不接受此假定,是不能把一階早于晚于關(guān)系邏輯轉(zhuǎn)換為純時(shí)態(tài)邏輯的。筆者得出結(jié)論:第一至第四等級(jí)的區(qū)分是不合理的,引入時(shí)態(tài)關(guān)涉的四個(gè)等級(jí)是不必要的。此外,就研究時(shí)態(tài)邏輯而言,A概念更為基本,而A概念可以通過語義中的B概念獲得解釋和說明。第三章系統(tǒng)闡述了普賴爾運(yùn)用時(shí)態(tài)邏輯對決定論與非決定論問題的研究。首先介紹了從上帝的預(yù)知到未來必然性的論證,若要堅(jiān)持人的自由信條和擺脫宿命論,則至少要拒斥其中一個(gè)前提。普賴爾的立場是接受“過去必然性”而拒斥“未來排中律”。接著,梳理和討論了普賴爾對主論證的重構(gòu),指出了他添加的第二個(gè)前提預(yù)設(shè)了時(shí)間的離散性,因而論證只是有條件地成立。然后,對線性時(shí)間與分支時(shí)間作了介紹,指出了對未來事件的決定論與非決定論的討論與時(shí)間結(jié)構(gòu)緊密相關(guān),分支時(shí)間對于非決定論觀點(diǎn)的證成尤為重要。最后,闡述了普賴爾以及其他一些學(xué)者對未來偶然性問題的解答。筆者認(rèn)為:較之于盧卡西維茨(J.?ukasiewicz)的第三值處理法、普賴爾的皮爾士(C.S.Peirce)主義處理方案和真未來主義理論,普賴爾的奧卡姆(W.Ockham)主義處理方案是一種較好的處理方案。理由大致如下:(1)三值邏輯為了堅(jiān)持非決定論而拋棄二值原則,但按照時(shí)態(tài)模態(tài)邏輯,在二值原則的基礎(chǔ)上同樣可以堅(jiān)持非決定論。因此,根據(jù)奧卡姆剃刀原理:“如無必要,勿增實(shí)體”,引入第三值是不必要的。(2)筆者認(rèn)為“未來偶然命題”在現(xiàn)在是有真假的,只是作為人類的我們不知道罷了。(3)過去已經(jīng)記錄在案,現(xiàn)在正在親身感受,它們都是不可改變的。而未來就不同了,未來的事件進(jìn)程可能不止一種。因此,如果時(shí)間是分支的,那么進(jìn)入未來就有多種不同的路徑。根據(jù)不同的路徑來解釋“未來偶然命題”,進(jìn)而把“未來”與“必然”和“可能”等模態(tài)聯(lián)系起來是符合日常表達(dá)習(xí)慣的。(4)真未來主義理論由于其復(fù)雜性(至少在目前)并不可取。第四章論述了普賴爾關(guān)于時(shí)間的一些觀點(diǎn)。首先,考察了普賴爾對麥克塔加(J.E.McTaggart)關(guān)于時(shí)間的A系列概念和B系列概念以及時(shí)間不實(shí)在性論證的分析。認(rèn)為:麥克塔加反對時(shí)態(tài)實(shí)在性的論證基于一個(gè)有爭議的假定,即,他根據(jù)非時(shí)間性的“是”來說明時(shí)態(tài)性的“曾是”、“是”和“將是”。接著,梳理了普賴爾的“現(xiàn)在”概念,并對相關(guān)批評(píng)作了介紹。認(rèn)為他的“現(xiàn)在”概念因無法解釋變化而易受人詬病。然后,主要梳理了普賴爾對巴坎(R.Barcan)公式的討論,并對相關(guān)討論作了論述。在時(shí)態(tài)邏輯中,巴坎公式意味著不同時(shí)間有同樣的個(gè)體域,但這違背了現(xiàn)實(shí)世界的實(shí)際圖景。因此,筆者認(rèn)為,在時(shí)態(tài)邏輯中,我們可以拒斥巴坎公式。最后,梳理了普賴爾關(guān)于時(shí)間實(shí)在性、相對性的論證,并作了分析和評(píng)述。第五章對全文作了總結(jié)與展望。文章總體上肯定普賴爾對時(shí)態(tài)邏輯的開創(chuàng)性研究,但他的某些觀點(diǎn)是可批評(píng)的。本文的創(chuàng)新之處有:(1)仔細(xì)分析了普賴爾的“時(shí)態(tài)邏輯關(guān)涉的四個(gè)等級(jí)”理論,指出:普賴爾采用將語法和語義混合的方法來刻畫四個(gè)等級(jí),目的是為了論證時(shí)態(tài)的特權(quán)地位,但這種研究并不成功。因?yàn)樗倪壿嬒到y(tǒng)(從第一到第四等級(jí))的構(gòu)造越來越復(fù)雜(第四等級(jí)的高階混合邏輯本身亦有問題),很難找出其模型,更不用說研究其元邏輯特性了。而采用時(shí)態(tài)邏輯標(biāo)準(zhǔn)的研究方法,不僅簡單明了,語法和語義清晰,容易證明各種元邏輯特性,而且也清楚地表明:就研究時(shí)態(tài)邏輯而言,A概念更為基本,但它可以通過語義中的B概念來解釋。四等級(jí)的區(qū)分既不合理,也不必要。(2)深入討論了普賴爾對第奧多魯主論證的形式化重構(gòu),并對其他學(xué)者對其重構(gòu)的批評(píng)作了分析。指出:他添加的第二個(gè)前提預(yù)設(shè)了時(shí)間是離散的,因此重構(gòu)只是有條件地成立。至于其他學(xué)者對其重構(gòu)前提有歧義的批評(píng),只要采用時(shí)態(tài)邏輯的規(guī)范讀法是完全可消除的。(3)考察了普賴爾以及其他學(xué)者關(guān)于未來偶然性問題的處理方案。指出:對未來事件的決定論與非決定論的討論與線性時(shí)間和分支時(shí)間密切相關(guān)。認(rèn)為:盡管分支時(shí)間的本體論地位存在爭議,但從邏輯的觀點(diǎn)看,普賴爾基于分支時(shí)間的奧卡姆主義邏輯對關(guān)于“未來偶然命題”的真理論提供了一種較好的處理方法。(4)梳理和評(píng)價(jià)了普賴爾關(guān)于時(shí)間的一些觀點(diǎn)。認(rèn)為:普賴爾的時(shí)間觀即時(shí)間的時(shí)態(tài)觀點(diǎn)受到了模態(tài)觀點(diǎn)的啟發(fā),模態(tài)邏輯提供的方法也是刻畫時(shí)間的方法。在時(shí)態(tài)邏輯中,巴坎公式意味著不同時(shí)間有同樣的個(gè)體域。這違背了現(xiàn)實(shí)世界的實(shí)際圖景。在現(xiàn)實(shí)世界中,不同時(shí)間可以有不同的事物,這意味著不同時(shí)間的個(gè)體域可以不同。因此,在時(shí)態(tài)邏輯中,我們可以拒斥巴坎公式。
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2018
【分類號(hào)】：B815.5

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 霍書全;;普萊爾早期的時(shí)態(tài)邏輯思想[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2014年07期

2 李貞元;牛奔玉;;普賴爾時(shí)態(tài)概念的分析[J];蘭州學(xué)刊;2014年02期

3 郭美云;周君;;試析約翰·范本特姆對邏輯“新心理主義”的辯護(hù)[J];哲學(xué)研究;2013年08期

，

本文編號(hào)：2595984