论条件命题的实质——兼谈蕴涵怪论

<正> “假命题蕴涵任何命题,真命题为任何命题所蕴涵”(命题A),是所谓“实质蕴涵”的必然结论。由是观之,下列三个命题皆是真实的: 例1](1)如果2+2=5,则雪是白的; (2)如果2+2=4,则雪是白的; (3)如果2+2=5,则雪是黑的。有人称命题A为“蕴涵怪论”,有人称之为“蕴涵悖论”。何因而“怪”?何因而“悖”?因为与常理相违,为人们的“理性直觉”所不容。但是: “到罗素与怀特海的《数学原理》出版,其中以实质蕴涵为主要工具,把全部数学