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

　　三　哲學(xué)邏輯的研究范圍

　　辨析哲學(xué)邏輯與邏輯哲學(xué)的詞義,可知兩者有著不同的研究對(duì)象,這種不同的研究對(duì)象,決定它們有著不同的研究范圍。以數(shù)理邏輯為直接基礎(chǔ),以傳統(tǒng)的哲學(xué)概念、范疇以及邏輯在各門(mén)具體科學(xué)中的應(yīng)用為研究對(duì)象的哲學(xué)邏輯,其研究范圍包括兩大子群,一是異常邏輯( deviant logic) ,形式上表現(xiàn)為經(jīng)典邏輯的擇代系統(tǒng)( alternative systems) ; 一是應(yīng)用邏輯( app lied logic) ,形式上表現(xiàn)為經(jīng)典邏輯的擴(kuò)充系統(tǒng)( extendedsystems ) 。

　　異常邏輯亦稱(chēng)非經(jīng)典邏輯(non-classic logics) ,它們是相對(duì)于經(jīng)典邏輯而言的。經(jīng)典邏輯包括命題演算、謂詞演算和關(guān)系演算,是建立在下述基本原則或假定之上的: ( 1)外延原則,即它在處理語(yǔ)詞、語(yǔ)句時(shí),只考慮它們的外延,并認(rèn)為語(yǔ)詞的外延是它所指稱(chēng)的對(duì)象,語(yǔ)句的外延是它所具有的真值;如果在一復(fù)合語(yǔ)句中,用具有同樣指稱(chēng)的但有不同涵義的語(yǔ)詞或語(yǔ)句去替換另一語(yǔ)句或子語(yǔ)句時(shí),該復(fù)合語(yǔ)句的真值保持不變。這就是著名的“外延論題”⑧。與此相聯(lián)系,一階邏輯是建立在實(shí)質(zhì)蘊(yùn)涵之上的真值函項(xiàng)的邏輯。( 2)二值原則,即在一階邏輯中,任一命題或真或假,非真即假,沒(méi)有任何命題不具有真假值。(3)個(gè)體域非空,即量詞毫無(wú)例外地具有存在涵義,并且單稱(chēng)詞項(xiàng)總是指稱(chēng)個(gè)體域中的某個(gè)個(gè)體,不允許出現(xiàn)不指稱(chēng)任何實(shí)存?zhèn)€體的空詞項(xiàng)。4. 采用實(shí)無(wú)窮抽象法,因而在其中可以研究本質(zhì)上是非構(gòu)造的對(duì)象。凡是因否棄其中某一個(gè)原則或假定而建立起來(lái)的邏輯理論,都屬于異常邏輯。具體來(lái)說(shuō),這包括多值邏輯、相干和衍推的邏輯、直覺(jué)主義邏輯、偏邏輯、自由邏輯、量子邏輯等等。

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

　　相干[論文網(wǎng) Www.LunWenNet.Com]和衍推的邏輯、直覺(jué)主義邏輯都是由否棄實(shí)質(zhì)蘊(yùn)涵而建立的邏輯理論。在相干邏輯中,用相干蘊(yùn)涵代替實(shí)質(zhì)蘊(yùn)涵。A相干蘊(yùn)涵B,即是說(shuō), A與B之間有某種共同的意義內(nèi)容,使得由A邏輯地推出B,并且這種推出與A, B的真值毫無(wú)關(guān)系。A與B之間內(nèi)容上的相干還有其形式表現(xiàn),即A 和B至少有一個(gè)共同的命題變?cè)?這就是著名的相干原理。A衍推出B,既要求A與B相干,又要求A與B有邏輯的必然聯(lián)系,所以衍推邏輯是相干邏輯,又是模態(tài)邏輯。在直覺(jué)主義蘊(yùn)涵中,則用直覺(jué)蘊(yùn)涵代替實(shí)質(zhì)蘊(yùn)涵,A直覺(jué)蘊(yùn)涵B,是指存在某些構(gòu)造(例如P) , 把它與A 相連接之后能產(chǎn)生B。這就是說(shuō),“如果A則B”要求A與B有一定的關(guān)系,亦即要求有一個(gè)過(guò)程,當(dāng)把這個(gè)過(guò)程與證明A的過(guò)程配合起來(lái)之后,可以證明B真。在相干邏輯和直覺(jué)主義邏輯中,許多經(jīng)典邏輯的定理不再成立。

　　應(yīng)用邏輯則是利用經(jīng)典邏輯的工具,去分析某些具體學(xué)科特別是哲學(xué)中的概念或范疇而建立的邏輯分支。所以馮·賴(lài)特說(shuō):“哲學(xué)邏輯有時(shí)定義為運(yùn)用邏輯分析傳統(tǒng)上哲學(xué)家所關(guān)心的概念的結(jié)構(gòu)?！薄拔野颜軐W(xué)邏輯描述為構(gòu)造形式系統(tǒng)以精確闡釋我們?cè)谀承┰?huà)語(yǔ)領(lǐng)域內(nèi)的概念直覺(jué)。我認(rèn)為,本世紀(jì)20多年來(lái)的發(fā)展表明:構(gòu)造此類(lèi)系統(tǒng)實(shí)際上可以在哲學(xué)家傳統(tǒng)上感興趣的任何領(lǐng)域內(nèi)進(jìn)行。這些系統(tǒng)可以稱(chēng)為相關(guān)領(lǐng)域內(nèi)的‘邏輯’,例如,時(shí)間的邏輯,因果的邏輯,行動(dòng)的邏輯,規(guī)范的邏輯,或者偏好(優(yōu)先)的邏輯?！?br />
　　應(yīng)用邏輯又可以分為三組:本體論的邏輯,認(rèn)識(shí)論的邏輯和倫理規(guī)范的邏輯。

　　本體論的邏輯是以傳統(tǒng)哲學(xué)本體論的概念、范疇以及相關(guān)問(wèn)題為研究對(duì)象的邏輯理論。具體來(lái)說(shuō),它包括模態(tài)邏輯、時(shí)態(tài)邏輯、存在邏輯、部分和整體的邏輯、萊斯涅夫斯基的本體論、構(gòu)造主義的邏輯、唯名論唯實(shí)論意義上的本體論等等。模態(tài)邏輯是關(guān)于必然性和可能性的邏輯,或者說(shuō),是研究含有“必然性”、“可能性”的命題的邏輯特性及其推理關(guān)系的邏輯分支。它分為正規(guī)的和非正規(guī)的兩種類(lèi)型。一個(gè)正規(guī)模態(tài)命題邏輯系統(tǒng)是經(jīng)典命題邏輯的重言式集的一個(gè)擴(kuò)集,擴(kuò)集滿(mǎn)足兩個(gè)條件:

　　(1)口(p→q) → (口p→口q)在S中有效;

　　(2)在S中,從有效公式出發(fā), 經(jīng)使用分離規(guī)則, 代入規(guī)則,必然化規(guī)則,所得到的仍為有效公式。這里提到的必然化規(guī)則是:

　　若┝a,則┝口a。時(shí)態(tài)命題是研究時(shí)態(tài)命題的邏輯特性及其推理關(guān)系的邏輯分支,它試圖把涉及時(shí)間因素的命題之間的推理關(guān)系系統(tǒng)化,為涉及時(shí)間因素的精確討論和嚴(yán)格推理提供工具。從形式上看,時(shí)態(tài)命題邏輯系統(tǒng)T是不同于正規(guī)模態(tài)命題邏輯的,是經(jīng)典命題邏輯重言式集的另一種擴(kuò)集,它滿(mǎn)足下述兩個(gè)條件:

　　(1) G(p→q) → ( Gp→Gq)和P→GPp在T中有效;

　　(2)在T中,從有效公式出發(fā),經(jīng)使用分離規(guī)則,代入規(guī)則和時(shí)間性概括規(guī)則,所得到的仍為有效公式。

　　存在邏輯是關(guān)于存在及其同類(lèi)概念的邏輯理論,它研究這些概念的性質(zhì),探討諸如“存在是不是謂詞”等問(wèn)題,這種邏輯歸根結(jié)底不僅依賴(lài)于純邏輯的思考,而且依賴(lài)于本體論的思考。

　　認(rèn)識(shí)論的邏輯是以傳統(tǒng)認(rèn)識(shí)論所研究的概念、范疇為對(duì)象的邏輯理論,它們與知識(shí)的獲得、接受、傳遞以及對(duì)于某一知識(shí)的態(tài)度例如懷疑、斷定、相信等等有關(guān)。具體來(lái)說(shuō),它包括問(wèn)題邏輯、知道邏輯、相信邏輯、條件句邏輯、內(nèi)涵邏輯、歸納邏輯(證據(jù)、確證、接受的邏輯)等。⑩

　　倫理規(guī)范邏輯:倫理學(xué)屬于廣義哲學(xué)的一部分,傳統(tǒng)哲學(xué)特別是倫理學(xué)要研究諸如權(quán)力和義務(wù)、應(yīng)該、允許、禁止、需要和要求、決定和選擇、動(dòng)機(jī)、效果與行動(dòng)等概念和范疇。倫理規(guī)范的邏輯就是與這一類(lèi)哲學(xué)概念和范疇相關(guān)的邏輯理論。

　　具體來(lái)說(shuō),它包括道義邏輯、命令句邏輯、行動(dòng)邏輯、優(yōu)先邏輯等等。

　　注:

　?、倭_素:《我們關(guān)于外在世界的知識(shí)》,東方出版社1992 年版,第36頁(yè)。

　?、赑. F. Strawson: Philosophical Logic, Oxford University Press,1967年版,第1頁(yè)。

　?、鄹窭琢?《哲學(xué)邏輯引論》,中國(guó)社會(huì)科學(xué)出版社1990 年版,第17頁(yè)。

　?、?S, Wolfram: Philosophical Logic: An Introduction, RoutledgeLondon and New York, 1989年版,第8頁(yè)。

　　⑤陳波:《邏輯哲學(xué)》,北京大學(xué)出版社2005年版,第10頁(yè)。

　　⑥N. Rescher: Top ics in Philosophical Logic,D. Reidel PublishingCompany, 1981年版,第21頁(yè)。

　?、吆鷿珊?《邏輯的哲學(xué)反思》,中央編譯出版社2004 年版,第34頁(yè)。

　?、嗤趼?《邏輯與哲學(xué)》,人民出版社2007年版,第46頁(yè)。

　?、嵝苊?《一階邏輯的內(nèi)涵語(yǔ)義》,《湖南科技大學(xué)學(xué)報(bào)》(社科版) 2006年第6期。

　?、忾Z景強(qiáng):《一個(gè)以實(shí)踐確證論為基礎(chǔ)的認(rèn)知邏輯系統(tǒng)KJB》,《湖南科技大學(xué)學(xué)報(bào)》(社科版) 2008年第1期。