內容簡介
科技化、高效率學習邏輯基礎及其全方面應用
本書除介紹邏輯學基礎內容，亦深入說明邏輯學在當代各領域中如何被廣泛應用。
作為基礎教材方面，本書介紹了邏輯學各種基礎與進階概念，如：經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法，並介紹了多種可自由使用的網路學習資源，以利邏輯初學者學習與檢驗成果之用。
在說明邏輯學在當代各領域應用方面，本書以哲學、數學、語言學與AI（人工智慧）中的若干問題為例，舉例說明邏輯學在當代各領域重要應用成果，並藉此深入說明邏輯學的重要相關技術與發展。
本書為想了解邏輯學內容，以及想深入探討邏輯學在當代應用情況的讀者，提供絕佳的參考。
作者介紹
王文方
美國愛荷華大學哲學博士
經歷
中正大學哲學系副教授、陽明（交通）大學心智哲學研究所教授、東吳大學、文化大學、臺灣大學、南京大學、重慶西南大學、美國愛荷華大學哲學系兼任教授、蘇州大學兼任講座教授、邏輯、理性與互動國際會議（International Conference on Logic, Rationality and Interaction）及中國邏輯學會常務理事、Synthese、Journal of Logic and Computation等國際期刊客座編輯
現任
山東大學哲學與社會發展學院特聘教授
學術專長
邏輯哲學、數理邏輯、形上學、語言哲學、形式知識論、分析佛學、AI哲學、因果哲學
著作
《這是個什麼樣的世界》、《形上學》、《語言哲學》、《邏輯》（與熊明輝合著）、Rationality, and Interaction（與van der Hoek & W. Holliday合編）等
譯作
《劍橋百科全書》、《個體論》等
另於Journal of Philosophical Logic、Synthese、Philosophical Forum、Erkenntnis、Journal of Philosophical Research、《國立臺灣大學哲學論評》、《東吳哲學學報》、《歐美研究》、《哲學與文化》、《哲學研究》、《邏輯學研究》等國際及兩岸重要期刊發表七十餘篇中、英文學術論文，並獲得成都西南財經大學中國長江講座教授提名、陽明（交通）大學教師卓越學術獎等多次獎勵。
目次
Chapter 1 導論
第一節 邏輯學的研究對象
第二節 基本的邏輯學概念
第三節 各種邏輯基本概念間的關聯
第四節 如何研究邏輯
第一部分 命題邏輯
Chapter 2 真值函數式連接詞與真值表
第一節 真值函數式連接詞
第二節 命題語言（PL）
第三節 基本真值表
第四節 部分與完整真值表
Chapter 3 PL的語義論方法
第一節 真值表的應用
第二節 PL 語義模型
第三節 PL 後設證明
Chapter 4 PL的語義樹枝法
第一節 語義樹的基本想法與基本概念
第二節 PL 語義樹的擴展規則
第三節 PL 語義樹枝法的應用
Chapter 5 PL的自然演繹法
第一節 自然演繹法的基本想法與基本概念
第二節 PL 自然演繹法的基本推論規則
第三節 PL 自然演繹法的應用與限制
第二部分 量化（帶等同）邏輯
Chapter 6 量化（帶等同）語言（QL）
第一節 語句結構分析
第二節 量化（帶等同）語言（QL）
第三節 QL 中的幾個重要語法概念
第四節 QL 符號的直覺涵義和各種精確量化詞
第五節 自然語言的形式化
Chapter 7 QL的語義論方法
第一節 QL 語義模型
第二節 QL 後設證明
Chapter 8 QL的語義樹枝法
第一節 QL 語義樹的擴展規則
第二節 QL 語義樹枝法的應用
第三節 QL 語義樹的完成問題
Chapter 9 QL的自然演繹法
第一節 QL 自然演繹法的基本推論規則
第二節 QL 自然演繹法的應用與限制
第三節 自然演繹法的相關軟體及網站
Chapter 10 選言標準式與連言標準式
第一節 PL 選言標準式與功能完備性
第二節 PL 連言標準式
第三部分 當代邏輯學的應用
Chapter 11 邏輯學在哲學之應用
第一節 羅素的確定描述詞理論
第二節 羅素確定描述詞理論在哲學問題上的應用之一
第三節 羅素確定描述詞理論在哲學問題上的應用之二
第四節 把確定描述詞當作基本符號的非羅素式作法
Chapter 12邏輯學在數學之應用
第一節 函數及函數符號
第二節 公理化算術系統
Chapter 13 邏輯學在語言學之應用
第一節 邏輯蘊涵與衍涵
第二節 邏輯蘊涵與會話蘊涵
第三節 會話蘊涵和真值函數式連接詞的意義
Chapter 14 邏輯學在AI之應用
第一節 人工智慧與邏輯學——常識推理
第二節 自動化推理機制
第三節 知識表示法與知識庫建立
