蕴涵怪论

蕴涵怪论亦称“蕴涵悖论”。现代形式逻辑用语。指一类与人们的直观不相符合的含有蕴涵符号的逻辑定理。对于这些用形式语言表示的逻辑定理，当人们对其作出解释，并把其中的蕴涵符号解读为条件句中反映充分条件关系的联结词“如果……，那么……”的时候，难以从直观上认同它们的逻辑真理性，这类逻辑定理因而被称为“蕴涵怪论”。例如，经典命题逻辑系统中有“实质蕴涵怪论”，模态命题逻辑系统中有“严格蕴涵怪论”。