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

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

第一章 邏輯是關於推理和論證的科學
第一節 “邏輯”的詞源和詞義
一、“邏輯”的古希臘詞源
二、邏輯學的歷史與現狀
三、邏輯學的物件：推理和論證
第二節 命題分析和邏輯類型
一、語句、命題、陳述、判斷與真值
二、復合命題和命題邏輯
三、直言命題和詞項邏輯
四、個體詞、謂詞和量化邏輯
五、變異邏輯、擴充邏輯和元邏輯
第三節 推理形式及其有效性
一、推理的形式結構
二、推理形式的有效性
三、日常思維中的推理和論證
第四節 邏輯基本規律
一、同一律
二、矛盾律
三、排中律
四、充足理由律
本章概要
思考題
練習題

第二章 命題邏輯
第一節 日常聯結詞和復合命題
一、簡單命題和復合命題
二、聯言命題
三、選言命題
四、假言命題
五、負命題
第二節 真值聯結詞真值形式
一、從日常聯結詞到真值聯結詞
二、真值形式指派與賦值
三、否定
四、合取
五、析取
六、蘊涵
七、等值
八、自然語言中復合命題的符號化
第三節 重言式及其判定方法
一、重言式
二、真值表方法
三、歸謬賦值法
四、樹形圖方法
第四節 重言蘊涵式重言等值式
一、推理的形式結構重言蘊涵式
二、重言等值式置換規則
第五節 命題邏輯的自然推理
一、PN推演規則
二、PN定理及其證明
三、PN有前提推演
第六節 命題邏輯的擴充系統——廣義模態邏輯
一、模態詞的種類
二、模態命題的真值條件
三、模態邏輯系統TN
第七節命題邏輯知識的綜合應用
本章概要
思考題
練習題

第三章 詞項邏輯
第一節 直言命題
一、直言命題的結構和類型
二、直言命題中主謂項的關係
三、直言命題間的對當關係
四、直言命題中詞項的周延性
第二節 直接推理
一、換質法
二、換位法
三、換質位法
四、對當關係推理
第三節 三段論
一、三段論的定義格與式
二、三段論的一般規則和特殊規則
三、三段論的還原與公理化
四、三段論的非標準形式
第四節 直言命題的存在含義問題
第五節 三段論有效性的圖解判定
一、歐拉圖判定法
二、文恩圖判定法
本章概要
思考題
練習題

第四章 謂詞邏輯
第一節 個體詞性質謂詞量詞和公式
一、個體詞
二、一元謂詞和性質原子公式
三、量詞和量化公式
四、自然語言中性質命題的符號化
第二節 關係謂詞重疊量化二元關係的性質
一、關係謂詞量詞的重疊重疊量化式
二、自然語言中關係命題的符號化
三、二元關係的邏輯性質排序問題
第三節 模型和賦值普遍有效式
一、模型和賦值
二、普遍有效式
第四節 普遍有效式的判定問題
一、樹形圖方法
二、證明非普遍有效性的方法
第五節 謂詞邏輯的自然推理
一、QN推理規則
二、QN定理及其證明
三、QN有前提推演
第六節 等詞理論和摹狀詞分析
一、等詞理論
二、摹狀詞分析
本章概要
思考題
練習題

第五章 歸納邏輯
第一節 什麼是歸納推理？
第二節 簡單枚舉法
一、什麼是簡單枚舉法？
二、變化形式：科學歸納法
三、 限形式：完全歸納法
第三節 排除歸納法
一、因果關係的特點
二、求同法
三、求異法
四、求同求異並用法
五、共變法
六、剩餘法
第四節 類比推理
一、類比推理
二、模擬方法
三、比較方法
第五節 假說演繹法
一、起點：問題和困境
二、形成假說：溯因推理
三、從假說推出觀察結論
四、驗證假說：證實和證偽
五、科學假說的評價標準
第六節 概率、統計推理
一、基本概念
二、概率的三種解釋
三、概率演算
四、統計推理
五、警惕“精確”數字陷阱
第七節 歸納方法是合理的嗎？
一、老歸納之謎：休謨問題及其回答
二、新歸納之謎：三個歸納悖論
第八節 歸納邏輯的綜合應用
本章概要
思考題
練習題

第六章 非形式邏輯
第一節 定義理論
一、詞項的內涵和外延
二、定義的結構
三、定義的種類
四、定義的規則
五、定義的作用
第二節 論證理論
一、把一切送上理智的法庭
二、論證的識別
三、論證的圖解
四、論證的評價
五、論證的建構
第三節 謬誤理論
一、形式謬誤
二、非形式謬誤
本章概要
思考題
練習題

參考書目
推薦閱讀書目