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

摘要

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