●第一章 邏輯是關於推理和論證的科學
第一節 “邏輯”的詞源和詞義
一、“邏輯”的古希臘詞源
二、邏輯學的歷史與現狀
三、邏輯學的對像:推理和論證
第二節 命題分析和邏輯類型
一、語句、命題、陳述、判斷與真值
二、復合命題和命題邏輯
三、直言命題和詞項邏輯
四、個體詞、謂詞和量化邏輯
五、變異邏輯、擴充邏輯
第三節 推理形式及其有效性
一、推理的形式結構
二、推理形式的有效性
三、日常思維中的推理和論證
第四節 邏輯基本規律
一、同一律
二、矛盾律
三、排中律
四、充足理由律
本章概要
思考題
練習題
第二章 命題邏輯
第一節 日常聯結詞和復合命題
一、簡單命題和復合命題
二、聯言命題
三、選言命題
四、假言命題
五、負命題
第二節 真值聯結詞真值形式
一、從日常聯結詞到真值聯結詞
二、真值形式指派與賦值
三、否定
四、合取
五、析取
六、蘊涵
七、等值
八、自然語言中復合命題的符號化
第三節 重言式及其判定方法
一、重言式
二、真值表方法
三、歸謬賦值法
四、樹形圖方法
第四節 重言蘊涵式重言等值式
一、推理的形式結構重言蘊涵式
二、重言等值式置換規則
第五節 命題邏輯的自然推理
一、PN推演規則
二、PN定理及其證明
三、PN有前提推演
第六節 命題邏輯的擴充繫統——廣義模態邏輯
一、模態詞的種類
二、模態命題的真值條件
三、模態邏輯繫統
第七節 命題邏輯知識的綜合應用
本章概要
思考題
練習題
……
第三章 詞項邏輯
第四章 謂詞邏輯
第五章 歸納邏輯
第六章 非形式邏輯
參考書目
推薦閱讀書目