哲學邏輯手冊檢視原始碼討論檢視歷史
《哲學邏輯手冊》，哲學邏輯方面的重要專著。D.噶貝(D.Gabbay)和F.迦特納(F.Guenthner)主編。共分4卷，其中第1、2、3卷瑞德出版公司分別於1983、1984、1986年出版。
內容簡介
本書是首次對哲學邏輯中心領域的系統概述。第1分卷，古典邏輯基礎；第2分卷，古典邏輯的擴充；第3分卷，古典邏輯的替代；第4分卷，語言哲學中的課題。
第1分卷共6章，計493頁。主要目的有兩個，一是概述古典邏輯基礎，一是為讀者理解其他各分卷的內容提供必要的背景材料。第1章勾畫了謂詞邏輯的一般範圍。有3部分，前兩部分概述命題邏輯和一階謂詞邏輯，最後部分討論了一階邏輯的範圍，詳細解釋了Lindston定理的證明和結論，對於謂詞邏輯為何能在數學的形式化、哲學應用及語言學應用的許多領域中起巨大作用的問題提供了一個回答。第2章討論了謂詞邏輯的證明論問題，概述了常見的各種證明方法(公理系統、自然演繹、後承演算及其變種語義表列系統)，指明了它們各自的特點，並作了一些比較。謂詞邏輯除了標準的模型論語義外，還可以有其他種類的語義。第3章概述了3種這樣的語義:代入語義、真值語義和概率語義。一階邏輯只允許量詞用於個體，取消這一限制使之也適用於高階實體，例如集合、函數、集合的集合等等，也就進入了高階邏輯的範圍。有關二階邏輯及更高階邏輯的種種結果，以及來自抽象模型論的有關材料，都概述在第4章中。第5章基本上是分支類型的一個導引，論述了分支類型論的哲學意義和邏輯意義。最後一章，論述遞歸論，包含遞歸論的最為必要的部分。諸如對角線化、算術化、自指、可判定性、可枚舉性等類的課題，還包含了遞歸論對邏輯的一些應用。
第2分卷的副標題為古典邏輯的擴充。共分12章，計776頁。主要以可能世界概念為基礎處理涉及自然語言與人工語言的許多問題。前4章都是關於命題語言的。第1章全面綜述了模態命題邏輯的基本內容；首先回顧了現代模態邏輯發展的幾個主要方向，然後論述了一些最重要的元數學結果和得出這些結果的技巧，引出了將運用於以後各章的一些術語及語義手段。對模態概念作時間解釋將產生時態邏輯。第2章論述了對時間作各種不同假設時所得出的相應的時態邏輯系統，諸如偏序、良序、有端點、無端點、稠密和連續等，本章還論述了時間段和時態詞「自從」、「直至」、「不間斷地」、「近來」和「立刻」。第3章論述模態算子和時態算子同時出現在一系統中引起的種種複雜情況。第4章綜述了模態對應理論，主要研究模態邏輯系統與一階謂詞及高階謂詞邏輯的關係，討論關於可能世界結構(或構架)的條件與表達這些條件的模態公式之間的關係。模態邏輯的量詞理論是模態邏輯中很有爭議的部分，第5和第6兩章對此作了綜述，介紹了一些熟知的系統並研究了它們間的關係與性質，也檢查了由不同的哲學觀點而提出的量化模態邏輯的語義學，比較了它們之間的優劣。第7章主要概述普遍內涵邏輯的車爾赤系統和蒙塔古系統。第8和第12兩章處理自然語言中特殊種類語句的邏輯性質和語義性質。第8章論述了最為熟知的一些條件句邏輯系統，特別是反事實條件句邏輯系統。第12章處理的則是問句，陳述了因研究動機不同而產生的基本概念以及理論化問句邏輯的內容和方法，集中討論了在不同方向上對理論進一步發展具有特別重要意義和富有成果的少數邏輯學家的工作。可證性解釋是模態邏輯研究的主要方向之一，第9章跟這一方向有關。在這一章中，由論述算術中的自指、羅比定理和哥德爾不完全性定理出發，給出了一個可證性邏輯系統用以表達算術中的可證性斷定，討論了這系統的模型理論和算術解釋，介紹了索羅維的兩個完全性定理。第10章論述了模態邏輯在計算機程序推理中的應用，它詳細綜述了理論計算機科學和程序邏輯研究中的一些方法，說明如何把模態和時態邏輯中的敘述用於表達和證明給定程序的正確性，使之公式化。模態概念也可作道義解釋而產生道義邏輯系統，第11章綜述了這方面的研究，提供了一系列道義邏輯系統的陳述和精確化。
第3分卷副標題為古典邏輯的替代，共分8章，主要論述古典邏輯的種種替代。在古典邏輯中，每一個語句不是真的就是假的，而且每個單稱項必有所指。現在已經出現了相當一些背離這一情形的邏輯。第1章論述的部分邏輯就是這樣的邏輯。在部分邏輯系統中，語句可以既不真也不假，詞項也不必總有所指。對於產生這些邏輯的哲學動機以及它們的應用，有着種種混亂的說法。對此作了一個簡單的探討，其指導思想是強調邏輯運算，而不是強調它們取作自變項的語句或者單稱項以及由它們產生的語句或詞項。收集了各種零星的見解並提出了一些新見解，根據這些新見解建立了部分邏輯的一階語義，對真值空白和所指不足作了一致的處理。古典邏輯最早的競爭對手是多值邏輯，它的特徵就是允許語句取許多可能的真值。第2章從多值邏輯的歷史和由來開始，敘述了多值邏輯的一般理論以及它的最近進展和應用，最後還介紹了弗晰邏輯和意義的邏輯。隨後3章介紹的是古典邏輯的另外兩個對手:相干邏輯和直覺主義邏輯。第3章就相干邏輯的3個主要問題(γ規則的可接受性、判定問題和語義)作了概述。首先在第1節中介紹相干邏輯的公理系統和自然推理系統，證明了演繹定理和幾個基本的形式性質，並討論了一次衍推式以及相干邏輯跟其他一些熟知的邏輯的關係；然後在第2節中詳細論證了γ—規則對相干命題邏輯的可接受性，在第3節中概述了已知的可判定或不可判定的情形；最後在第4節中介紹了相干邏輯的種種語義，包括代數的、集合論的、關係的和烏爾喀特的運算語義。第4章詳細闡述了直覺主義邏輯的證明論和語義，在介紹語義時作者引進了具思模型和克里普克模型的一個共同推廣。在本章中還討論了居中邏輯、直覺主義一階理論、二階直覺主義邏輯和直覺主義數學中的一些問題，並在最後二節中討論了存在性邏輯和對布勞維爾引進的創造性主體理論作了解釋。第5章是第4章的一個補充，從對話遊戲的觀點對直覺主義邏輯作證明論的研究。第6和第7兩章分別描述了自由邏輯和量子邏輯。自由邏輯系統的命題部分跟古典命題邏輯是一致的，但在謂詞部分允許出現無指稱的單稱項和量詞。量子邏輯就是跟物理中量子理論的數學表述有關的邏輯。最後一章概述了證明論用來確定邏輯聯結詞的性質的各種方式，還介紹了有關意指理論的爭論和馬丁羅夫類型論。
全書各卷均由處於研究前沿的專家撰寫，精彩紛呈。
工具書的分類
工具書[1]按內容分有綜合性的、專科性的；按文種分有中文的，外文的；按編輯體例與功用分有辭書、類書、政書、百科全書、年鑑、手冊、書目、索引、文摘、表譜、圖錄、地圖、名錄等[2]。