Logic and Puzzles

逻辑和谜题（2023秋季）
教师：王彦晶， 时间：每周四 5－6节 地点：文史楼 103
相关其他课程详情见逻辑语言认知中心的网站：http://logic.pku.edu.cn

News

第八次课 （11.9 Slides）

我们讲了一阶谓词逻辑的语言和语义。最后简单回顾了本学期的课程。

第七次课 (11.2 Slides)

我们讲了模态逻辑的推理系统及其在哲学上的简单应用。

第六次课 (10.26 Slides)

我们讨论了知识嵌套、纸牌加密相关的谜题，并讨论了公共知识的概念和相关的谜题。

第五次课 (10.19 Slides)

我们通过一个类似泥孩谜题的puzzle介绍了模态逻辑的语言、模型和语义。

第四次课 （10.12 Slides）

我们介绍了命题逻辑的 Hilbert 公理系统，还有一系列元定理。之后我们给了很多自然语言中的条件句的例子，如果把它们理解为实质蕴涵会很奇怪。下节课开始我们介绍模态逻辑。

第三次课 (9.28 Slides)

我们介绍了布尔完全的概念，讨论了实质蕴涵的语义，用了一系列谜题的例子。

补充:

第二次课 (9.21 Slides)

我们介绍了命题逻辑语言的基本定义，基于真值表的语义以及一些有效的推理规则。我们用一些君子与小人的例子来熟悉这些知识点。

课上提到的相关概念:

第一次课 (9.14 Slides)

我们介绍了本课的理念和目标，然后简单介绍了一下逻辑学的研究对象和基本思想以及组成部分。

请与助教联系分组事宜, 下一节课和最后一节的记录总结三人一组，其他5次两人一组。建议使用石墨在线文档（markdown 可插入LaTeX公式）写，可参考这个模版.

这是一门讨论课，我们会以一些逻辑谜题作为例子，从零开始和同学们一起构造逻辑学中涉及的一些形式语言、语义和推理系统，在实践中体会逻辑学的一些基本想法和技术，给同学们一种通过形式化精确讨论抽象问题的工具。

This is a non-standard introduction to Logic by doing it via logical puzzles as examples. By formalizing and solving various logical puzzles in an interactive manner, we build logical languages, formal semantics, and proof systems from scratch. Along the way, we hope to convey to the students the methodology and the core ideas of logic.

逻辑学知识点：

命题逻辑的真值表，可能世界语义学，一阶逻辑的语义，相关证明系统，一些数学和哲学的形式化理论

可能涉及的谜题包括:

  • Muddy Children
  • Consecutive Numbers
  • Sum and Product
  • Knight and Knave
  • Hardest Logic Puzzle Ever
  • Fitch’s Paradox
  • Monty Hall
  • Surprise Exam
  • Gossip Sharing
  • One Hundred Prisoners and A Light Bulb


目标（Objectives）：

  • 在师生一同解决谜题的过程中，体会逻辑学的形式语言、语义以及推理系统的基本想法，让同学们通过”造逻辑”和”用逻辑”来理解逻辑学作为一门基础学科的独特方法论。
  • 培养开放且审慎的态度，不盲从，锻炼批判性思维与哲学思考。

教学材料（Course material）：

参考书 （非教材，仅做参考）：

考核（Grading）：

  • 讨论整理（40%） 
  • 课堂表现（60%）

大致安排（Plan）：

  • W1 导言
  • W2 – W3 布尔连接词与命题逻辑
  • W4 – W5 模态词与模态逻辑
  • W6 – W7 量词与一阶逻辑
  • W8 悖论

预备知识（Prerequisites）：

无

Office hours：

办公室：哲学系2号楼139 周四下午4 pm – 6 pm（请提前预约）。
意见、建议或其它问题请发email：y.wang艾特pku.edu.cn