非有否定
因明 · 量理宝藏论
分类
所有名言否定均可包含在非有否定、别有否定以及非可能否定三者当中，这三者依次是否定不遍、否定过遍与否定不容有的语义。一切义否定也只有这三种而别无其他，因此定数是成立的。
《量理宝藏论释》第八品 观法相本论自宗：名言否定归为三种
如果是一个非常正确的法相，那它已经具有三种否定。哪三种否定呢？第一个是非有否定，比如说黄牛的法相，它已经否定了不具足项峰垂胡的可能性；然后是别有否定，别的没有，只有它才具有，也就是说只有黄牛才具足项峰，别的动物都不具足，这叫做别有否定；最后是不可能否定、非可能否定，也就是说唯有黄牛才具足，其他动物不可能具足。
量理宝藏论讲解45本论自宗：正确法相具足三种否定
辨析
而别有否定跟我们平时说的话还是有点差别，比如我说瓶子无常，这并没有加上别有否定，瓶子肯定是无常的，瓶子非无常已经排除了。如果我说唯有瓶子是无常，那么在这个世界上，就只有一个东西———瓶子是无常的，其他法不可能容有。所以，别有否定与我们平时的语言有一定的差别。也就是说，这里的遣余并不是别有否定，我觉得应该包括在非有否定里面。
量理宝藏论讲解23讲记：一般语句的遣余属非有否定，非别有否定
比如说“山上有火，有烟之故”，烟实际上是因的事相，它是山上的烟。那么，所诤事作为差别法的烟是非有否定还是别有否定？如果是第一者———非有否定，那我们自宗也可以这样承认，因为山上毕竟有烟。有烟的话，山上不存在烟已经排除了。
量理宝藏论讲解67本论自宗：因在所诤事上是非有否定可许
名相的定义、分类与诸家说法，逐句摘自本站的原典、释论与讲记，原文照录，每句链回原段。