认知逻辑

认识论逻辑是一门哲学逻辑学科，它利用模态逻辑的工具来描述知识、信仰等概念。我们将介绍从经典数理逻辑到非经典逻辑的思路，模态逻辑的基础知识，然后介绍在认识论逻辑、时空逻辑、申论逻辑等方面的应用。在这些应用领域中，我们主要关注的是知识和信念的表征。我们介绍解释这些概念及其动态的克里普克模型。知识的群体概念、逻辑全知问题、双K原则（KK thesis）、菲奇的可知性悖论、泥孩难题等，在本课程中也有涉及。