試論哲學(xué)邏輯詞義辨析與對象范圍的界定

1、試論哲學(xué)邏輯詞義辨析與對象范圍的界定摘要:哲學(xué)邏輯是20世紀(jì)中期興起的一門新興學(xué)科。對哲學(xué)邏輯詞義的理解學(xué)者們還很不一致。概括起來大致有三種不同的觀點:一是認(rèn)為哲學(xué)邏輯是哲學(xué),它是一門與邏輯有關(guān)的哲學(xué)學(xué)科,它研究由邏輯所引起或提出的哲學(xué)問題;一是認(rèn)為哲學(xué)邏輯是邏輯,它是與哲學(xué)有關(guān)的邏輯學(xué)科,研究具有較為明顯的哲學(xué)背景與哲學(xué)意義的概念的邏輯問題;一是認(rèn)為哲學(xué)邏輯既是哲學(xué),又是邏輯。關(guān)于哲學(xué)邏輯詞義的這些不同看法,其原因在于未能把哲學(xué)邏輯與邏輯哲學(xué)這兩個不同的名詞區(qū)分開來,哲學(xué)邏輯與邏輯哲學(xué)都是現(xiàn)代哲學(xué)與現(xiàn)代邏輯互相浸透的產(chǎn)物,它們親密相關(guān),但又是兩門不同的學(xué)科,各有自己特定的研究對象與范圍。要促

2、進這兩門不同學(xué)科確實立與完善,必須嚴(yán)格區(qū)別哲學(xué)邏輯與邏輯哲學(xué)這兩個不同名詞的詞義。關(guān)鍵詞:哲學(xué)邏輯;邏輯哲學(xué);詞義;辨析從20世紀(jì)50年代開場,哲學(xué)邏輯和邏輯哲學(xué)的研究在國際哲學(xué)界、邏輯學(xué)界蓬勃興起,國內(nèi)邏輯學(xué)界也于上世紀(jì)80年代開場,介紹、引進國外哲學(xué)邏輯和邏輯哲學(xué)的研究成果,目前對哲學(xué)邏輯與邏輯哲學(xué)的研究,從總體上講,國內(nèi)仍處于消化、吸收并嘗試進展創(chuàng)造性研究階段。哲學(xué)邏輯和邏輯哲學(xué)這是兩門親密相關(guān)的學(xué)科,二者都是現(xiàn)代哲學(xué)與現(xiàn)代邏輯互相浸透的產(chǎn)物,但它們是兩門不同的學(xué)科,有著不同的研究對象與范圍。然而,由于“哲學(xué)邏輯至今是一個充滿歧義的詞,不同的學(xué)者對它有不同的理解,并在很不一樣的意義上使用

3、它,冠以“哲學(xué)邏輯之名的書籍五花八門,因此,和邏輯哲學(xué)在詞義上發(fā)生了混亂。為了進一步推動哲學(xué)邏輯與邏輯哲學(xué)的研究,促進這兩門新興學(xué)科確實立與完善,因此,有必要對哲學(xué)邏輯的準(zhǔn)確涵義及與邏輯哲學(xué)的關(guān)系作一番梳理與辨析。一哲學(xué)邏輯詞義的歷史演變最早論文網(wǎng)lunennet明確使用“哲學(xué)邏輯一詞的是英國著名數(shù)學(xué)家、哲學(xué)家、邏輯學(xué)家羅素。他在?我們關(guān)于外在世界的知識?一書(1929)中,指出:“數(shù)理邏輯,除了它的初創(chuàng)形式之外,就連最現(xiàn)代的形式也不直接具有哲學(xué)上的重要意義。在初創(chuàng)以后,它就屬于數(shù)學(xué)而不屬于哲學(xué)了。我將要扼要闡述的,是數(shù)理邏輯的初創(chuàng)形式,只有這個局部才真正稱得上哲學(xué)邏輯。往后的開展,盡管沒有直

4、接的哲學(xué)意義,但是對哲學(xué)研究有很大的間接用途。他還認(rèn)為,哲學(xué)邏輯的真正對象乃是為各種命題和推理所共有的邏輯形式,哲學(xué)邏輯乃是對邏輯形式的研究。以往的哲學(xué)由于被語言外表的語法形式所蒙騙,未能認(rèn)清其隱藏著的真正的邏輯形式,而犯了許多重大的哲學(xué)錯誤?？梢?羅素對“哲學(xué)邏輯一詞的詞義只給予了初步界定,而未加闡釋。后來的英國著名學(xué)者斯特勞森賦予了“哲學(xué)邏輯以明確的含義。1967年,斯特勞森編輯出版了一此題為?哲學(xué)邏輯?的文集,該文集收入了弗雷格、格拉斯等學(xué)者的相關(guān)論文,他為此書撰寫了一長篇序言,在序言中,斯特勞森闡述了他對哲學(xué)邏輯的觀點。他把整個邏輯領(lǐng)域區(qū)分為兩局部:“邏輯是關(guān)于命題的一般理論。它有形式

5、的局部和哲學(xué)的局部。分別叫形式邏輯和哲學(xué)邏輯。在他看來,形式邏輯研究命題之間的可演繹關(guān)系或蘊涵關(guān)系,它要以系統(tǒng)的方式排列有關(guān)這種蘊涵關(guān)系的各種規(guī)律;而哲學(xué)邏輯那么要研究形式邏輯產(chǎn)生的哲學(xué)背景和哲學(xué)預(yù)設(shè),以及由此引出的一系列哲學(xué)問題,例如:終究什么是命題?說一個命題為真是什么意思?命題聯(lián)結(jié)詞的準(zhǔn)確性質(zhì),特別是出如今條件命題中的蘊涵的準(zhǔn)確性質(zhì)是什么?意義概念應(yīng)當(dāng)怎樣加以分析?真理概念和分析性概念應(yīng)當(dāng)怎樣加以分析?指稱和述謂(predia2tin)的區(qū)別與聯(lián)絡(luò)是什么?哲學(xué)邏輯學(xué)家要答復(fù)這些問題,就必須答復(fù)有關(guān)語言和各種語言表達式的性質(zhì)與功能等問題。因此,需要進一步研究這樣一些問題:實際的言語活動形式

6、;意義理論;語言交際的特性與條件,等等。很明顯,在斯特勞森那里,“哲學(xué)邏輯其本質(zhì)不是邏輯,而是某種形式的哲學(xué),是對與邏輯有關(guān)的哲學(xué)概念和哲學(xué)問題的仔細(xì)探究,它的成果和方法有直接或,間接的哲學(xué)意義。在斯特勞森觀點的影響下,英國哲學(xué)家大都在哲學(xué)意義上使用了“哲學(xué)邏輯一詞。例如,格雷林在?哲學(xué)邏輯引論?一書中指出:“哲學(xué)邏輯是哲學(xué),盡管它是提供邏輯學(xué)知識,對邏輯問題很敏感的哲學(xué),但它是哲學(xué)。他甚至認(rèn)為,在“哲學(xué)邏輯這一名詞中,“邏輯這一字眼的作用會引人誤解,因為,哲學(xué)邏輯并不是關(guān)于邏輯的,也不是邏輯學(xué)。正是基于這些看法,格雷林的?哲學(xué)邏輯引論?所研究的主要是:命題;必然性、分析性與先驗性、存在、預(yù)設(shè)

7、與摹狀詞、實在論與反實在論,等等。與格雷林同為英國牛津大學(xué)講師的沃爾夫拉姆在1989年出版的?哲學(xué)邏輯導(dǎo)論?一書中,沃爾夫拉姆也闡述了他對哲學(xué)邏輯的看法。在他看來,哲學(xué)邏輯是關(guān)于論證、意義與真理的研究,它的主題與形式邏輯相關(guān),但其研究對象不同,它不像形式邏輯那樣處理有效論證,它只檢驗已經(jīng)建構(gòu)好的邏輯系統(tǒng)中的根本概念。根據(jù)這種觀點,沃爾夫拉姆在書中主要研究了指稱與真值、必然真、分析與綜合、存在與同一、意義問題,等等。在由結(jié)合國教科文組織籌劃,法國哲學(xué)家保羅利科主編的?哲學(xué)主要趨向?(1979)一書中,所沿用的都是這種意義上的哲學(xué)邏輯概念。然而,數(shù)理邏輯誕生以來,數(shù)理邏輯成果被廣泛運用,大批應(yīng)用邏

8、輯分支如同雨后春筍般地涌現(xiàn)出來,很多哲學(xué)家與邏輯學(xué)家關(guān)注了這一情況,賦予了哲學(xué)邏輯以邏輯的含義。眾所周知,在邏輯開展史上,萊布尼茨最早提出了創(chuàng)立數(shù)理邏輯的理想,他為此付出了艱辛的努力,卻未能獲得成功。1930年哥德爾證明了謂詞演算的完全性,數(shù)理邏輯才算真正創(chuàng)立。但是,有一局部邏輯學(xué)家不滿意已有的數(shù)理邏輯系統(tǒng),認(rèn)為它們存在嚴(yán)重的“缺陷和“缺乏,于是著手“修改或“擴大已有的一階邏輯。他們或者創(chuàng)立了一些修正以致替代它們的新邏輯分支,例如直覺主義邏輯,相干和衍推的邏輯,多值邏輯,自由邏輯等等,或者應(yīng)用已有的一階邏輯工具于哲學(xué)、語言學(xué)等專門領(lǐng)域,創(chuàng)立了帶有濃重應(yīng)用色彩的多種邏輯分支,例如,模態(tài)邏輯、時態(tài)

9、邏輯、道義邏輯、認(rèn)知邏輯等等。這些新的邏輯系統(tǒng)或分支在20世紀(jì)2030年代開場出現(xiàn),在5070年代繁榮興隆起來,以致最后形成了一個新興的邏輯學(xué)科群體。因此,相當(dāng)?shù)膶W(xué)者越來越傾向于用“哲學(xué)邏輯一詞專指這個新興的學(xué)科群體。例如,美國邏輯學(xué)家萊斯徹在1968年出版的?哲學(xué)邏輯論集?中闡述了他對哲學(xué)邏輯的看法。他指出,現(xiàn)代邏輯的開展有兩個方向:一是數(shù)學(xué)方向,即數(shù)理邏輯,它是現(xiàn)代邏輯開展的主流;另一個方向那么是哲學(xué)邏輯,它是對一些相關(guān)的哲學(xué)領(lǐng)域,比方本體論、認(rèn)識論領(lǐng)域、倫理道德與標(biāo)準(zhǔn)概念等的邏輯研究,這些研究的共同特點是它們與數(shù)學(xué)并無直接聯(lián)絡(luò),而往往具有較為明顯的哲學(xué)背景與哲學(xué)意義,故稱為哲學(xué)邏輯。在他

10、看來,模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認(rèn)知邏輯等等,就是哲學(xué)邏輯研究的主要內(nèi)容。他所構(gòu)造的哲學(xué)邏輯就是由這些研究內(nèi)容所組成的學(xué)科群體。關(guān)于哲學(xué)邏輯的詞義,也有許多學(xué)者是在哲學(xué)與邏輯的雙重意義上來使用。例如,柯比和古爾德合編的?當(dāng)代哲學(xué)邏輯?以及馮.賴特的論文集?哲學(xué)邏輯?都屬于這一類型。在他們看來,哲學(xué)邏輯既指對邏輯所產(chǎn)生或引起的哲學(xué)概念和問題的哲學(xué)研究,也指這種研究所建立起來的新的邏輯。前者是非形式的,后者那么是用形式化方法構(gòu)造的形式系統(tǒng)。恩格爾那么把前者叫做“非形式的哲學(xué)邏輯,后者叫做“形式的哲學(xué)邏輯。二哲學(xué)邏輯對象的界定根據(jù)上述對哲學(xué)邏輯詞義的歷史考察,關(guān)于哲學(xué)邏輯的詞義,國外學(xué)者是在三種

11、不同的意義上使用的:一是哲學(xué)邏輯是哲學(xué),是一門與邏輯有關(guān)的哲學(xué)學(xué)科,它研究由邏輯所引起或,提出的哲學(xué)問題;一是哲學(xué)邏輯是邏輯,它是與哲學(xué)有關(guān)的邏輯學(xué)科,研究具有較為明顯的哲學(xué)背景與哲學(xué)意義的概念的邏輯問題;一是哲學(xué)邏輯既是哲學(xué),又是邏輯。仔細(xì)講究這些關(guān)于哲學(xué)邏輯詞義的不同看法,可知其原因是未能把哲學(xué)邏輯與邏輯哲學(xué)這兩個不同的概念區(qū)分開來所致。我們知道,20世紀(jì)現(xiàn)代邏輯與現(xiàn)代哲學(xué)開展的一個重要特征是兩者的互相浸透,由此出現(xiàn)了“哲學(xué)的邏輯化與“邏輯的哲學(xué)化兩大趨勢,并進而形成了“哲學(xué)邏輯與“邏輯哲學(xué)等新興的穿插學(xué)科。哲學(xué)的邏輯化趨勢主要表如今現(xiàn)代西方分析哲學(xué)和語言哲學(xué)的興起,芬蘭最著名的哲學(xué)家、邏

12、輯學(xué)家馮賴特在其名著?20世紀(jì)的邏輯和哲學(xué)?中指出:“20世紀(jì)哲學(xué)最突出的特征是邏輯的復(fù)興,它是哲學(xué)開展的發(fā)酵劑。這一復(fù)興是從本世紀(jì)開場的。最初以劍橋和維也納為中心,后來擴大到整個分析哲學(xué)運動,這一復(fù)興與之交匯,這是邏輯學(xué)登上哲學(xué)舞臺的標(biāo)志。20世紀(jì)以來,哲學(xué)的主要問題和研究對象既不是本體論,也不是認(rèn)識論,而是語言問題,哲學(xué)研究的一般方法就是語言分析,而語言分析的根本工具就是現(xiàn)代邏輯,因此,在國際哲學(xué)界形成了哲學(xué)的邏輯化趨勢,在這種趨勢下,對一些哲學(xué)概念進展精細(xì)的邏輯分析成為一些學(xué)者關(guān)注的熱點,哲學(xué)邏輯也就應(yīng)運而生。邏輯的哲學(xué)化趨勢是在現(xiàn)代邏輯的根底上,在對邏輯的哲學(xué)反思中形成的,主要表現(xiàn)為對

13、邏輯本身的整體性的哲學(xué)考慮或研究以及對邏輯特別是現(xiàn)代邏輯開展中的一些詳細(xì)問題的哲學(xué)分析。由于現(xiàn)代邏輯本身是一個不斷開展的學(xué)科群體,也由于現(xiàn)代邏輯開展中的哲學(xué)問題并不是一成不變的,還由于不同的研究者可以有不同的研究視野,因此,邏輯的哲學(xué)化趨勢是多元的。當(dāng)哲學(xué)邏輯與邏輯哲學(xué)剛登上學(xué)術(shù)舞臺的時候,我國年輕學(xué)者陳波就親密關(guān)注其研究動態(tài),在國內(nèi)介紹并引進國外學(xué)者在哲學(xué)邏輯與邏輯哲學(xué)研究上的成果,并在一系列相關(guān)論著中,明確主張嚴(yán)格區(qū)分哲學(xué)邏輯和邏輯哲學(xué)。在我看來,哲學(xué)邏輯是邏輯,是20世紀(jì)20-30年代開場興起,5070年代蓬勃開展的一個新興邏輯學(xué)科群體,它們以數(shù)理邏輯(主要指一階邏輯)為直接根底,以傳統(tǒng)

14、的哲學(xué)概念、范疇以及邏輯在各門詳細(xì)科學(xué)中的應(yīng)用為研究對象,構(gòu)造出各種具有直接哲學(xué)意義的邏輯系統(tǒng)。邏輯哲學(xué)那么是哲學(xué),它在邏輯和哲學(xué)中都具有自己的起源,因此包括兩局部內(nèi)容:首先,邏輯哲學(xué)要研究邏輯學(xué)本身所提出的一系列哲學(xué)問題,例如邏輯終究是什么,蘊涵與推理有效性的關(guān)系,邏輯真理和邏輯悖論等等;其次,邏輯哲學(xué)還要研究如何在哲學(xué)研究中引入現(xiàn)代邏輯的工具,利用它去解決傳統(tǒng)的哲學(xué)爭論和哲學(xué)難題,例如意義問題、真理問題、存在問題等等。三哲學(xué)邏輯的研究范圍辨析哲學(xué)邏輯與邏輯哲學(xué)的詞義,可知兩者有著不同的研究對象,這種不同的研究對象,決定它們有著不同的研究范圍。以數(shù)理邏輯為直接根底,以傳統(tǒng)的哲學(xué)概念、范疇以及

15、邏輯在各門詳細(xì)科學(xué)中的應(yīng)用為研究對象的哲學(xué)邏輯,其研究范圍包括兩大子群,一是異常邏輯(deviantlgi),形式上表現(xiàn)為經(jīng)典邏輯的擇代系統(tǒng)(alternativesystes);一是應(yīng)用邏輯(appliedlgi),形式上表現(xiàn)為經(jīng)典邏輯的擴大系統(tǒng)(extendedsystes)。異常邏輯亦稱非經(jīng)典邏輯(nn-lassilgis),它們是相對于經(jīng)典邏輯而言的。經(jīng)典邏輯包括命題演算、謂詞演算和關(guān)系演算,是建立在下述根本原那么或假定之上的:(1)外延原那么,即它在處理語詞、語句時,只考慮它們的外延,并認(rèn)為語詞的外延是它所指稱的對象,語句的外延是它所具有的真值;假如在一復(fù)合語句中,用具有同樣指稱的但

16、有不同涵義的語詞或語句去交換另一語句或子語句時,該復(fù)合語句的真值保持不變。這就是著名的“外延論題。與此相聯(lián)絡(luò),一階邏輯是建立在本質(zhì)蘊涵之上的真值函項的邏輯。(2)二值原那么,即在一階邏輯中,任一命題或真或假,非真即假,沒有任何命題不具有真假值。(3)個體域非空,即量詞毫無例外地具有存在涵義,并且單稱詞項總是指稱個體域中的某個個體,不允許出現(xiàn)不指稱任何實存?zhèn)€體的空詞項。4.采用實無窮抽象法,因此在其中可以研究本質(zhì)上是非構(gòu)造的對象。但凡因否棄其中某一個原那么或假定而建立起來的邏輯理論,都屬于異常邏輯。詳細(xì)來說,這包括多值邏輯、相干和衍推的邏輯、直覺主義邏輯、偏邏輯、自由邏輯、量子邏輯等等。多值邏輯

17、就是由否棄真假二值原那么而建立的邏輯理論,它可以形式定義如下:一個系統(tǒng)是n值的,僅當(dāng)n是系統(tǒng)的特征模型值的最小數(shù),當(dāng)然這里的n必定大于2。隨著n取大于2的不同值,多值邏輯就有不同的形態(tài)。例如,當(dāng)n=3時,就得到最簡單的多值邏輯:三值邏輯。在盧卡西維茨所構(gòu)造的三值邏輯中,被經(jīng)典邏輯奉為金科玉律的不矛盾律和排中律不再是普遍有效的規(guī)律。三值邏輯還可擴展成有窮多值甚至無窮多值邏輯。將多值邏輯應(yīng)用于物理學(xué)領(lǐng)域,導(dǎo)致了量子邏輯的創(chuàng)立,后者被用來刻畫微觀粒子的波粒二象性和測不準(zhǔn)特性。相干論文網(wǎng)和衍推的邏輯、直覺主義邏輯都是由否棄本質(zhì)蘊涵而建立的邏輯理論。在相干邏輯中,用相干蘊涵代替本質(zhì)蘊涵。a相干蘊涵b,即

18、是說,a與b之間有某種共同的意義內(nèi)容,使得由a邏輯地推出b,并且這種推出與a,b的真值毫無關(guān)系。a與b之間內(nèi)容上的相干還有其形式表現(xiàn),即a和b至少有一個共同的命題變元,這就是著名的相干原理。a衍推出b,既要求a與b相干,又要求a與b有邏輯的必然聯(lián)絡(luò),所以衍推邏輯是相干邏輯,又是模態(tài)邏輯。在直覺主義蘊涵中,那么用直覺蘊涵代替本質(zhì)蘊涵,a直覺蘊涵b,是指存在某些構(gòu)造(例如p),把它與a相連接之后能產(chǎn)生b。這就是說,“假如a那么b要求a與b有一定的關(guān)系,亦即要求有一個過程,當(dāng)把這個過程與證明a的過程配合起來之后,可以證明b真。在相干邏輯和直覺主義邏輯中,許多經(jīng)典邏輯的定理不再成立。應(yīng)用邏輯那么是利用

19、經(jīng)典邏輯的工具,去分析某些詳細(xì)學(xué)科特別是哲學(xué)中的概念或范疇而建立的邏輯分支。所以馮賴特說:“哲學(xué)邏輯有時定義為運用邏輯分析傳統(tǒng)上哲學(xué)家所關(guān)心的概念的構(gòu)造?！拔野颜軐W(xué)邏輯描繪為構(gòu)造形式系統(tǒng)以準(zhǔn)確闡釋我們在某些話語領(lǐng)域內(nèi)的概念直覺。我認(rèn)為,本世紀(jì)20多年來的開展說明:構(gòu)造此類系統(tǒng)實際上可以在哲學(xué)家傳統(tǒng)上感興趣的任何領(lǐng)域內(nèi)進展。這些系統(tǒng)可以稱為相關(guān)領(lǐng)域內(nèi)的邏輯,例如,時間的邏輯,因果的邏輯,行動的邏輯,標(biāo)準(zhǔn)的邏輯,或者偏好(優(yōu)先)的邏輯。應(yīng)用邏輯又可以分為三組:本體論的邏輯,認(rèn)識論的邏輯和倫理標(biāo)準(zhǔn)的邏輯。本體論的邏輯是以傳統(tǒng)哲學(xué)本體論的概念、范疇以及相關(guān)問題為研究對象的邏輯理論。詳細(xì)來說,它包括模態(tài)

20、邏輯、時態(tài)邏輯、存在邏輯、局部和整體的邏輯、萊斯涅夫斯基的本體論、構(gòu)造主義的邏輯、唯名論唯實論意義上的本體論等等。模態(tài)邏輯是關(guān)于必然性和可能性的邏輯,或者說,是研究含有“必然性、“可能性的命題的邏輯特性及其推理關(guān)系的邏輯分支。它分為正規(guī)的和非正規(guī)的兩種類型。一個正規(guī)模態(tài)命題邏輯系統(tǒng)是經(jīng)典命題邏輯的重言式集的一個擴集,擴集滿足兩個條件:(1)口(pq)(口p口q)在s中有效;(2)在s中,從有效公式出發(fā),經(jīng)使用別離規(guī)那么,代入規(guī)那么,必然化規(guī)那么,所得到的仍為有效公式。這里提到的必然化規(guī)那么是:假設(shè)a,那么口a。時態(tài)命題是研究時態(tài)命題的邏輯特性及其推理關(guān)系的邏輯分支,它試圖把涉及時間因素的命題之間的推理關(guān)系系統(tǒng)化,為涉及時間因素的準(zhǔn)確討論和嚴(yán)格推理提供工具。從形式上看,時態(tài)命題邏輯系統(tǒng)t是不同于正規(guī)模態(tài)命題邏輯的,是經(jīng)典命題邏輯重言式集的另一種擴集,它滿足下述兩個條件:(1)g(pq)(gpgq)和pgpp在t中有效;(2)在t中,從有效公式出發(fā),經(jīng)使用別離規(guī)那么,代入規(guī)那么和時間性概括規(guī)那么,所得到的仍為有效公式。存在邏輯是關(guān)于存在及其同類概念的邏輯理論,它研究這些概念的性質(zhì),討論諸如“存在是不是謂詞等問題,這種邏輯歸根結(jié)底不僅依賴于純邏輯的考慮,而且依賴于本體論的考慮。認(rèn)識論