簡介
這是一本導論型的邏輯教科書,由六章和一個附錄組成,依次是:邏輯是關於推理和論證的科學、命題邏輯、詞項邏輯、謂詞邏輯、歸納邏輯、非形式邏輯、形式化方法和形式系統。
目錄
第一章 邏輯是關於推理和論證的科學
第一節 “邏輯”的詞源和詞義
第二節 推理、論證的定義和種類
第三節 命題分析和邏輯類型
第四節 推理形式及其有效性
第五節 邏輯學和理性精神
本章提要
思考題
練習題
第二章 命題邏輯
第一節 日常聯結詞和複合命題
第二節 真值聯結詞 真值形式
第三節 重言式及其判定方法
第四節 重言蘊涵式 重方等值式
第五節 命題邏輯的自然推理
第六節 命題邏輯的擴充系統——廣義模態邏輯
第七節 命題邏輯知識和綜合套用
本章提要
思考題
練習題
第三章 詞項邏輯
第四章 謂詞邏輯
第五章 歸納邏輯
第六章 非形式邏輯
附錄 形式化方法和形式系統
參考書目