霍書全

(安徽大學(xué)哲學(xué)系，合肥 230039)

普萊爾早期的時態(tài)邏輯思想

霍書全

(安徽大學(xué)哲學(xué)系，合肥 230039)

普萊爾是時態(tài)邏輯的創(chuàng)始人，他認為原子命題和帶有時態(tài)算子的命題都是同樣的命題，原子命題只有現(xiàn)在時態(tài)，命題的真值隨時間的不同而變化。他否定永恒的個體存在，主張充當命題邏輯主語的專名只能指稱現(xiàn)存的對象。普萊爾用模態(tài)邏輯的方法處理時態(tài)命題，比經(jīng)典邏輯更好地刻畫了自然語言表達和日常推理。但是普萊爾的方法也帶來了一些問題，比如說它不能命名不再存在的個體似乎有違自然語言的習(xí)慣，如何確定時間的單位也成為有爭議的話題。盡管如此，時態(tài)邏輯仍然發(fā)展成內(nèi)容豐富的邏輯學(xué)分支，在許多領(lǐng)域都有著巨大的應(yīng)用價值。

普萊爾;時態(tài)邏輯;真值;巴坎公式

主持人語：中國邏輯學(xué)會會長鄒崇理研究員

新西蘭著名邏輯學(xué)家A．N．普萊爾(Arthur N．Prior)是時態(tài)邏輯的創(chuàng)始人，時態(tài)邏輯在許多領(lǐng)域都有著巨大的應(yīng)用價值?；魰淌谠凇镀杖R爾早期的時態(tài)邏輯思想》一文中梳理并解讀了普萊爾早期的時態(tài)邏輯思想，有助于我們更好地了解時態(tài)邏輯與經(jīng)典邏輯的不同。作為現(xiàn)代化教育技術(shù)的一個重要手段，邏輯教學(xué)軟件在邏輯教育過程中發(fā)揮著十分重要的作用。進入21世紀，關(guān)于邏輯教學(xué)軟件的國際性學(xué)術(shù)研討會召開了3次。邏輯軟件的開發(fā)及在邏輯教學(xué)中的應(yīng)用逐漸成為邏輯教育過程中極為重要的一個環(huán)節(jié)。在《邏輯教學(xué)軟件及其實效性研究》一文中，王湘云博士介紹了一些國際上流行的邏輯教學(xué)軟件，以及國內(nèi)邏輯教學(xué)中邏輯軟件的使用情況，并討論了邏輯教學(xué)軟件的實效性。

新西蘭著名邏輯學(xué)家A．N．普萊爾(Arthur N．Prior)是時態(tài)邏輯的創(chuàng)始人，他之所以能提出時態(tài)邏輯，在于他對命題的真值有不同于經(jīng)典邏輯的看法。經(jīng)典邏輯的創(chuàng)立者弗雷格認為，命題或句子的真值就是命題的指稱，句子的涵義是思想，而思想是無時間性的，因此命題的真值不隨時間的變化而變化。羅素認為，真值是命題的性質(zhì)和標志，命題的真值也不能隨時間而變化?，F(xiàn)代經(jīng)典邏輯關(guān)于命題真值的看法一度成為主流。但是，經(jīng)典邏輯顯然不能很好地處理用自然語言表達的日常推理，因為自然語言中的句子和經(jīng)典邏輯中的句子或命題有很大區(qū)別。經(jīng)典邏輯中的命題沒有時態(tài)的標志，其真值不會受時態(tài)的影響，而自然語言中的陳述句顯然并非如此。普萊爾吸收了古代邏輯學(xué)家和近現(xiàn)代邏輯學(xué)家的一些有益的思想，用模態(tài)邏輯的方法建立了時態(tài)邏輯，其影響是深遠的。本文將對普萊爾早期的時態(tài)邏輯思想進行梳理。在此需要提示讀者，命題、句子和陳述在不同的邏輯學(xué)家看來有不同的含義，為了敘述的方便本文對三者不加區(qū)分。

一、關(guān)于命題的真值

經(jīng)典邏輯學(xué)家認為命題的真值不能隨時間而變化，導(dǎo)致經(jīng)典邏輯不能很好地處理自然語言中的時間因素和日常推理。為了更好地刻畫自然語言中的推理，邏輯學(xué)家對經(jīng)典邏輯進行了補充。羅素認為，自然語言中的句子更像命題函數(shù)而不是命題，如“蘇格拉底是不死的”可以看作“如果t是任何時間，蘇格拉底在t時活著”［1］。蒯因持有和羅素類似的觀點，認為時間可以和地點、個體一樣成為專名，真正的命題是包括時間因素的，命題的真假沒有時間的問題。

普萊爾指出，從文藝復(fù)興時期開始人們就有了類似上述的觀點，邏輯學(xué)家不再對模態(tài)和時間因素感興趣了。如波爾-羅亞爾邏輯認為，動詞(在陳述句中)的唯一普遍的功能是表達斷定，“是”(is)作為純粹的動詞是命題中主要的形式元素。這時的邏輯學(xué)家可能是受觀念論的影響，認為命題是通過系詞把兩個觀念連接起來的，時間因素不應(yīng)進入系詞，而應(yīng)進入詞項之中［2］104-105。普萊爾引述了哈密爾頓派的邏輯學(xué)者懷特利(Richard Whately)、曼塞爾(H．L．Mansel)、博文(Francis Bowen)、福勒(Thomas Fow ler)等人的觀點，說明在文藝復(fù)興之后到現(xiàn)代邏輯產(chǎn)生之前，人們普遍認為系詞在命題中只有現(xiàn)在時態(tài)，而指稱時間是詞項的任務(wù)。普萊爾認為，這種觀點沒有提供足夠的證據(jù)，只是把原來的陳述粗暴地重新表述為一個多余的從句。如把陳述p重新表述為“that p，is the case”的形式。但是，這樣一來人們對邏輯的興趣轉(zhuǎn)移到詞項上了，而時態(tài)因素同樣就在詞項上，詞項仍然可能有一個邏輯形式。懷特利和博文分別把“This man was honest”和“He came yesterday”轉(zhuǎn)化為“He is one formerly-honest”和“He is the person who came yesterday”，普萊爾認為這種轉(zhuǎn)化會帶來一定的問題，假如當“he”指稱的對象在過去那個時間之后去世了，把這樣的句子轉(zhuǎn)化為現(xiàn)在時態(tài)后，其主語就是不存在的對象［2］106，按照弗雷格或羅素的觀點，這樣的句子是無意義的或假的。福勒對此似乎不能給出滿意的說明。文恩注意到命題真值可以隨時間而變化，但他并不認為這有什么特殊的重要性，因為我們也可以和對待時間一樣對待地點。約翰遜(W．E．Johnson)反對出于符號化的目的把兩個命題之間的蘊涵關(guān)系看作全稱直言判斷的主項和謂項之間的關(guān)系。他認為在假言演繹推理(hypothetical synthesis)“如果命題A真，那么命題B真”中，說A和B在有些情形或時間為真，在另一些情形或時間為假，這樣的情形和時間的差異是不存在的。他還說，提及不同時間的命題是不同的命題［2］110。

盡管漢密爾頓派的觀點在這一時期一直占主流地位，但其他一些邏輯學(xué)家也提出了一些有價值的不同的觀點。密爾(John Stuart Mill)認為，我們斷定的過去、現(xiàn)在和未來不是主語或謂語所表示的東西，而是整個句子要表示的東西。可是，這種思想在當時沒有引起足夠的重視，沒有發(fā)展出時態(tài)邏輯［2］107。凱恩斯(J．N．Keynes)認為判斷(judgment)包含著對時間的指稱，一個判斷在一定的時間內(nèi)為真，在另一些時間為假。他還引用博桑斯特(Bosanquet)的觀點，在判斷的時間和謂詞的時間之間做出了區(qū)分。布爾在An Investigation of the Laws of Thought(1853)中把“X蘊涵γ”看作“X為真的時間完全包含在γ為真的時間中”，他把每個命題符號看作代表該被符號化的命題為真的時間［2］108-109。

另一個值得注意的邏輯學(xué)家是皮爾士(Charles Sanders Peirce)，他雖然沒有提出時態(tài)邏輯，但認為時間因素應(yīng)該是邏輯學(xué)感興趣的問題。他說，沒有發(fā)展到對其形式引進時態(tài)修飾的邏輯會導(dǎo)致極大的混淆。他還把時間和模態(tài)聯(lián)系起來。皮爾士與文恩和麥科爾(Hugh MacColl)一樣都認為兩個命題之間的蘊涵關(guān)系應(yīng)該被看作全稱直言命題的主項和謂項之間的關(guān)系。他還進一步認為所有條件句都包含一個暗含的量化，如果沒有其他的東西，就是在可能事態(tài)上的量化，可以引進時間作為這樣的變量［2］112。這些思想是普萊爾時態(tài)邏輯思想的重要來源。

此外，斯特勞森的思想也對普萊爾有所啟發(fā)。普萊爾認為，1906年之后，形式邏輯學(xué)家對于時間相當一致地采取了凱恩斯-約翰遜-羅素(Keynes-Johnson-Russell)路線，直到斯特勞森(P．F．Strawson)才打破了這種束縛。斯特勞森并不主張引進時態(tài)-差別(tense-distinctions)的邏輯，而是認為時態(tài)-差別是形式邏輯不能處理的重要的東西。他也不主張陳述在一個時間真而在另一個時間假，而是認為同一個句子在一些場合(occasion)真，在另一些場合假。這種觀點和羅素沒有本質(zhì)不同，只不過羅素主張通過改造公共語言，避免公共語言的缺陷，而斯特勞森更傾向于保持自然語言免受形式邏輯的攻擊［2］116。普萊爾指出，遺憾的是公共語言的主要用途直到斯特勞森才受到邏輯學(xué)家的注意。

斯特勞森認為，用適當?shù)年愂龃鷵Q陳述的“形式”對于形式邏輯學(xué)家研究的衍推(entailment)關(guān)系是不充分的，會帶來通常所說的“蘊涵怪論”問題［4］。斯特勞森認為“衍推理論”必須由“指稱理論”去補充，這里的指稱是指時態(tài)以及“這里”、“那里”、“他”、“這個”、“我”等代詞。從形式上看，斯特勞森的邏輯與羅素和文恩的邏輯并沒有什么本質(zhì)的不同［2］116-117。

普萊爾關(guān)于命題的真值隨時態(tài)的不同而變化的思想主要來源于古希臘邏輯和中世紀經(jīng)院哲學(xué)。他指出:“古代和中世紀邏輯學(xué)家認為如下兩條是理所當然的:(i)時態(tài)-差別是邏輯思考的真正主題，(ii)在一個時間為真的東西在另一個時間為假，反之亦然。”［2］104這種現(xiàn)象在亞里士多德的邏輯著作中可以見到，麥加拉學(xué)派的第奧多魯更把時態(tài)看作模態(tài)，并進行討論。

經(jīng)典邏輯認為時間因素是命題本身所包含的一個因素，而普萊爾認為最基本的原子命題只有現(xiàn)在時態(tài)，時態(tài)算子和原子命題的復(fù)合才能表示時態(tài)命題。從下面普萊爾對巴坎公式的分析可以看到，只有認為命題的真值是可以隨時間的變化而變化的，才能用模態(tài)邏輯的方法靈活處理用自然語言表達的邏輯和推理。

二、時態(tài)與模態(tài)

普萊爾認為命題的真值可以隨時間的變化而變化。在此基礎(chǔ)上，他用模態(tài)邏輯的方法來處理時態(tài)問題。普萊爾指出，自然語言中的模態(tài)詞“可能的”、“必然的”可以有多種意思，正如刻畫條件句中的“如果，那么”關(guān)系可以產(chǎn)生很多蘊涵一樣。因此，必須給模態(tài)詞一個確定的意義，規(guī)定一定的標準。波蘭邏輯學(xué)家盧卡西維茨在這方面已經(jīng)做出了貢獻，他給出了模態(tài)邏輯的8個標準:1．NLN與M等價;①本文所用的邏輯符號是波蘭邏輯學(xué)家所使用的，N、C、A、K、E分別代表否定、蘊涵、析取、合取、等價，Π、Σ分別表示全稱量詞和存在量詞。2．NMN與L等價;3．CLpp;4．CpMp; 5．CMpp是被排斥的;6．CpLp是被排斥的;7．Mp是被排斥的;8．NLp是被排斥的。盧卡西維茨稱滿足這些條件的模態(tài)邏輯系統(tǒng)為“基本模態(tài)系統(tǒng)”［3］。這里M和L分別表示弱模態(tài)算子“可能的”和強模態(tài)算子“必然的”，它們是從陳述得到陳述的一元算子。普萊爾采取對模態(tài)的廣義的理解，放棄了1和2［2］3。

盧卡西維茨把模態(tài)邏輯看作多值邏輯［2］6，因為二值邏輯中沒有滿足“基本模態(tài)邏輯”條件的可充當模態(tài)算子的函數(shù)，但是在三值以上的邏輯中有這樣的函數(shù)。普萊爾用多值邏輯的方法對時態(tài)邏輯進行了研究。

普萊爾引進時態(tài)算子P和F，其意思分別是“It has been the case that”和“It will be the case that”。普萊爾不把“It has been the case that p”這種形式的陳述看作關(guān)于陳述p的陳述，而是看作由模態(tài)算子P作用于p而形成的新陳述［2］8。可以看出，普萊爾對陳述的觀點與經(jīng)典邏輯是不同的，這是能構(gòu)造時態(tài)邏輯的關(guān)鍵。經(jīng)典邏輯把“相信p”這樣的陳述看作是關(guān)于p的陳述，普萊爾把它看作關(guān)于p的主語的陳述。普萊爾引進時態(tài)算子是作用于命題的，時態(tài)命題和不含有時態(tài)算子的命題都被看作是命題。如果認為時態(tài)算子不能作用于命題，就會毀掉整個時態(tài)邏輯，因為這會導(dǎo)致不能對時態(tài)命題使用時態(tài)算子，時態(tài)算子不能有復(fù)合形式。普萊爾又引進時態(tài)算子S，表示“It is the case that”，并得到等式:SSp=Sp=p，SFp=FSp =Fp和SPp=PSp=Pp［2］10。

引進時態(tài)算子會帶來一些問題，如NFp和FNp不一定相等，NPNp和Pp有所不同。但是普萊爾暫時假定它們被看作相等的，首先建立了類似于劉易斯的S4和S5的時態(tài)系統(tǒng)［2］11。

普萊爾認為可以采用二價的時態(tài)算子，從而引進了Pnp表示“It was the case n days ago that p”(以“天”為時間單位)，P1p表示“It was the case this time yesterday that p”。類似地，F(xiàn)np表示“It will be the case n days hence that p”，F(xiàn)1p表示“It will be the case this time tomorrow that p”，F(xiàn)0p表示“It will be the case no time-units hence that p”［2］11-12。普萊爾指出，如果把M(或“可能的”)定義為“It either is or will be the case that”，把L (或“必然的”)定義為“It either is and always will be the case that”，這些算子將滿足盧卡西維茨的模態(tài)算子條件，并且會有劉易斯S4系統(tǒng)的M和L的所有形式性質(zhì)。這些模態(tài)詞與麥加拉學(xué)派邏輯學(xué)家第奧多魯?shù)哪B(tài)一樣［2］12。普萊爾給出了如下類似于S4的時態(tài)系統(tǒng):

規(guī)則:代入，分離，引進量詞Π1，Π2，Σ1，Σ2的盧卡西維茨規(guī)則，和特殊的規(guī)則

RF:如果α，那么Fnα。

公理:任何經(jīng)典命題邏輯的完全的公理集合，以及

其中公理5的Smn表示區(qū)間m和n的和［2］13。

在假定時間只有兩天(今天和明天)的情況下，普萊爾為該系統(tǒng)的聯(lián)結(jié)詞和模態(tài)詞構(gòu)造了四值真值表。但是須要在時間為無窮的情況下，用真值組成的無窮序列作為命題的取值對象，才能刻畫類似于S4的時態(tài)系統(tǒng)［2］6。

普萊爾引進了洛斯(?os＇)所用過的概念Utp來建立類似于S5的模態(tài)系統(tǒng)。Utp的意思是“p在t”。這個系統(tǒng)包括如下定義、規(guī)則和公理［2］19-20:

規(guī)則:代入，分離，引進量詞Π1，Π2，Σ1，Σ2的盧卡西維茨規(guī)則，和特殊的規(guī)則

RU:如果α，那么Utα。

公理:任何經(jīng)典命題邏輯的完全的公理集合，以及

普萊爾同樣假定了兩個時間(今天和明天)，給出了該系統(tǒng)的聯(lián)結(jié)詞和模態(tài)詞的多值真值表。要確定公式是否為定理，須構(gòu)造二值的無窮序列作為真值的真值表或無窮值真值表來判定［2］22。

把時態(tài)命題邏輯推廣到謂詞邏輯，會面臨巴坎公式帶來的問題。按經(jīng)典邏輯的觀點，只有在命題的邏輯主語指稱的對象存在的情況下命題才有真值。但是對量化理論中的變元x和y的存在有不同的理解，一種理解是把它們看成潛在的存在，一種理解為現(xiàn)存的存在，它們分別類似于蒯因的替換量化和指稱量化［5］。普萊爾的時態(tài)邏輯采取后一種理解，由此帶來的問題反映在巴坎公式中。巴坎公式是由美國邏輯學(xué)家巴坎(Ruth Barcan Marcus)于1946年把劉易斯模態(tài)系統(tǒng)和量化理論合并而得到的，表述為CMΣxφxΣMxφx，在類似于S5的時態(tài)邏輯系統(tǒng)中可表述為CΣtUtΣxφxΣxΣtUtφx。巴坎公式解釋為“如果存在時間使得某事物在該時間φ無時間地為真，那么存在某事物使得它在某時間φ無時間地為真”，如果前提中的時間是將來的時間或過去的時間，而某事物現(xiàn)在還未存在或已經(jīng)不存在了，會導(dǎo)致巴坎公式不成立［2］26-27。特別是當巴坎公式變成CFΣxφxΣFxφx時，被解釋為“如果情況將是某物φ，那么存在某物將要φ”(If it will be the case that somethingφ’s，then there is something which will φ)。結(jié)論斷定已經(jīng)存在的某物將要φ，而前提并沒有作這樣的擔保［2］29。

三、巴坎公式的消解

巴坎公式給普萊爾時態(tài)邏輯帶來了困難，只有在假定了在某未來時間將要存在的東西已經(jīng)存在或一直存在，即假定所有真實的個體都是永恒的(sempiternal)，才能承認該公式的合理性。普萊爾設(shè)想了對這個假定的形而上學(xué)辯護。一個例子是可能將存在某個飛到月球的人，雖然它將不是現(xiàn)存的任何人，符號表示為FΣxφx。但是，人不是量化理論中的x和y這樣意義上的個體，x和y這樣的個體只代表個體的名字，而所有真正的個體確實一直是存在的。因此，雖然將飛到月球的真正的個體還沒有成為人，但是這些真正的個體現(xiàn)在確實是存在的，并且一直存在。這樣將拯救巴坎公式，因為這時FΣxφx和ΣFxφx變成了FΣxKψxφx和ΣKψxFxφx，分別解釋為“It will be the case that something is a person and flies”“Something is a person of whom it will be the case that he flies”［2］29-30。作上述設(shè)想就像假定了對象的永久的池塘(permanent pool of things)一樣，這些對象可以只是潛在地存在著，還不是現(xiàn)實的存在。這類似于中世紀的擴大(ampliatio)理論［2］30。這種理論認為，盡管對象還沒有存在，但已經(jīng)有關(guān)于它們的事實。普萊爾拒絕這種假設(shè)和辯護，他認為時態(tài)-差別的邏輯在不作這種假定的情況下仍然能產(chǎn)生，假定永恒的(sempiternal)個體存在的邏輯不是好邏輯［2］30。

拒絕接受永恒個體的存在，會導(dǎo)致量化理論的改變。按照普萊爾，假定沒有永恒個體的情況下專名必須限制為只能指稱現(xiàn)存的(在作出命題的當時存在的)個體。這樣就有下述結(jié)論:“我現(xiàn)在不存在”意為“現(xiàn)在沒有關(guān)于我的事實”，這句話是自相矛盾的。但是PnNΣφφx，“It was the case n days ago that x does not exist”，和FnNΣφφx，“Itwill be the case n days hence that x does not exist”只能代表假命題，而NPnΣφφx，“It was not the case n days ago that x exists”很可能是真的。同樣道理，NLp和MNp，NLNp和Mp也不等價［2］35。

對于普萊爾來說，當x代表一個專名時，“x存在”邏輯上等價于“存在關(guān)于x的事實”。如果對于不再存在和還沒有存在的個體現(xiàn)在也有關(guān)于它的事實，普萊爾認為我們不知道關(guān)于它的現(xiàn)在的事實是什么。對于不再存在和未出生的人，你說他是藍眼睛的和不是藍眼睛的都無法判定真假。普萊爾指出，我們需要一個把“x存在”和“存在關(guān)于x的事實”等價的時態(tài)邏輯［2］31-32。如果x不存在，就沒有關(guān)于x的現(xiàn)在的事實。這樣，普萊爾把對象和它存在的時間相關(guān)聯(lián)起來。

現(xiàn)在普萊爾的量化方式導(dǎo)致Lp和NMNp，NLNp和Mp不等價，也導(dǎo)致巴坎公式不成立。因此，普萊爾想要建立的系統(tǒng)是一個巴坎公式在其中不可證明的系統(tǒng)，而不是類似于S5的系統(tǒng)。否定NLNp和Mp等價，可能導(dǎo)致量化理論的不一致，因為在量化理論中“某物φ”(Somethingφ’s)和“并非所有事物非φ”是等價的。怎樣避免這種情況呢?普萊爾的處理方式是，在所建立的Ut系統(tǒng)中讓M等價于ΣtUt，“對某個t，在t”，而不是Σt，“對某個t”。類似地，L等價于ΠtUt。由此得出ΣtUtp等價于NΠtNUtp而不是NΠtUtNp。同樣，排中律也可采用適當?shù)男问?，變成AUtpNUtp而不是AUtpUtNp。巴坎公式也可采用CΣtΣxUtφxΣxΣtUtφx形式而不是CΣtUtΣxφxΣxΣtUtφx形式，前者是成立的。這樣既避免了NLNp和Mp等價，又避免了巴坎公式的困難［2］36。由此可見，解決問題的關(guān)鍵是引進了U算子。這樣一來，我們必須放棄把M定義為NLN，雖然CNLNpMp不成立，但是CMpNLNp成立。我們還有規(guī)則“若α，則NMNα”。CMLpLp成立，但CNLpLNp不成立［2］37。普萊爾指出，按照蒯因的邏輯不能作出上述兩種區(qū)分［2］36。

普萊爾首先構(gòu)造的滿足上述條件(避免巴坎公式的)不包含M和NLN或L和NMN等價的系統(tǒng)，是Heyting的直覺主義演算基礎(chǔ)上增加盧卡西維茨系統(tǒng)的規(guī)則L1，L2，M1，M2得到的系統(tǒng)。但是這個系統(tǒng)也不能滿足他的需要。雖然CMpNLNp和CLpNMNp成立，但也會產(chǎn)生太多的東西，如CNMpLNp。該系統(tǒng)增加CNNpp將會得到CNMN-pLp。再者，我們沒有采用直覺主義邏輯而拋棄經(jīng)典邏輯的充分理由［2］38。

普萊爾想構(gòu)造的系統(tǒng)Q滿足:(a)包含在S5中但不包含S5，包含經(jīng)典命題系統(tǒng)但不被它包含。(b)不包含較弱的劉易斯系統(tǒng)S1—S4，或者模態(tài)化的直覺主義演算，或者?-模態(tài)系統(tǒng)(注:盧卡西維茨建立的一個模態(tài)系統(tǒng))，也不包含在這些系統(tǒng)之中。該系統(tǒng)滿足盧卡西維茨模態(tài)邏輯的前6個條件［2］39。但是普萊爾沒有進一步地詳細給出公理系統(tǒng)，只證明了它的大致特征［2］48。普萊爾只是給出了在假定有兩個時間(今天和昨天)的情況下系統(tǒng)Q的聯(lián)結(jié)詞和模態(tài)詞的6值真值表，但是要確定出Q的定理必須用在時間無窮的情況下的真值表，其中的真值也可以看作由數(shù)字1，2和3組成的序列。

羅素邏輯系統(tǒng)要求邏輯專名必須存在，而弗雷格的專名所指不一定存在，但是包含這樣的專名的句子無真值。普萊爾把時態(tài)邏輯系統(tǒng)Q與羅素的名字謂詞演算合并的量化時態(tài)邏輯系統(tǒng)稱為ΣT1，也建立了另一個適應(yīng)于Les＇niewski本體論改造的時態(tài)邏輯系統(tǒng)，被稱為ΣT2。在ΣT2中，任何時間作出的表達式在所有時間都構(gòu)成陳述，并且也有真值。得到這樣的結(jié)果不需要改造量化理論，也不承諾所有個體都是永久性(sempiternity)的［2］63。

四、結(jié)束語

普萊爾采用和經(jīng)典邏輯不同的哲學(xué)觀點建立時態(tài)邏輯。他認為原子命題和帶有時態(tài)算子的命題都是同樣的命題，原子命題只有現(xiàn)在時態(tài)，命題的真值隨時間的不同而變化，充當命題邏輯主語的專名只能指稱現(xiàn)存的對象，永恒的個體是不存在的。但是，普萊爾的方法也帶來了一些問題，說不能真正命名還未產(chǎn)生的未來的個體是自然的，但是說不能命名不再存在的個體似乎有違自然語言的習(xí)慣。普萊爾最初給出的時間單位是天，但是到底該如何確定時間的單位也成為有爭議的話題。普萊爾認為承認永恒個體的邏輯不是好邏輯，但似乎沒有給出充分的論證，事實上像數(shù)字這樣的永恒個體還是存在的。盡管如此，時態(tài)邏輯仍然發(fā)展成內(nèi)容豐富的邏輯學(xué)分支，它在許多領(lǐng)域都有著巨大的應(yīng)用價值，這是因為時態(tài)邏輯更接近于自然語言的表達方式，能更靈活地處理日常推理。

［1］羅素．邏輯與知識［M］．苑莉均，譯．北京：商務(wù)印書館，1996：279．

［2］Arthur N P．Time and Modality［M］．Oxford：Oxford University Press，1957．

［3］盧卡西維茨．亞里士多德的三段論［M］．李真，李先焜，譯．北京：商務(wù)印書館，1991：168-170．

［4］Strawson P F．Introduction to Logical Theory［M］．London：Methuen＆Co Ltd．1952：94-95．

［5］涂紀亮，陳波．蒯因著作集：第二卷［M］．北京：中國人民大學(xué)出版社，2007：396．

(責(zé)任編輯 張佑法)

Arthur N．Prior’s Early Thought of Tense Logic

HUO Shu-quan
(Philosophy Department，Anhui University，Hefei230039，China)

As the founder of tense logic，Arthur Norman Prior thought that atomic propositions and propositions formed by tense-operators from propositions are all propositions，atomic propositions are only in the present tense，and the truth of propositions will change according to the change of their tenses．He denied sempiternal individuals，and advocated the view thatwe cannot properly name objects which ceased to exist．Prior handled tense propositions with the approach of ordinarymodal logic，and his tense logic depicts natural language and everyday inferences much better than classicallogic．However，Prior’smethod also brings about some problems，such as his inability to name objectswhich do not yet exist violates the habit of natural language，and how to determine the unit of time becomes a controversial topic．In spite of this，tense-logic has become an important logic branch and is used in many fields yet．

Arthur Norman Prior;tense logic;truth;Barcan formula

B81

A

1674-8425(2014)07-0022-06

10．3969/j．issn．1674-8425(s)．2014．07．005

2014-03-03

國家社會科學(xué)基金“混合時態(tài)邏輯及其多模態(tài)推廣的相關(guān)問題研究”(13BZX063)。

霍書全(1967—)，男，河南項城人，教授，哲學(xué)博士，研究方向:邏輯學(xué)、語言哲學(xué)。

霍書全．普萊爾早期的時態(tài)邏輯思想［J］．重慶理工大學(xué)學(xué)報:社會科學(xué)，2014(7):22-27．

format:HUO Shu-quan．Arthur N．Prior’s Early Thought of Tense Logic［J］．Journal of Chongqing University of Technology:Social Science，2014(7):22-27．