Tonk、意义与逻辑  

Tonk,Meaning and Logic

作　　者：周志荣[1] Zhirong Zhou

机构地区：[1]中南财经政法大学哲学院

出　　处：《逻辑学研究》2025年第1期76-92,共17页Studies in Logic

基　　金：国家社会科学基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046)。

摘　　要：Tonk及其家族成员引起的Tonk-问题是证明论语义学面临的主要挑战之一。常见的解决问题的做法是通过修改或禁止特定的后承关系来阻止由tonk等异常词项导致扩张系统平凡化。这种解决方案并不恰当,它混淆了词项的意义问题和逻辑性问题以及对词项的有意义性和逻辑性的不同要求。Tonk-问题同时包含这两个问题,它们分别对应于一致性和协调性两个要求。Tonk及其家族成员因未能满足一致性要求而没有意义,因不满足协调性要求而不是逻辑的词项。The Tonk-problem produced by Tonk and the members in its family is one of the main difficulties that challenge the proof-theoretic semantics.The common way to deal with the problem is to prevent the tonk-extension of any deductive theory from trivializa-tion by modifying its logical consequence or banning some rule(s)of derivation.The way cannot be taken as a proper solution to the problem in the sense that it confuses the ques-tion of meaning and of logicality of terms,both of which are contained in Tonk-problem and are in accord with the requirement of inconsistency and of harmony,respectively.Tonk and the members in its family are meaningless because of their unsatisfying of the requirement of inconsistency and are not logical terms because of their unsatisfying of the requirement of harmony.

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

分 类 号：B81[哲学宗教—逻辑学]