论“若，则”句的逻辑刻画及蕴涵怪论的消解

摘要

蕴涵怪论是个古老而新鲜的话题，对其消解的主要方案都遇到了困境。通过“若，则”句与“或”、“且”句的逻辑比较，我们揭示了“若，则”句的偏序性质及其内涵子集特征，指出从“若，则”中抽象出蕴涵，除作真值抽象外，必须对其推算性进行刻画。通过修订实质蕴涵真值表，我们刻画了日常蕴涵的真值性；通过起点规则，我们刻画了日常蕴涵的推算性。日常蕴涵可以消解各蕴涵怪论并能以之为基石建立符合二值原则和组合原则的逻辑系统。