“哲学新逻辑”问世

　　数学如今无处不在，从世界贸易到统计和评估感染数字都需要数学。

　　另一方面，哲学负责的几门思想学科可以在情况变复杂时帮助我们判断它到底意味着什么：伦理学是其中之一，此外还有认识论和世界观。

　　令人遗憾的是，如今大学里有关数学的哲学讨论在很大程度上仍停留在100多年前数学逻辑的水平上。这让英国数学哲学家戴维·科菲尔德非常担心，以至于他已借助最新的数学基础理论之一同伦类型论着手开发一种“哲学新逻辑”。同伦类型论的开发者希望确保越来越多基于计算机的数学实践(如创建证明)不仅能兼容机器，而且易于人类理解。

　　2020年，经过几年的前期工作，科菲尔德的《模态同伦类型论——哲学新逻辑的前景》出版。受疫情影响，相关学术界对该书的讨论主要在网上展开。讨论肯定会在今年继续，其方向将是一种可能既非纯自动也非习以为常的人类逻辑。

　　或许只有当我们不再只是思考、设计和讨论，而是同时使用和体验这种逻辑时，我们才能找到适合描述它的词汇。