否定表达是人类最常见的一种表达方式。汉语中对“不是……而是……”这一否定表达的研究比较多,但大多数都是基于现代汉语语法的传统研究。近年来,“不是……而是……”的元语言否定用法日益繁荣,尤其是在网络语言中,能够达到某种特有的表达效果。对其元语言否定用法的研究大多数倾向于从语用学的角度进行分析。随着认知语言学的快速发展,越来越多的研究侧重从认知机制、构式语法的角度解释元语言否定“不是……而是……”的成因,较少运用其他学科知识或方法进行研究。只有David Wible&Eva Chen(2000)用句法解释了其成因。本文基于霍恩(1989)和沈家煊(1993)的研究,通过借用形式语义的方法对元语言否定“不是……而是……”进行了分析,得出以下三点结论:1.在整体上,元语言否定“不是……而是……”基本上符合霍恩提出的否定算子歧义说。2.在形式上,“而”可以省略,其元语言否定形式也可为“不是……(而)是……”。3.在意义上,理解的关键在于从深层次地角度解释“不是”后面的否定焦点和“而是”后面的肯定焦点之间的语义联系。本文还认为:英语中元语言否定不允许负极词的出现,而汉语元语言否定“不是……而是……”可以有负极词的出现。