“理解”是近年来国际知识论、科学哲学以及人工智能等领域中广受关注的议题，然而学界缺乏从逻辑层面刻画“理解”的研究。事实上，中世纪的知识逻辑工作就已经开始关心“理解”的问题了，只是现代知识逻辑专注于“知识”与“信念”的推理模式，“理解”近乎被遗忘。本书从逻辑的视角出发，试图刻画哲学讨论中“理解”概念的语义以及基本推理形式，以期阐明“理解”与“知道”“相信”等标准认知模态的区别与联系，并希望借助逻辑视角澄清文献中不同“理解”类型的相关哲学论点。

魏宇，本科毕业于东南大学数学系，博士毕业于北京大学哲学系逻辑学专业，阿姆斯特丹大学访问学者。现为华东师范大学哲学系晨晖学者、助理教授，2022年入选上海市浦江人才计划。在Annals of Pure and Applied Logic、Erkenntnis、《逻辑学研究》等期刊发表论文多篇，主持国家社会科学基金青年项目一项。主要研究方向是模态逻辑及其在哲学中的应用。

第一章 引言 / 1

1.1研究背景 / 1

1.2研究目标 / 5

1.3研究现状 / 7

1.4研究贡献与结构安排 / 14

第二章 “理解”的理论 / 17

2.1 中世纪知识逻辑研究中的“理解” / 17

2.2 “理解”的哲学理论 / 21

2.3 人工智能研究中的“理解”/ 29

第三章 “理解为何”的逻辑 / 33

3.1 问题简介 / 33

3.2 初步工作 / 37

3.3 “理解为何”的逻辑构架 / 42

3.4 公理化以及可靠性、完全性证明 / 52

3.5 系统 SUY 的模块化语义 / 63

3.6 “理解为何”的概念谱系 / 70

3.7 结语以及未来工作 / 96

第四章 “理解现象”的逻辑 / 98

4.1 问题简介 / 98

4.2 “理解现象”的逻辑架构 / 107

4.3 公理化 / 116

4.4 从模态逻辑到 SOSU 的嵌入 / 122

4.5 完全性与可判定性 / 125

4.6 讨论以及与相关逻辑的比较 /135

4.7 结语以及未来工作 / 144

第五章 比较与展望 / 146

5.1 比较“理解为何”的逻辑与“理解现象”的逻辑 / 146

5.2 理解语言 / 152

第六章 总结 / 163

参考文献 / 167

后 记/ 179

在知识论、科学哲学和人工智能领域，“理解”的重要性日益凸显，但学术界对其逻辑层面的研究却相对匮乏。本书突破传统，深入探讨了“理解”的逻辑结构和语义，旨在揭示其与“知道”和“相信”等认知状态的微妙联系。作者不仅追溯了中世纪知识逻辑对“理解”的早期关注，还批判性地分析了现代知识逻辑的局限性。通过逻辑工具，本书为读者提供了一个全新的视角，以澄清和理解不同哲学文献中关于“理解”的论点，是对该领域研究的一次重要补充和深化。