形式邏輯（第六版）

一、核心觀念 《形式邏輯（第五版）》是國內經典的傳統形式邏輯教材，以日常思維的形式結構與規則爲核心，兼具理論性與實用性，其核心觀念可概括爲： 1. 研究對象：思維的形式結構 形式邏輯撇開思維的具體內容，專門研究概念、命題、推理的邏輯形式（由邏輯常項與變項構成）及其規律，同時配套定義、劃分、探求因果聯繫等簡單邏輯方法，核心目標是確立推理的有效性規則。 2. 學科屬性：通用工具性學科 形式邏輯是正確思維與有效論證的基礎工具，具有全人類性、基礎性，無階級與民族差異，適用於所有領域的理性表達與認知活動。 3. 核心準則：思維確定性+論證充足性 同一律、矛盾律、排中律是思維的三大基本規律，分別保障思維的確定性、無矛盾性、明確性；充足理由原則是論證的根本原則，保障思維的論證性與說服力。 4. 體系主線：從思維單元到綜合運用 全書以“概念-命題-推理-基本規律-論證”爲邏輯鏈條：概念是思維最小單元，命題是判斷的載體，推理是核心內容，基本規律貫穿全部思維形式，論證是所有邏輯知識的綜合實踐。 5. 實踐價值：規範思維，識別謬誤 學習形式邏輯的核心意義在於提升思維嚴謹性，規範表達與論證，識別並反駁詭辯、邏輯謬誤，提升認知與表達的準確性。   二、詳細思維導圖 plaintext 形式邏輯（第五版） ├─ 第一章 形式邏輯的對象和意義 │ ├─ 形式邏輯的對象和性質 │ │ ├─ 研究對象：思維的邏輯形式 + 簡單邏輯方法 │ │ ├─ 思維形式結構：邏輯常項（決定形式性質）、邏輯變項 │ │ └─ 學科性質：工具性、基礎性、全人類性 │ └─ 學習意義與方法 │ ├─ 意義：規範思維、提升論證能力、識別謬誤 │ └─ 方法：理論結合日常思維，配套習題練習 ├─ 第二章 概念 │ ├─ 概念概述 │ │ ├─ 定義：反映對象本質屬性的思維形式 │ │ └─ 概念與語詞：內容與形式的聯繫與區別 │ ├─ 基本邏輯特徵 │ │ ├─ 內涵：概念反映的對象本質屬性 │ │ └─ 外延：具有該屬性的對象範圍 │ ├─ 概念的種類 │ │ ├─ 單獨概念 / 普遍概念 │ │ ├─ 集合概念 / 非集合概念 │ │ └─ 正概念 / 負概念 │ ├─ 外延間的關係 │ │ ├─ 相容關係：全同、真包含於、真包含、交叉 │ │ └─ 不相容關係：矛盾關係、反對關係 │ ├─ 概念的限制與概括 │ │ ├─ 依據：內涵與外延的反變關係 │ │ ├─ 限制：增內涵、縮外延（屬→種） │ │ └─ 概括：減內涵、擴外延（種→屬） │ ├─ 定義 │ │ ├─ 結構：被定義項、定義項、定義聯項 │ │ ├─ 核心方法：屬加種差定義 │ │ └─ 規則：相稱性、不循環、清楚確切、不用否定 │ └─ 劃分 │ ├─ 結構：母項、子項、劃分根據 │ ├─ 類型：一次劃分、連續劃分、二分法 │ └─ 規則：子項外延和等於母項、子項互斥、根據同一 ├─ 第三章 簡單命題及其推理（上） │ ├─ 命題與推理概述 │ │ ├─ 命題：對事物有所斷定，有真假屬性 │ │ ├─ 推理：由已知命題推出新命題 │ │ └─ 推理分類：演繹/歸納/類比；必然性/或然性 │ ├─ 性質命題（直言命題） │ │ ├─ 結構：主項S、謂項P、聯項、量項 │ │ ├─ 四類基本形式：A全稱肯定、E全稱否定、I特稱肯定、O特稱否定 │ │ ├─ 主謂項周延性 │ │ │ ├─ A：主周謂不周 │ │ │ ├─ E：主謂都周 │ │ │ ├─ I：主謂都不周 │ │ │ └─ O：主不周謂周 │ │ └─ 同素材對當關係（邏輯方陣） │ │ ├─ 矛盾關係：A-O、E-I（一真一假） │ │ ├─ 反對關係：A-E（不同真，可同假） │ │ ├─ 下反對關係：I-O（不同假，可同真） │ │ └─ 差等關係：A-I、E-O（全真特真，特假全假） │ └─ 性質命題直接推理 │ ├─ 對當關係推理：依據邏輯方陣的有效推導 │ └─ 命題變形推理 │ ├─ 換質法：換聯項，謂項變矛盾概念 │ ├─ 換位法：交換主謂項，不周延項不得周延 │ └─ 換質位法：換質與換位交替使用 ├─ 第四章 簡單命題及其推理（下） │ ├─ 三段論 │ │ ├─ 結構：大項P、小項S、中項M；大前提、小前提、結論 │ │ ├─ 公理：斷定全部必斷定部分 │ │ ├─ 7條基本規則 │ │ │ ├─ 有且僅有三個不同的項 │ │ │ ├─ 中項至少周延一次 │ │ │ ├─ 前提不周延的項，結論不得周延 │ │ │ ├─ 兩否定前提無結論 │ │ │ ├─ 前提一否定，結論必否定 │ │ │ ├─ 兩特稱前提無結論 │ │ │ └─ 前提一特稱，結論必特稱 │ │ ├─ 格與式 │ │ │ ├─ 四個格：按中項位置區分 │ │ │ └─ 24個有效式（含5個弱式） │ │ └─ 省略三段論：省略大前提/小前提/結論 │ └─ 關係命題及其推理 │ ├─ 關係命題結構：關係者項、關係項、量項 │ ├─ 關係性質 │ │ ├─ 對稱性：對稱、反對稱、非對稱 │ │ └─ 傳遞性：傳遞、反傳遞、非傳遞 │ └─ 關係推理：純關係推理、混合關係推理 ├─ 第五章 複合命題及其推理（上） │ ├─ 聯言命題及其推理 │ │ ├─ 命題形式：p並且q（p∧q） │ │ ├─ 真值：全真才真，一假則假 │ │ └─ 有效推理：分解式、組合式 │ ├─ 選言命題及其推理 │ │ ├─ 相容選言命題 │ │ │ ├─ 形式：p或者q（p∨q） │ │ │ ├─ 真值：一真則真，全假才假 │ │ │ └─ 推理：否定肯定式有效，肯定否定式無效 │ │ └─ 不相容選言命題 │ │ ├─ 形式：要麼p，要麼q │ │ ├─ 真值：有且僅有一真才真 │ │ └─ 推理：否定肯定式、肯定否定式均有效 │ └─ 假言命題及其推理 │ ├─ 充分條件假言命題 │ │ ├─ 形式：如果p，那麼q（p→q） │ │ ├─ 真值：前真後假才假 │ │ └─ 有效式：肯定前件式、否定後件式 │ ├─ 必要條件假言命題 │ │ ├─ 形式：只有p，才q（p←q） │ │ ├─ 真值：前假後真才假 │ │ └─ 有效式：否定前件式、肯定後件式 │ └─ 充要條件假言命題 │ ├─ 形式：當且僅當p，才q（p↔q） │ ├─ 真值：同真同假才真 │ └─ 有效式：肯前、肯後、否前、否後 ├─ 第六章 複合命題及其推理（下） │ ├─ 負命題及其等值推理 │ │ ├─ 負命題：並非p（¬p），真值與原命題相反 │ │ ├─ 性質命題負命題的等值式 │ │ │ ├─ ¬A ↔ O；¬E ↔ I │ │ │ └─ ¬I ↔ E；¬O ↔ A │ │ └─ 複合命題負命題的等值式 │ │ ├─ ¬(p∧q) ↔ ¬p∨¬q │ │ ├─ ¬(p∨q) ↔ ¬p∧¬q │ │ ├─ ¬(p→q) ↔ p∧¬q │ │ └─ ¬(p←q) ↔ ¬p∧q │ ├─ 二難推理 │ │ ├─ 構成：兩個假言前提 + 一個選言前提 │ │ ├─ 有效式：簡單構成式、簡單破壞式、複雜構成式、複雜破壞式 │ │ └─ 破斥方法：前提虛假、選言不窮盡、構造反二難 │ └─ 真值表方法 │ ├─ 功能：判定命題真值、等值關係、推理有效性 │ └─ 操作：列出變項真值組合，逐層計算 ├─ 第七章 模態命題及其推理 │ ├─ 模態命題 │ │ ├─ 定義：含“必然”“可能”模態詞的命題 │ │ ├─ 四類：必然p、必然非p、可能p、可能非p │ │ └─ 模態對當方陣：矛盾、反對、下反對、差等 │ ├─ 模態推理：對當關係推理、模態三段論 │ ├─ 規範命題 │ │ ├─ 定義：含“必須”“允許”“禁止”規範詞的命題 │ │ └─ 四類基本規範命題 │ └─ 規範推理：規範對當關係推理 ├─ 第八章 歸納推理 │ ├─ 歸納推理概述 │ │ ├─ 特徵：個別→一般，結論超出前提範圍 │ │ ├─ 與演繹的關係：區別與互補 │ │ └─ 分類：完全歸納、不完全歸納 │ ├─ 經驗材料整理方法：觀察、實驗、比較、分類、分析、綜合 │ ├─ 完全歸納推理：考察全部對象，結論必然 │ ├─ 不完全歸納推理 │ │ ├─ 簡單枚舉法：部分對象無反例，結論或然 │ │ └─ 科學歸納法：結合因果分析，可靠性更高 │ └─ 探求因果聯繫的穆勒五法 │ ├─ 求同法：異中求同 │ ├─ 求異法：同中求異 │ ├─ 求同求異並用法：兩次求同，一次求異 │ ├─ 共變法：量變對應量變 │ └─ 剩餘法：餘果求餘因 ├─ 第九章 類比推理與假說 │ ├─ 類比推理 │ │ ├─ 定義：兩對象部分屬性相同，推其他屬性相同 │ │ ├─ 性質：或然性推理 │ │ ├─ 提高可靠性：增加相同屬性、抓本質屬性 │ │ └─ 作用：啓發思路、輔助論證 │ └─ 假說 │ ├─ 定義：對未知現象的推測性解釋 │ ├─ 形成階段：提出假說、推演假說、驗證假說 │ └─ 地位：科學發展的重要思維形式 ├─ 第十章 形式邏輯的基本規律 │ ├─ 規律概述 │ │ ├─ 地位：思維最普遍的規律，貫穿所有思維形式 │ │ └─ 客觀基礎：事物的相對確定性 │ ├─ 同一律 │ │ ├─ 內容：同一思維中，思想與自身同一 │ │ ├─ 公式：A是A │ │ ├─ 要求：概念同一、論題同一 │ │ └─ 錯誤：混淆/偷換概念、轉移/偷換論題 │ ├─ 矛盾律 │ │ ├─ 內容：互相否定的思想不能同真，必有一假 │ │ ├─ 公式：A不是非A │ │ ├─ 要求：不能同時肯定矛盾/反對的思想 │ │ └─ 錯誤：自相矛盾 │ └─ 排中律 │ ├─ 內容：互相矛盾的思想不能同假，必有一真 │ ├─ 公式：A或者非A │ ├─ 要求：不能同時否定矛盾的思想 │ └─ 錯誤：模棱兩可 └─ 第十一章 論證 ├─ 論證概述 │ ├─ 定義：用真命題確定另一命題的真實性 │ └─ 結構：論題、論據、論證方式 ├─ 核心原則：充足理由原則 │ ├─ 內容：論題成立必須有充足理由 │ ├─ 要求：論據真實、論據能推出論題 │ └─ 錯誤：理由虛假、推不出 ├─ 論證的種類 │ ├─ 按推理形式：演繹論證、歸納論證 │ └─ 按方法：直接論證、間接論證（反證法、選言證法） ├─ 論證規則 │ ├─ 論題：清楚明確、保持同一 │ ├─ 論據：真實、不依賴論題（避免循環論證） │ └─ 論證方式：論據與論題有必然邏輯聯繫 ├─ 反駁 │ ├─ 反駁對象：反駁論題、反駁論據、反駁論證方式 │ └─ 反駁方法：直接反駁、間接反駁、歸謬法 └─ 謬誤 ├─ 定義：違反邏輯規律的思維錯誤 └─ 常見類型：歧義謬誤、相關謬誤、論據不足謬誤  

如果您能意識到這本書不值得您花費時間來讀的話，那您就擁有最基本的邏輯了😁

其實看不懂，說明我是一個沒有邏輯性的人

很多基本概念寫的非常清楚，來龍去脈都有，簡明扼要，是真的深入淺出。

這本書應該在高中階段就普及教學。

打算棄了，讀了1/5沒有太大的收穫，講的內容感覺大部分都是基礎常識。如果想學習形式邏輯，比較效率的方法可以看看B站上管綜的考研課程

還不錯的，很適合我這樣的初學者。

對理解充分條件，必要條件很有幫助

值得推薦：理解難度相對降低，適合初學者