实质蕴涵并非“如果,则”的逻辑抽象——兼论传统演绎逻辑与经典逻辑演算之关系

一、实质蕴涵不是“如果,则”的逻辑抽象一般认为,实质蕴涵是日常语言里的“如果,则”的逻辑抽象,二者的区别仅仅在于,日常语言里的“如果,则”往往要求前后件有更多的意义方面联系,而实质蕴涵却不要求这一点,它只是从真假情况这个角度刻划了日常语言中的“如果,则”。从真值方面来考虑。实质蕴涵充分地,完全地保留了日常语言中那些相应联结词的意义。这等于说,在真假关系上,二者不可能矛盾,