高级模态逻辑 - 北京大学哲学系.PDFVIP

⾼级模态逻辑
 Advanced Modal Logic 2017年春季（4学分） 教师：⺩彦晶y.wang@ 时间：每周⼆3-4节、周四3-4节 地点：理教312 课程主⻚: ⼀些具体事宜 预备知识：命题逻辑、⼀阶逻辑 (及模态逻辑基础)。 没那么“⾼级”。 教材： P. Blackburn, M. de Rijke and Y. Venema. Modal Logic, Cambridge University Press, 2001 辅助： P. Blackburn, J.van Benthem, F.Wolter Eds. Handbook of Modal Logic, Elsevier, 2006 辅助：J. van Benthem. Modal Logic for Open Minds, CSLI Publications, 2010 辅助：R. Girle. Modal Logic and Philosophy, McGill-Queen’s 辅助：周北海，《模态逻辑导论》，北京⼤学出版社，1996 其他材料（三分之⼀的内容）会在课堂上补充 神奇的⽹站们。。。 仅靠信息不对称为⽣的公立教育机构终将会被淘汰 ⼀些具体事宜（续） 英⽂教材和Slides 教师讲授为主，辅以作业讲评及学⽣课堂报告 其他安排： 清明节放假（4.4周⼆） 端午节放假（5.30周⼆） 最后两周同学分组报告（可能要提前⼀周结课） 考核：不考试 作业（80%） ：原则上两周⼀次, 共n次 (3n8). 挑成绩 最好的n-1次计⼊总成绩。请尽量用LaTeX/TeXmacs写。 课堂报告（20%）：最后两周报告补充 内容。 ⺫标 知识储备：知道经典模态逻辑的基本结果和重要定理的 证明策略，以及⼀些关键定义的发现过程。 逻辑技能：对于新的模态语⾔知道可以问什么技术问题， 能解决⼀些问题，对问题的难易程度及关键点有正确的 评估，形成⼀定的“数学直观”。 学术技能：熟练阅读英⽂教材及⽂献，能用LaTeX写作 业做slides（推荐Overleaf），能独立做学术报告，知道 如何“科学上⽹”，搜索、下载 ⽂献及相关资料。 态度培养：不畏惧复杂问题，认真细致，虚⼼但不盲从， 有⼀个开放⼼态。愿意用逻辑⼯具形式化地分析问题， 学以致用。不⼀定特别快，但要尽可能深刻，不怕犯错， 但要争取不断进步。 逐渐形成自⼰的学术“品位”。 实现⽅式 讲授思想 Slides预习复习 多角度看同⼀个问题 各种类比 说⼀些8g 问题驱动 补充材料 ⼀定量的练习及讲评 课堂报告 相互交流 读书的意义 6 现实是... 7 X ：参与者或涉及范围 Y ：智⼒挑战 流⾏性=/=价值 技术难度=/=价值 争取爬到 容易“死在半路” 顶峰再为此⼭增 ⾼⼀尺！ 模态逻辑的技术和涉及范围 相对⽐较平衡 ⻔槛低，⻥⻰