以真为先:非经典真理论的方案与代价

Truth-first:Approaches and Costs about Non-classical Theories of Truth

当经典逻辑的基本原则与真之透明性冲突时,非经典真理论坚持“以真为先”,取透明性而舍经典逻辑。其中,舍经典逻辑关于联结词的某些原则,可以形成亚完全方案和亚相容方案;舍经典逻辑关于推理结构的某些原则,可以形成非传递方案和非收缩方案。非经典真理论的方案不仅可行,而且能取得很多在经典真理论看来是意想不到的结果,但它们也会因放弃经典逻辑而承受必要的代价。

When the basic principles of classical logic conflict with the transparency of truth,the non-classical theories of truth insist on truth-first and take transparency instead of classical logic.If some connective principles of classical logic are given up,we can obtain para-complete or para-consistent approaches.If some structural principles are given up,we can obtain non-transitive or non-contractive approaches.These approaches of non-classical theories of truth are not only feasible,but also can achieve many unexpected results.However,there are some inevitable costs for giving up classical logic as well.