证明论语义及其意义颗粒度

逻辑学研究 2024 年第 1 期，69–86                  文章编号：1674-3202(2024)-01-0069-18

作者：党学哲

摘要：证明论语义是通过“证明”来解释表达式意义的逻辑语义学，与传统模型论

语义在哲学和技术方法上存在诸多不同。它作为一种推理主义意义理论，又与布兰顿

等的推理主义存在显著区别。证明论语义以典范证明而非“真”为中心建立有效性等

语义概念，从而获得比模型论语义更为细密的意义颗粒度。本文通过阐释证明论语义

的哲学背景和意义解释机制，指出其具有过于局限的“字符串式”的意义颗粒度，并证

明对其放松会导致它迅速倒向模型论语义的颗粒度，从而说明证明论语义在意义颗粒

度方面相对于模型论语义的优势是有限的。

关键词：证明论语义；典范推演；意义颗粒度；推理主义

中图分类号：B81                                                 文献标识码：A