[書評] 基礎邏輯

這是我目前認為單純學習一階邏輯語言最好的教材之一，本書仔細處理哲學問題，而僅僅關注在如何將自然語言抽象化為符號語言並使用直觀式的推論規則進行命題推演。對於徹底形式化與自然直觀間能取得一適當的平衡。

簡評：這本書作為一階邏輯的入門是相當優異的書，不過對於其它邏輯的介紹相當稀少。

全書大致可分為三部份，第一部分是對邏輯概念的做出一些界定，如論證、有效性、矛盾、二值原則等，隨後介紹邏輯語言和自然語言之間的轉換關係，以及這樣轉換的一些特性（如失去語氣等），第三章則完整介紹一階命題邏輯的符號系統其中細分出語法與語意部分的介紹，第四章介紹恆真句以及命題間的邏輯關係。第五章至第八章則介紹各種關於命題邏輯證明、判定是否恆真等方法。第九章開始則轉至述詞邏輯，這套邏輯是很明顯用來彌補命題邏輯中關於個例全稱缺乏聯繫的缺陷，奠基在命題邏輯的基礎上，述詞邏輯的介紹僅著重在有別於命題邏輯中的部分，第十章主要介紹釋模的概念，而第十一章則介紹關於全稱量限詞與存在量限詞之間的各種推論規則以及限制。最後第十二章則學習如何使用相關規則進行證明。

其中關於各種原則的疑難本書篇幅幾乎沒有介紹，如二則原則捨棄後產生的多值邏輯；抑或關於「蘊含」對應的真值表，又或是缺乏關於模態邏輯的基本介紹都算是本書稍嫌可惜之處。

ISBN：9789866624773
規格：平裝 / 380頁 / 16 x 23 cm / 普通級 / 單色印刷 / 二版
出版地：台灣
出版日期：2012/09/17