作者：霍书全经典逻辑非经典逻辑形式化系统推理
摘要：“实质蕴涵怪论”问题是困扰经典逻辑的语义问题，在解决它的过程中产生了严格蕴涵和相干蕴涵，出现了模态逻辑和相干逻辑。模态逻辑中仍然有“严格蕴涵怪论”。相干逻辑避免了“蕴涵怪论”，但把一些有效的推理形式排除在外，还具有不可判定性。“蕴涵怪论”是由于对推理关系进行形式化（数学化）引起的，因此，我们可以抛开形式系统来寻找一种方法避免“怪论”。本文将给出一个消除“蕴涵怪论”的可行方法——欧拉图解方法。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
