可以在这里下载，Gemini-generated podcast (请忽略”外国人试图说中文”的奇怪发音).
老师您好，听了您的”高阶模态逻辑”的部分课程，感觉有些吃力，尤其是在介绍k系统框架那一节，您阐述的对我来说太过抽象，一些符号表达我无法理解。 我是哲学专业学生，为提高专业素养，更好的阅读著作以及分析问题而学习逻辑学。我阅读了陈波老师的逻辑导论，并且拥有一些模态逻辑基础，主要是命题模态逻辑。 请问我还需要学习哪些内容才适合听您的这门课？以及请问贵校”哲学专业逻辑”课的教材是哪一本，我想自学一下。
模态逻辑的中文教材我推荐文学锋老师的模态逻辑教程。我们的哲学专业的逻辑没有固定教材，目前讲的也以一阶逻辑为主，以后可能会改革。
Your email address will not be published. Required fields are marked *
Comment *
Save my name, email, and website in this browser for the next time I comment.
Δ
I will teach the course Introduction to Bundled Modalities at NASSLLI25.
I organized a subpanel on Logic and AI at Beijing Forum 2024 on Nov 3rd, featuring 4 excellent speakers: Beishui […]
Check here for the program.
In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning […]
I was listed as one of the Most Cited Chinese Researchers (in Philosophy) by Elsevier in 2023.
The award is given to my paper “A logic of goal-directed knowing how” published by Synthese.
The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.
Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.
Here is the preliminary page.
老师您好，听了您的”高阶模态逻辑”的部分课程，感觉有些吃力，尤其是在介绍k系统框架那一节，您阐述的对我来说太过抽象，一些符号表达我无法理解。
我是哲学专业学生，为提高专业素养，更好的阅读著作以及分析问题而学习逻辑学。我阅读了陈波老师的逻辑导论，并且拥有一些模态逻辑基础，主要是命题模态逻辑。
请问我还需要学习哪些内容才适合听您的这门课？以及请问贵校”哲学专业逻辑”课的教材是哪一本，我想自学一下。
模态逻辑的中文教材我推荐文学锋老师的模态逻辑教程。我们的哲学专业的逻辑没有固定教材，目前讲的也以一阶逻辑为主，以后可能会改革。