从相干逻辑看逻辑的可修正性

摘要

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。