Axiomatic theories of truth regard truth as a primitive predicate,and govern truth by axioms and rules.In order to evaluate different axiomatic theories of truth,Leitgeb,the logician,proposes eight criteria of truth theories,which were recognized by many philosophers.By analyzing the interpretation and meaning of these eight criteria,we can see that these criteria are neither necessary nor can they be all satisfied,so there are some shortcomings.Inspired by the guiding ideology of axiomatic theories of truth and the commitment of deflationism,we propose the new criteria from the perspective of the consequence.That is,the derived truth theorems of axiomatic theories of truth should be sound philosophically,and should fully prove the philosophically reasonable truth principles.The new criteria have good explanatory power,and the KF-CONS system can better meet the criteria.
axiomatic theory of truthtruth criteriondeflationismtruth principleconsequence
万方数据
维普
