"形式蕴涵"理论是弗雷格"命题函数"和"逻辑量词"两大发现的结晶,而"实质蕴涵怪论"之"严峻反例"疑难的出现,源自由"命题函数"与"命题"的混淆所造成的对于"反例"的不适当逻辑刻画。逻辑分析应当充分尊重"合理直觉",把握自然语言的深层逻辑结构。解决蕴涵怪论问题的根本出路,在于厘清蕴涵的"层级"。