公理化真理论的巩固与扩展

Consolidation and Expandation in Axiomatic Theories of Truth

哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联系,并注重对真理论的规范进行探讨与整合,这些工作都是对理论整体的巩固。而辛德勒(Thomas Schindler)、赫克(Richard G.Heck)、尼克莱(Carlo Nicolai)作为研究公理化真理论的新生代力量,最近则是从理论局部进行创新。这些拓展性的工作包括引进博弈论语义学丰富公理化真理论的语义解释,构造包含"有根基的(grounded)"和"真的"两个谓词的新系统,尝试以三层语言的组合真理论克服不保守性现象。但在尝试解离(disentangled)语法之后,保守性与紧缩论之间的矛盾依然存在,从而迫使萨林斯克(Cezary Cie'sliński)等学者重新审视保守性要求与紧缩论教条的合理性。

As the leaders, Volker Halbach and Leon Horsten et al committed themselves to studying the branches of axio-matic theories of truth for many years. Recently, they are from the point of the whole theory to complete the axiomatic theo-ries of truth, including strengthening the relation between the theories of axiomatic truth and semantic truth and paying more attention to discuss and integrate the rules of truth theory. All of these consolidate the axiomatic theories of truth in general. While, as the representative of Genozoic, Thomas Schindler, Richard G. Heck and Carlo Nicolai et al innovate partly on the basis of existing theoretical system, including introducing the semantic theory of game to enrich the semantic interpreta-tions of axiomatic truth and formulating a new system which has grounded and truth two predicates, attempting to overcome the non conservative phenomenon by a compositional theory of truth which formed in tri-levels language. After disentangling syntax, however, the fact that the conflicts of conservativity and deflationism still be there forces Gezary Gie？ linski et al to re-examine the rationality of conservativity require and deflatonsim doctrine.