[評價] 98-1 楊金穆 中階邏輯
※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID）
（是／否／其他條件）：是
哪一學年度修課：98-1
ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄)
楊金穆
δ 課程大概內容
上課內容涵蓋四大邏輯系統，以及各個系統的基本後設證明。
如Axiomatic system(Hilbert-Frege style)
Systems of natural deduction
Systems of formal tabeaux
Sequent calculi
除此之外，老師在十四章時還會介紹Second-order Logic，因為
時間有限，課本上的第十五章Free Logic便沒有講述。
這堂課有很大的部份是在證明這些系統的完備性、健全性。因為每
個系統出發的概念不同，證明方式也不盡相同。以Completeness來
說，就有不只一種證法，有的需要用數學歸納法作很多頁才證的出
來。老師在這方面，就在課程內加入了Henkin-style proof，一個
強而有力的証明方式XD
既然提到Completeness，老師怎麼可能不說Incompleteness呢？
老師在最後一堂課簡單講述了Godel Incompleteness的証明方式，
還滿有趣的！
Ω 私心推薦指數(以五分計) ★★★★★
想教基本邏輯，並且在邏輯方面做更深入研究者：∞
想做英美分析哲學者：★★★★
這門課很重
想對邏輯有基本了解者：這門課是進階課程，請前往基本邏輯
想混學分者：-∞
η 上課用書(影印講義或是指定教科書)
老師的自編講義 Formalization of Deductive Systems
μ 上課方式(投影片、團體討論、老師教學風格)
老師這門課是以英文授課，每堂課一開始都會問學生某某某概念
是什麼意思，大部分都很基礎，像是Fuctional Complete是什麼
、Semantic是什麼、什麼是一個Derivation等等的，雖然很基礎
，可是原PO我還是常常忘記(摀臉)
這學期修課學生只有五個人，加上旁聽的研究生則是六人，所以
不用擔心，修課學生一定都會被問問題......XD"
(老師喜歡每周換攻擊目標......就是該週都問A君，如果不會，
才換人)
問完老師認為該堂課需要具備有的基本概念後，老師便會開始講
該系統的出發點是什麼，好在哪、不好在哪。偶爾還會說要怎麼
理解會比較好。老師常說如果看不懂的話，就用Realism的角度來
思考，他們就在那！後來都私下稱之為「真實之眼」XD
(老師很喜歡Realism跟Anti-Realism的話題XD)
老師講完一個段落後，會問學生聽懂不懂，如果不懂，就會重新
講一次。
這堂課還有額外的助教課，是由研究所學長指導。因為這堂課有
很多証明習題，常常會耗掉十幾個小時在寫作業。如果寫了沒人
講解，不知道自己對還是不對也滿囧的。上課時聽不懂概念可以
趁這個時候詢問助教，如果有額外的問題，也可以詢問。
σ 評分方式(給分甜嗎？是紮實分？)
據說是有認真上課就不難拿到90，但最高也只給到95。
老師不喜歡為難學生，通常給過就不會給太低分。
ρ 考題型式、作業方式
作業共有十三份，可以不交三次，取其中高的七次吧，當做成績。
考試只有期末考，總分不一定，這學期是190分，挑自己會的寫
，想辦法湊高分數就好XD"
ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？
加簽習慣？嚴禁遲到等…)
這堂課從未點過名。可是修課人數也很少......XD"
這堂課最好要先修過基本邏輯，不過如果有唸過高微那些比較
偏邏輯證明的課程，我想也可以修。
Ψ 總結
這門課很重，有很多概念是資質平庸如我難以弄懂的，但是這門課
在邏輯證明的訓練上非常扎實，值得所有想要深入了解邏輯的人學
習。雖然吸收不了全部，但還是有吸收到六七十分，比起什麼都沒
有，這差距可是很大的！XD
這門課涵蓋了所有基本邏輯會講述的後設定裡，所以老師常說：
「上完這門課，你就可以教基本邏輯了。」
這門課承接了基本邏輯，也為之後要修習set theory, model logic
、free logic等非古典邏輯鋪下堅實的道路。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.225.239
※ 編輯: daltuku 來自: 140.112.225.239 (01/25 18:56)
※ 編輯: daltuku 來自: 140.112.225.239 (01/25 19:02)
推
01/26 08:55, , 1F
01/26 08:55, 1F
推
01/26 12:12, , 2F
01/26 12:12, 2F
→
01/26 12:19, , 3F
01/26 12:19, 3F
→
01/26 13:00, , 4F
01/26 13:00, 4F
※ 編輯: daltuku 來自: 140.112.225.239 (01/26 13:02)
推
01/27 23:23, , 5F
01/27 23:23, 5F