作者:張海澎
Theodore Sider, Logic for Philosophy (Oxford, 2010)
Theodore Sider 的這本書比較全面地介紹了形式邏輯的各種理論。這本書的特點是包羅萬象,幾乎涵蓋了所有形式邏輯的重要分支;但這既是它的優點,也是它的缺點。以下先簡述這本書的內容,然後講講這本書的優缺點,最後討論這本書的價值。
第一章介紹形式邏輯的一些基本概念。第二章講述標準命題邏輯。第三章講述一些非標準的命題邏輯,如不同的記號系統、一些三值邏輯、直覺主義邏輯等。第四章講述標準的謂詞邏輯。第五章講述一些非標準的謂詞邏輯,如廣義量詞邏輯、二階邏輯、複雜謂詞、自由邏輯等。第六章講述命題模態邏輯。第七章講述一些哲學邏輯,如道義邏輯、認識論邏輯、時態邏輯等。第八章講述反事實條件句邏輯。第九章講述量化模態邏輯。第十章講述二維模態邏輯。
大家可以看到,這本書的內容極為豐富,簡直什麼都有。然而,要在一本不到300頁的書中討論如此多的內容,涉及那麼多的邏輯分支,還要討論一些元邏輯問題,對各種問題的討論就只能非常簡要。因此,如果你的興趣是在形式邏輯本身,想較深入、全面地了解邏輯學的各個分支,這不是一本好書。不過,如果你的興趣是在分析哲學,只想掌握一些對學習和研究哲學有用的形式工具,這就是一本很值得看的書。
在導言中,我們提到過要區分:邏輯作為論證的工具,和邏輯作為分析的工具。在哲學的論證中(其他的學科也一樣),需要經常運用的邏輯規則其實並不多,常見的就那麼幾種,如肯定前件、否定後件、假言三段論、選言三段論、二難論證、排除證法、歸謬法、條件證法、反例法等。然而,形式邏輯還有另外一個非常了不起的用途,就是可以成為強有力的分析工具。
自然語言往往不夠嚴謹,哲學命題一般都是用自然語言表達的;這些命題的邏輯結構以及有可能隱藏的問題,往往不能一目了然。分析哲學家常常借助形式邏輯的工具,將這些命題翻譯成精確的邏輯公式,從而展示這些命題的深層邏輯結構,或揭示這些命題所隱藏的邏輯問題,以此來分析問題和解決問題。這種邏輯分析的方法真正是分析哲學所獨有的方法。因此,如果不熟悉這些形式邏輯,學習分析哲學有時會遇到因難。掌握了這些形式邏輯,不但有助於我們學習分析哲學,當我們自己思考和解決一些哲學問題時,它們更可以是非常強有力的工具。
Theodore Sider 這本書能使我們在較短的時間內掌握形式邏輯的許多重要分支,熟悉各種符號和公式。這本書可以常備在案頭,以便在有需要時隨時查閱。這本書每個章節後面都附有相當數量的習題,難度都不高,即使不能全部都做,也最好做完大部分。這樣可以磨練我們運用各種邏輯公式的技巧。