簡介 科技化、高效率學習邏輯基礎及其全方面應用 　　本書除介紹邏輯學基礎內容，亦深入說明邏輯學在當代各領域中如何被廣泛應用。 　　作為基礎教材方面，本書介紹了邏輯學各種基礎與進階概念，如：經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法，並介紹了多種可自由使用的網路學習資源，以利邏輯初學者學習與檢驗成果之用。 　　在說明邏輯學在當代各領域應用方面，本書以哲學、數學、語言學與AI（人工智慧）中的若干問題為例，舉例說明邏輯學在當代各領域重要應用成果，並藉此深入說明邏輯學的重要相關技術與發展。 　　本書為想了解邏輯學內容，以及想深入探討邏輯學在當代應用情況的讀者，提供絕佳的參考。 目錄 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之應用 第一節　人工智慧與邏輯學——常識推理 第二節　自動化推理機制 第三節　知識表示法與知識庫建立