※ 本文是否可提供台大同学转作其他非营利用途？（须保留原作者 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) ※ 编辑: daltuku 来自: 140.112.225.239 (01/26 13:02)