解决“实质蕴涵怪论”问题,须首先在逻辑语义学视域之中厘清蕴涵关系的层级,进而再从语用学上考察各类条件句“是否”或“如何”表达不同层面的蕴涵关系。运用集合论工具可以说明,逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系,实际上都是作为真值函数的实质蕴涵关系之居于不同层面的“子集”。建构“蕴涵层级论”的主要目标,即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级,“实质蕴涵怪论”的迷雾就会消失于无形。
To solve the puzzle of the "material implication paradoxes", we should first clarify the hierarchy of the implication relations in the horizon of logical semantics, and then, from the pragmatic perspective, to explore "whether" or "how" various conditional sentences express implication relations at different levels. It can be clearly expounded by using the set theory instruments that logical implication, strict implication, intuitionistic implication, relevant implication and other implication relations are all subsets at different levels of material implication relations as truth function. The main goal of constructing the "hierarchy theory of implication" is to identify and systematically grasp the levels of the various implication relations and the relations between them. Once the hierarchy of the implication relations is clarified, the clouds over the "material implication paradoxes" will be removed.