Tonk、意义与逻辑

逻辑学研究 2025 年第 1 期， 76–92                 文章编号： 1674-3202(2025)-01-0076-17

作者：周志荣

摘要：Tonk及其家族成员引起的Tonk-问题是证明论语义学面临的主要挑战之一。常见的解决问题的做法是通过修改或禁止特定的后承关系来阻止由tonk等异常词项导致扩张系统平凡化。这种解决方案并不恰当，它混淆了词项的意义问题和逻辑性问题以及对词项的有意义性和逻辑性的不同要求。Tonk-问题同时包含这两个问题，它们分别对应于一致性和协调性两个要求。Tonk及其家族成员因未能满足一致性要求而没有意义，因不满足协调性要求而不是逻辑的词项。

关键词：逻辑词项；证明论语义学；意义；协调性；一致性

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