对普通逻辑引进实质蕴涵真值表的再思考

近年出版的许多普通逻辑教材在复合判断中,引进了数理逻辑的真值表,用来标示复合判断的逻辑性质。其中,对引进实质蕴涵真值表说明充分条件假言判断的逻辑性质,逻辑学界存在着截然不同的看法。肯定者认为,“真值表的引入使复合判断及其推理的内在联系表现得更加紧密,也使形式逻辑的学科体系表现出更高的形式化程度。”①否定者则指出,“简单地把定义实质蕴涵的真值表用于充分条件假言判断,必然会造成对充分条件假言判断的歪曲。”②分歧的焦点在于:实质蕴涵的真值表是否能够正确标示充分条件假言判断的逻辑性质?本文拟对此问题作一些初步的探讨。