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

Proof-Theoretic Semantics and Its Granularity of Meaning

证明论语义是通过“证明”来解释表达式意义的逻辑语义学,与传统模型论语义在哲学和技术方法上存在诸多不同。它作为一种推理主义意义理论,又与布兰顿等的推理主义存在显著区别。证明论语义以典范证明而非“真”为中心建立有效性等语义概念,从而获得比模型论语义更为细密的意义颗粒度。本文通过阐释证明论语义的哲学背景和意义解释机制,指出其具有过于局限的“字符串式”的意义颗粒度,并证明对其放松会导致它迅速倒向模型论语义的颗粒度,从而说明证明论语义在意义颗粒度方面相对于模型论语义的优势是有限的。

Proof-Theoretic semantics is a logical semantics that explains the meaning of expressions through proofs,and it differs from traditional model-theoretic semantics in both philosophical and technical aspects.As a form of inferentialist theory of meaning,it also exhibits significant differences from inferentialism advocated by Brandom.Proof-Theoretic semantics establishes the concept of validity and other semantic notions primarily through canonical proofs rather than truth,thus achieving a more fine-grained granularity of meaning.We elucidates the philosophical background and mechanisms of meaning interpretation,highlighting its overly restricted"string-like"granularity of meaning.It is demonstrated that certain relaxing based on amending the definition of caninocical deduction quickly leads to a shift towards the granularity of model-theoretic semantics,thereby indicating the limited advantage over model-theoretic semantics in terms of granularity of meaning.