对塔斯基“真”理论的辩护--与陈晓平教授商榷

摘要

陈晓平教授对塔斯基的“真”理论提出四点批评，并给出了使用“T′模式”作为真之定义的建议。但“T′模式”并不具有“内容恰当性”和“形式正确性”，其引入的对“p”的摹状词解释比塔斯基的方案更复杂，对“真”进行递归定义在现有逻辑学内是不可能的。陈晓平教授对塔斯基“真”理论的批评和建议的失误之处在于误解塔斯基的原意、引入形而上学词项、需要新建形式逻辑。总之，其作为真之定义的“T′模式”是“不能允许地冗长”。%Professor Xiaoping Chen offers four kinds of criticism of Tarski’s theory of truth and advances T′-schema as the definition of truth. But the T′-schema is neither“materi-ally adequate”nor“formally correct”;its explanation is more complicated than Tarski’s;it is impossible to give a recursive definition of truth in available logic. Professor Chen’s criticism and reconstruction made some mistakes including that, misunderstanding Tarski, introducing a metaphysical term and demanding to reconstruct logic. Anyhow, T′-schema as the definition of truth is“inadmissibly long”.