彭孟堯〈基礎邏輯〉 | 悟理

最近這兩個月，雖說是在當兵，但也經常利用零碎時間讀了不少⟪基礎邏輯⟫。

在讀這本之前，我已看過傅皓政教授的邏輯課程。

搭配傅教授寫的⟪思考的 ... 悟理 知道方為門外漢，證道方為室中人 跳至主要內容 ←柏拉圖〈高爾吉亞篇〉 向心加速度與瞬時速度垂直嗎？→ 彭孟堯〈基礎邏輯〉 發佈日期:2014-11-23，作者:Ethan 點我至博客來的商品介紹 由於之前苦於找不到合適的邏輯入門書，台灣不像美國，能夠在Amazon或Goodreads找到許多有深度的書的讀後感，甚至是非常有深度的書評，藉以判斷該書適不適合自己，所以繞了不少遠路。

如今，就某種程度上來說，總算是讓我較完整地學完命題邏輯與述詞邏輯了。

所以在這裡分享讀書心得，希望能給想學邏輯的人一點參考與指引！ 最近這兩個月，雖說是在當兵，但也經常利用零碎時間讀了不少⟪基礎邏輯⟫。

在讀這本之前，我已看過傅皓政教授的邏輯課程。

搭配傅教授寫的⟪思考的秘密⟫，看到自然演繹法系統就沒再讀下去了，印象中當時是因為解不開推論規則相關的問題而放棄學習。

將近一年後，才買這本基礎邏輯來讀。

彭教授在作者序裡寫道： 「本書介紹的是形式邏輯，一門研究論證結構的形式科學。

形式邏輯學有很多，本書介紹的是各種形式邏輯學的基礎：初階符號邏輯，亦即基礎邏輯。

基礎邏輯包括命題邏輯及述詞邏輯兩大部分，分別在本書第一章到第八章，以及第九章到第十二章講解。

各章都有一些習題，並於本書最後附上習題解答。

」 首先談談命題邏輯的部份，我覺得，對從沒接觸過邏輯的人而言，第一章談的「邏輯的基本觀念」可能不太好懂。

由於尚未動手分析何謂內在矛盾，也沒操作過歸謬原理，所以1-4節可能會讀的不太順，因而綜合練習也會寫得卡卡的。

不過，我覺得這節只要大概知道一些專技名詞就行，像是「論證」、「命題」、「前提」、「結論」、「推論宣稱」、「論證鍊」、「有效性」、「真確性」、「真假值」、「邏輯一致性」。

讀後面幾章時總是可以反覆回來重新思考第一章的觀念與習題，個人覺得反覆重新思考的學習效果還不錯。

整體來說，第一部分的命題邏輯內容很豐富，讀得很順暢。

第七章的習題有75題，做完會覺得功力上升許多。

述詞邏輯的有效論證證明也十分需要命題邏輯的關係，所以強烈建議把習題全部做完。

相較於命題邏輯，我覺得述詞邏輯寫的比較「趕」，偶爾會有放棄讀下去的念頭，雖然最後還是硬著頭皮自己解決不少困惑（當兵嘛，沒辦法找人討論與查資料）。

以下大致是我曾遇到的問題，供正在閱讀的人參考： 問題一、什麼是Px？ 金星是行星 ⇒ Pa 水星是行星 ⇒ Pb 火星是行星 ⇒ Pc 土星是行星 ⇒ Pd 上面例子裡幾個命題的共同點可以符號化為:Px….。

….Px這個表達式就是一個以x為引元的命題函數，它沒有真假值可言，但是用a、b、…等嵌入x的位置後，就得到具有真假值的單稱命題。

當時我很想試著去理解該如何「翻譯」Px，難道就是「x是行星」嗎？而當我問「什麼是x」的時候，我又因馬上想到「x是行星」而百思不得其解。

畢竟，我應該可以決定我的論域是什麼吧，為何述詞的意義會直接影響到論域呢？後來才想到，原來我被「x是行星」誤導的原因是，我將沒有真假值的「Px，亦即x是行星」設為真。

假若我將論域鎖定為U={我、我弟、我媽}，那麼「Px，亦即x是行星」就必然為假了。

問題二、為什麼通稱命題的邏輯表達是這樣的？ 這問題讓我想最久，例如： 所有F都是G，(x)(Fx⊃Gx)，為什麼不能寫成「(x)(FxᴧGx)」呢？ 有些F是G，(∃x)(FxᴧGx)，為什麼不能寫成「(∃x)(Fx⊃Gx)」呢？ 除此之外，我一直想著教授寫的這段話： 當然，述詞邏輯的符號系統能夠處理的包含有量限詞的命題，遠超過這四種基本類型，已經不是自然語言所能夠掌握的了。

上一節提到的多重量限命題就是很好的例子。

最初只是一直覺得這感覺很炫，而沒想到這有助於理解我的「問題二」。

最後，我土法煉鋼地舉例，並用真值表探索問題二，發現一個結論：因為論域並不必然是具有F性質的個體，所以「(x)(Fx⊃Gx)」與「(x)(FxᴧGx)」的真值表並不同，「(∃x)(FxᴧGx)」與「(∃x)(Fx⊃Gx)」也是如此。

例如：所有人都很白目，F：「____是人」，G：「____是很白目的」。

而我討論的對象其實不是所有人類，而是昨晚跟我聊天的那些人，所以論域U={某a，某b}。

由於我的論域確實具有F屬性，所以下列兩種表達式的真值表恰好相等。

(x)(Fx⊃Gx)≣ (Fa⊃Ga)ᴧ (Fb⊃Gb) (x)(Fxᴧ Gx)≣ (Faᴧ Ga)ᴧ (Fbᴧ Gb) 然而，如果我討論的對象（論域）有點奇怪，例如U={某a，我的魔術方塊b}。

那麼，直覺來看，當我說「所有人都很白目，而我指的是在場的一切個體（只有某a與我的魔術方塊b）」時，你不會只因為我的魔術方塊b而說「並不是所有人都很白目」。

這點可因「Fb為假」造成的(Fb⊃Gb)的真值而解決。

但如果我們使用「(x)(Fx ᴧ Gx)」表達「所有人都很白目」，那麼由於Fb是假的，就算「某a確實是很白目的」，也會造成「所有人都很白目」就是假的，這顯然違背我們的日常用語。

同樣的道理可解釋「(∃x)(FxᴧGx)」與「(∃x)(Fx⊃Gx)」的差異。

那麼「(x)(Fxᴧ Gx)」是什麼意思呢？顯然它不該是「所有人都很白目」的意思了，就這點來看，我覺得它確實也表達了我們日常用語所不會表達的某個意義（某種說不出來的命題？）。

上述兩問題是比較主要的問題，我覺得問題二的解決有助於學習第十二章的關係述詞邏輯。

第十二章的自反性例子也有點少，關於本書講的自反性與完全自反可參考這篇文章，至今我仍不太懂這兩者的差異，哪天有空想通了再補上來。

分享此文：列印電子郵件FacebookTwitter更多Tumblr請按讚：喜歡正在載入... 關於「Ethan」 我是Ethan，台大物理系、化工系學士與電子所奈米電子組碩士。

十多年來已教超過70位學生，並有兩篇授權於美國物理學會與論文作者的物理教育論文翻譯。

檢視「Ethan」的全部文章→ 分類:推薦閱讀，標籤:哲學。

這篇內容的永久連結。

←柏拉圖〈高爾吉亞篇〉 向心加速度與瞬時速度垂直嗎？→ 在〈彭孟堯〈基礎邏輯〉〉中有2則留言 michk99表示: 2019-01-0501:16:37 所有F都是G，(x)(Fx⊃Gx)，為什麼不能寫成「(x)(FxᴧGx)」呢？ 有些F是G，(∃x)(FxᴧGx)，為什麼不能寫成「(∃x)(Fx⊃Gx)」呢？ 請問你有沒有用范恩（文Vann?我忘了英文怎麼拼）式圖解, 去把上面的敘述畫一畫. 你畫一畫, 應該看得出來, 為什麼你不能用你自己想的答案. 有問題歡迎再討論. 正在載入... 回覆 Ethan表示: 2019-01-0522:33:48 哈哈，我都快忘光光這四年多前學的述詞邏輯了XD之後有機會再來複習一下，想想您給的建議，我之前應該是沒用過文氏圖哦。

這陣子已經被實驗室教授搞到*!(#%!*@^&謝啦！ 正在載入... 回覆 發表迴響 取消回覆 這個網站採用Akismet服務減少垃圾留言。

進一步了解Akismet如何處理網站訪客的留言資料。

搜尋文章 搜尋關鍵字: 熱門文章與頁面︰ 摩擦力作功的意義 重力位能的迷思 週期位能所帶來的能帶結構——Bloch'sTheorem 臉書社團宣傳專區：問卷調查 想請問您的身份、職業是什麼呢？ 國中生 高中生 大學生、碩博士生 老師 其他 ViewResults  Loading... 於「迴響」輸入數學式 於OnlineLaTeX編輯公式 以雙錢字符號\$\$....\$\$夾起該數學式latex程式碼，如： \$\$y=\frac{ax}{bx^2+c}\$\$ $$y=\frac{ax}{bx^2+c}$$ 若想於語句中夾雜數學式，而不想特地將$\DeltaE=-\intPdV+Q$獨立顯示出來，那使用\$....\$夾住即可。

2022年3月 一 二 三 四 五 六 日  123456 78910111213 14151617181920 21222324252627 28293031   «2月     近期文章 NewTransistorStructuresAt3nm/2nm 簡易教學：用Python撈取股市資料與作圖 週期位能所帶來的能帶結構——Bloch’sTheorem 半導體元件物理學習書單與心得 余光中《翻譯與批評》 近期留言「Ethan」於〈半導體元件物理學習書單與心得〉發佈留言「Ethan」於〈半導體元件物理學習書單與心得〉發佈留言「張玉貴」於〈半導體元件物理學習書單與心得〉發佈留言「匿名訪客」於〈半導體元件物理學習書單與心得〉發佈留言「匿名訪客」於〈更嚴謹的氣體動力論推導〉發佈留言文章櫃 反省錄(9) 哲學思辨(5) 大學物理(12) 元件模擬(2) 元件物理(2) 半導體物理(5) 半導體製程(1) 固態物理(4) 統計物理(3) 好文分享(2) 推薦閱讀(14) 物理哲學(3) 物理教育(36) 物理史(11) 生活(13) Python(1) 工作(2) 投資理財(1) 產業新聞(1) 研究所(6) 社會議題(3) 科學哲學(3) 科學說明(1) 科學素養(6) 翻譯(7) 讀書筆記(4) 高一物理(11) 物理史(5) 認識科學(5) 高三物理(5) 波動(1) 熱學(1) 電磁學(2) 高二物理(20) 功與能量(6) 動量與衝量(1) 圓周與簡諧運動(2) 牛頓定律(6) 萬有引力與重力場(2) 運動學(4) 數學網站物理網站物理哲學網站標籤雲 AvalanchePhotodiode LaTeX Linux MathJax Pseudowork Python SentaurusTCAD WordPressPlugin 亞里斯多德 人生 倒空間 假功 功與能量 動量 台灣史 哲學 存在主義 慣性 慣性參考系 慣性定律 摩擦力 教育 教育哲學 教育議題 文學 杜威 泛靈論 波動 牛頓力學 物理概念剖析 知識論 神話 科學史 科學哲學 科學教育 繞射 能帶 自學 自我定位 讀書方法 載子濃度 運動學 邏輯 重力場 電磁學 彙整 2021年2月 (1) 2020年9月 (2) 2020年4月 (1) 2020年3月 (4) 2020年1月 (1) 2019年10月 (1) 2019年9月 (1) 2019年7月 (1) 2019年3月 (2) 2019年1月 (1) 2018年12月 (1) 2018年11月 (4) 2018年10月 (1) 2018年9月 (1) 2018年5月 (2) 2018年3月 (1) 2018年2月 (1) 2018年1月 (2) 2017年12月 (3) 2017年11月 (14) 2017年6月 (1) 2016年9月 (1) 2015年10月 (4) 2015年8月 (1) 2015年7月 (1) 2015年6月 (1) 2015年4月 (3) 2015年3月 (7) 2015年2月 (6) 2014年11月 (2) 2014年2月 (1) 2014年1月 (1) 2013年11月 (1) 適用電子郵件訂閱網站 輸入你的電子郵件地址訂閱網站的新文章，使用電子郵件接收新通知。

一起加入其他194位訂閱者的行列 電子郵件位址 訂閱 Goodreads 本站內容由Ethan製作，除另有著名，網站之內容皆在創用CC姓名標示-相同方式分享3.0台灣授權條款下提供。

其他操作 登入 訂閱網站內容的資訊提供 訂閱留言的資訊提供 WordPress.org台灣繁體中文 部落格統計215,069個點閱數 隱私權與Cookie：此網站可使用Cookie。

繼續使用此網站即表示你同意使用Cookie。

若要瞭解更多資訊，包括如何控制Cookie，請參閱此處： Cookie政策 悟理 本站採用WordPress建置 傳送到電子郵件地址 你的姓名 你的電子郵件地址 取消 文章未送出─請檢查你的電子郵件地址！ 電子郵件地址檢查失敗，請再試一次 抱歉，你的網誌無法透過電子郵件分享 %d位部落客按了讚：