台灣痞客?

邏輯學有一段漫長而光榮的歷史，至少可以追溯到亞里士多德。不過，「現代邏輯」－由統一的命題和謂詞演算構成的形式演繹邏輯－是相對年輕的，起源於布爾、弗雷格、皮爾士、羅素以及19世紀和23世紀早期其他人的工作。自從這一引人注目的復興以來，在形式邏輯中已經取得了難以計數的進展，其中包括關邏輯系統的一致性、完全性、可靠性和可判定性的元邏輯結果證明；對於標準的命題和謂詞演算的模態的，道義的擴充；對於這些標準系統的直覺主義的、多值的、基於相干的、次協調的等等修正；以及把形式化的益處擴展到歸納推理的努力。（皮爾士已經預示過其中某些發展，他試驗過模態的並且是三值或「三價」的邏輯，並把科學方法劇畫為包含三種類型的推理：溯因推理、演繹推理、歸納推理。）新的數理邏輯已經取得了如此的成功，以致「邏輯」一詞，一度簡單地指「關於一切好的推理方式的理論」，現在則被經常地用在更狹窄的意義上，指形式上的數的邏輯；並且「經典邏輯」現在通常是指弗雷格－皮爾斯－羅素的系統。於是，在當代的哲學話語中，「邏輯哲學」被用來指涉關於邏輯的哲學基礎和眾多分支的探究，其中包括對確定和勾勒邏輯的範圍的不同方式的探討；關於邏輯的基礎的論證，包括它與形而上學、意義理論和推理的心理學的關係；對於像推理、量化、意義、真理、有效性、邏輯後承、邏輯真理、蘊涵等等這樣一些概念的分析；以及解決由說謊者悖論家族構成的語義悖論的努力。弗雷格邏輯創新的一個主要動力來自他的邏輯主義，即數學的基礎在於邏輯的議題；並且從一開始，這樣一些人就一直對現代邏輯感興趣，他們是直覺主義者、形式主義者和邏輯主義者，關注著數學中的基礎問題。在哲學領域，現代邏輯有同樣的影響力。確實，對於分析哲學－更確切地說，是對於分析哲學的這樣一個分支，它重點關注的不是日常語言，而是以卡爾納普和蒯因的方式關注形式語言－來說，邏輯已經是一個質性的工具：例如，在蒯因所提出本體論承諾標準（「存在就是成為約束變項的值」）中，或者在戴維森網領中，後者是一種適於自然語言的意義理論，但以塔斯基關於形式語言的真理論為基礎。並且已經證明，現代邏輯和邏輯哲學不僅對哲學家和數家有益處，而且對許多其他領域的專家也有益處，這些學科領域包括：語言學、心理學，法律推理的理論，以及－再一次如皮爾士所預言的－計算機科學。在《邏輯哲學》一書中，我審視了邏輯哲學的中心論題和概念（如該書的標題所表明的〔「邏輯」一詞用複數“Logics”－譯注〕，我在其中強調的是多值的、模態的以及其他的邏輯系統多元性）。既然我不能閱讀中文，我沒有閱讀過陳教授這本書的原文。毫無疑問，我們在某些問題上不一致，例如，關於形式的歸納邏輯的前景，我懷疑陳教授持有比我更為樂觀的看法。但是，從他的書的（英文）目錄表中，我可以看出，關於邏輯事業的基礎結構和眾多分支的哲學探討的範圍和重要性，陳教授與我享有同樣的感覺。