关于实质蕴涵“如果A那么B”的一些思考（英文）

这篇文章尝试辩解布尔(亚里士多德式)逻辑中关于实质蕴涵的反直观定义。主要问题是:自然语言和逻辑定义的"蕴涵"的隐喻之间的联系是什么?为了更好地理解该定义和避免一些潜在的困惑,本文呈现出不同论点,并论述了"A→B"的经典定义的合理性。