实质蕴涵“严峻反例”的两大化解路径探析

实质蕴涵理论是逻辑学的一种基础理论，但它长期面临着蕴涵怪论的质疑，尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的“严峻反例”，国内目前主要有两种不同的化解路径：以程仲棠为代表的命题逻辑方案和以张建军为代表的形式蕴涵方案。这两种方案有着本质差别，究竟哪一种更合理，这需要立足于具体的分析来进行抉择。

An Analysis of Two Approaches to the Critical Counterexamples of Material Implication

The theory of the material implication is basic in logic. But it has been called into question from the paradoxes of implication for a long time, and some counterexamples have been a severe challenge to it. For the critical counterexamples, there are two different kinds of approaches at home. One is the proposi?tional logic scheme represented by Cheng Zhongtang, and the other is the formal implication scheme represent?ed by Zhang Jianjun. These two kinds of approaches are different in essence, so we should make a concrete analysis before picking out the more reasonable one.