深究哲學邏輯的幾個理論問題

導語：深究哲學邏輯的幾個理論問題一文來源于網友上傳，不代表本站觀點，若需要原創文章可咨詢客服老師，歡迎參考。

哲學邏輯的崛起引發一系列理論問題。我們僅就其中幾個提出一些不成熟的看法。

一、經典邏輯和非經典邏輯的界限

在這里經典邏輯是指標準的一階謂詞演算(CQC)，它的語義學是模型論。隨著非經典邏輯分支不斷出現，使得我們對經典邏輯和非經邏輯的界限的認識逐步加深。就目前情況看，經典邏輯具有下述特征：二值性、外延性、存在性、單調性、陳述性和協調性。

傳統的主流觀點：每個命題（語句）或是真的或是假的。這條被稱做克呂西波(Chrysippus)原則一直被大多數邏輯學家所恪守。20年代初盧卡西維茨(J.Lukasiwicz)建立三值邏輯系統，從而打破了二值性原則的一統天下，出現了多值邏輯、部分邏輯（偏邏輯）等一系列非二值型的邏輯。

經典邏輯是外延邏輯。外延性邏輯具有下述特點：第一，這種邏輯認為每個表達式（詞項、語句）的外延就是它們的意義。每個個體詞都指稱解釋域中的個體；而語句的外延是它們的真值。第二，每個復合表達式的值是由組成它的各部分表達式的值所決定，也就是說，復合表達式的意義是其各部分表達式意義的函項，第三，同一性替換規則和等值置換定理在外延關系推理中成立。也是在20年代初，劉易士(C.I.Lewis)在構造嚴格蘊涵系統時，引入初始模態概念“相容性”（或“可能性”），并進一步構建模態系統S1-S5。從而引發一系列非外延型的邏輯系統出現，如模態邏輯、時態邏輯、道義邏輯和認知邏輯等等出現。

從弗雷格始，經典邏輯系統的語義學中，總是假定一個非空的解釋域，要求個體詞項解釋域是非空的。這就是說，經典邏輯對量詞的解釋中隱含著“存在假設”，在60年代被命名為“自由邏輯”的非存型的邏輯出現了。自由邏輯的重要任務就在于：把經典邏輯中隱含的存在假設變明顯；區分開邏輯中的兩種情況：一種與存在假設有關的推理，另一種與它無關。

在經典邏輯范圍內，由已知事實的集合推出結論，永遠不會被進一步推演所否定，即無論增加多少新信息作前提，也不會廢除原來的結論。這就是說經典邏輯推理具有單調性。然而于70年代末，里特(R.REiter)提出缺省(Default)推理系統，于是一系列非單調邏輯出現。

經典邏輯總是從真假角度研究命題間關系。因而只考察陳述句間關系的邏輯，像祈使句、疑問句、感嘆句就被排斥在邏輯學直接研究之外。自50年代始，命令句邏輯、疑問句邏輯相繼出現。于是，非陳述型的邏輯存在已成事實。

經典邏輯中有這樣兩條定理：┐（p∧┐q）（矛盾律）和p∧┐p→q（司各特律），前者表明：在一個系統內禁不協調的命題作為論題，后者說的是：由矛盾可推出一切命題。也就是說，如果一個系統是不協調的，那么一切命題都是它的定理。這樣的系統是不足道的(trivial)。柯斯塔(M.C.A.daCosta)于1958年構造邏輯系統Cn（1〈n≤ω）。矛盾律和司各特律在該系統中不普遍有效，而其他最重要模式和推理規則得以保留。這就開創了非經典邏輯一個新方向弗協調邏輯。

綜上所述非經典邏輯諸分支從不同方面突破經典邏輯某些原則。于是，我們可以以上面六種特征作為劃分經典邏輯與非經典邏輯的根據。凡是不具有上述六種性質之一的邏輯系統均屬非經典邏輯范疇。

二、非單調性與演繹性

通常這樣來刻畫演繹：相對于語句集合Γ，對于任一語句S，滿足下述條件的其最后語句為S的有窮序列是S由Γ演繹的：序列中每個語句或者是公理，或者是Г的元素，或者根據推理規則由前面的語句獲得的。它的一個同義詞是導出(derivation)。演繹是相對于系統的概念，說一個公式（或語句）是演繹的只是相對于一不定的公理和推理規則的具體系統而言的。演繹概念是證明概念的概括。一個證明是語句這樣的有窮序列：它的每個語句或是公理或是根據推理規則由前面的語句得出的。在序列中最后一個語句是定理。

由此可見，缺省邏輯中的推出關系比經典邏輯中的要寬。因而相應擴大了“演繹性”概念的外延。于是可把演繹性分為：強演繹性和弱演繹性。后者是隨著作為前提的信息逐步完善，而導出的結論逐步逼近真的結論。

三、邏輯的數學化和部門化

正如有人所指出的那樣，“邏輯學在智力圖譜中占有戰略地位，它聯結著數學、語言學、哲學和計算機科學不同學科。”作為構建各學科系統的元科學手段的邏輯與各門科學聯系越來越密切。它在當展中，表現出兩個重要特征：數學化和部門化。

邏輯學日益數學化，這表現為：(1)邏輯采取更多的數學方法，因而技術性程度越來越高。一些邏輯問題（如系統特征問題）的解決需要復雜的證明技術和數學技巧。(2)它更側重于數學形式化的問題。其實數學化的本質是抽象化、理想化和泛化（普遍化）。這對像邏輯這樣的形式科學顯然是非常重要的，近一個世紀邏輯迅速發展就證明了這一點。邏輯方法論的數學化在本世紀下半葉正在加速。這給予邏輯的一些重要結論以復雜的結構和深入的處理，使邏輯變得更精確更豐富。但是，由于邏輯中數學專門化已定型并且限定了它自己，所以邏輯需向其他領域擴張，拓寬其研究領域就勢所必然。

邏輯向其他學科領域的延伸并吸收營養，于是出現了各種部門邏輯，如認知邏輯、道義邏輯、量子邏輯等等。我們把邏輯學這種延伸和部門邏輯出現稱做邏輯部門化。

哲學邏輯就是邏輯部門化的產物，它是方面邏輯或部門邏輯。眾所周知，經典邏輯演算的理論、方法和運算技術具有高度的概括性，它適用于一切領域、一切語言所表達的演繹推理形式。所以，它具有普遍性，是一般的邏輯。有人認為一階演算完全性定理表明“采用現代數學方法和數學語言來刻畫的全體‘演繹推理規律’恰好就是人們在思維中所用的演繹推理規律的全體，不多也不少！”。表達一階邏輯規律的公式是普通有效的，即是這些公式在任何一種解釋中都是真的。而哲學邏輯各分支只是研究某一方面或領域的演繹推理規律，表達這些規律的公式只是在一定條件下在某一領域是有效的，即是它們在具有某種條件解釋下是真的。例如，模態公式(D)□P→◇P,(T)□P→P,(B)P→□◇P,(4)□P→□□P,(E)◇P→□◇P，分別在串行的、自反的、對稱的、傳遞的、歐幾里得的模型中有效。而動態邏輯的一些規律只適用于像計算程序那樣的由一種狀態過渡到另一種狀態轉換的動態關系。

部門邏輯另一種含義是為某一特定領域提供邏輯工具。例如，當人們找出描述一個微觀物理系統在某一時刻的可觀察屬性的命題的一般形式。對其進行運算時，發現一些經典邏輯規律失效，如分配律對這里定義的合取、析取運算不成立。于是人們構造一種能夠描述微觀物理世界新的邏輯系統，這就是量子邏輯。

四、哲學邏輯劃界問題

哲學邏輯形形色色并且難于表征。在現代邏輯文獻中，“哲學邏輯”是個多義詞。它的涵義主要的有三種：它的第一種涵義是指關于現代邏輯中一些重要概念和論題的理論研究。例如，對于名稱（詞項）、摹狀詞、量詞、模態詞、命題、分析性、真理、意義、指涉、命題態度、悖論、存在乃至索引等概念及與它們相關的論題的理論研究以及利用形式邏輯工具處理邏輯和語言的邏輯結構的哲學爭論。它的第二種涵義是指非經典邏輯中一個學科群體，它包括模態邏輯、多值邏輯等等眾多邏輯分支。它的第三種涵義是兼指上述兩種涵義的“哲學邏輯”。

我們認為，第一種涵義上的“哲學邏輯”不是研究推理有效式意義上的邏輯，而是邏輯哲學。我們贊成在第二種涵義上使用“哲學邏輯”一詞。于是可以給出下述定義：哲學邏輯是具有哲學旨趣或涉及哲學事業的非經典邏輯，在這里應對“哲學”做廣義的理解。哲學邏輯不僅與傳統哲學中的概念和論題有直接或間接聯系。而且也涉及各門科學中具有方法論性質的問題和其他元科學問題。

在我們看來，“歸納”和“演繹”一樣，是傳統哲學所關注的重要哲學概念，而且也是現代一些哲學家所爭議的問題之一。同時歸納邏輯方法的啟發作用在認知過程中不可低估，歸納的一些方法和技術同樣是一些學科的元科學因素，是發現真理構建學科系統不可少的。因此，它應屬于哲學邏輯。《哲學邏輯雜志》亦把它列入哲學邏輯諸分支之首。問題在于，歸納推理的復雜性，對它的形式刻畫和找出能行程序遇到不易克服的困難，致使其成果與演繹推理所獲得成果相比，顯得不那么豐碩。然而，由于人工智能等技術上的需要，推動著更多的人研究歸納推理，總會有一天，歸納邏輯也像演繹邏輯那樣用形式方法來處理。