邏輯學導論(第4版)（簡體書）

本書是一本新型的邏輯教科書，適合於大學文理科的邏輯教學，力圖貫徹一個核心理念：邏輯學是對於理性精神的培養和訓練。本書在一個統一的框架內討論了數理邏輯、傳統邏輯、歸納邏輯和非形式邏輯的核心內容。全書由六章組成，分別是：邏輯是關於推理和論證的科學、命題邏輯、詞項邏輯、謂詞邏輯、歸納邏輯和非形式邏輯。本書各章後面有概要、思考題和練習題，為了幫助讀者延伸閱讀，書末附有“推薦閱讀書目”。2018年，本書第3版被評為“北京大學優秀教材”。

目錄

第一章邏輯是關於推理和論證的科學

第一節“邏輯”的詞源和詞義

一、“邏輯”的古希臘詞源

二、邏輯學的歷史與現狀

三、邏輯學的對象:推理和論證

第二節命題分析和邏輯類型

一、語句、命題、陳述、判斷與真值

二、複合命題和命題邏輯

三、直言命題和詞項邏輯

四、個體詞、謂詞和量化邏輯

五、變異邏輯、擴充邏輯和元邏輯

第三節推理形式及其有效性

一、推理的形式結構

二、推理形式的有效性

三、日常思維中的推理和論證

第四節邏輯基本規律

一、同一律

二、矛盾律

三、排中律

四、充足理由律

本章概要

思考題

第二章命題邏輯

第一節日常聯結詞和複合命題

一、簡單命題和複合命題

二、聯言命題

三、選言命題

四、假言命題

五、負命題

第二節真值聯結詞真值形式

一、從日常聯結詞到真值聯結詞

二、真值形式指派與賦值

三、否定

四、合取

五、析取

六、蘊涵

七、等值

八、自然語言中複合命題的符號化

第三節重言式及其判定方法

一、重言式

二、真值表方法

三、歸謬賦值法

四、樹形圖方法

第四節重言蘊涵式重言等值式

一、推理的形式結構重言蘊涵式

二、重言等值式置換規則

第五節命題邏輯的自然推理

一、PN推演規則

二、PN定理及其證明

三、PN有前提推演

第六節命題邏輯的擴充系統――廣義模態邏輯

一、 模態詞的種類

二、模態命題的真值條件

三、 模態邏輯系統TN

第七節命題邏輯知識的綜合應用

本章概要

思考題



第三章詞項邏輯

第一節直言命題

一、直言命題的結構和類型

二、直言命題中主謂項的關係

三、直言命題間的對當關係

四、直言命題中詞項的周延性

第二節直接推理

一、換質法

二、換位法

三、換質位法

四、對當關係推理

第三節三段論

一、三段論的定義格與式

二、三段論的一般規則和特殊規則

三、三段論的還原與公理化

四、三段論的非標準形式

第四節直言命題的存在含義問題

第五節三段論有效性的圖解判定

一、歐拉圖判定法

二、文恩圖判定法

本章概要

思考題



第四章謂詞邏輯

第一節個體詞性質謂詞量詞和公式

一、個體詞

二、一元謂詞和性質原子公式

三、量詞和量化公式

四、自然語言中性質命題的符號化

第二節關係謂詞重疊量化二元關係的性質

一、關係謂詞量詞的重疊重疊量化式

二、自然語言中關係命題的符號化

三、二元關係的邏輯性質排序問題

第三節模型和賦值普遍有效式

一、模型和賦值

二、普遍有效式

第四節普遍有效式的判定問題

一、樹形圖方法

二、證明非普遍有效性的方法

第五節謂詞邏輯的自然推理

一、QN推理規則

二、QN定理及其證明

三、QN有前提推演

第六節等詞理論和摹狀詞分析

一、等詞理論

二、摹狀詞分析

本章概要

思考題



第五章歸納邏輯

第一節什麼是歸納推理?

第二節簡單枚舉法

一、什麼是簡單枚舉法?

二、變化形式:科學歸納法

三、極限形式:完全歸納法

第三節排除歸納法

一、因果關係的特點

二、求同法

三、求異法

四、求同求異並用法

五、共變法

六、剩餘法

第四節類比推理

一、類比推理

二、模擬方法

三、比較方法

第五節假說演繹法

一、起點:問題和困境

二、形成假說:溯因推理

三、從假說推出觀察結論

四、驗證假說:證實和證偽

五、科學假說的評價標準

第六節概率、統計推理

一、基本概念

二、概率的三種解釋

三、概率演算

四、統計推理

五、警惕“精確”數字陷阱

第七節歸納方法是合理的嗎?

一、老歸納之謎:休謨問題及其回答

二、新歸納之謎:三個歸納悖論

第八節歸納邏輯的綜合應用

本章概要

思考題



第六章非形式邏輯

第一節定義理論

一、詞項的內涵和外延

二、定義的結構

三、定義的種類

四、定義的規則

五、定義的作用

第二節論證理論

一、把一切送上理智的法庭

二、論證的識別

三、論證的圖解

四、論證的評價

五、論證的建構

第三節謬誤理論

一、形式謬誤

二、非形式謬誤

本章概要

思考題



參考書目

推薦閱讀書目