关于矛盾律

或谓之牛，或谓之非牛，是争彼也，是不俱当^①。(《经说上》)
【注释】　①当：恰当、正确。
【译文】　有人说那是牛，有人说那不是牛，(如果)是针对同一对象的断定，那么这两个判断不能都正确。
【评说】　这里说到了形式逻辑的矛盾律。如果对象是狗，而断定其是牛，就是不正确的，断定其不是牛则是正确的。显然，“这个动物是牛”和“这个动物不是牛”之间的关系是矛盾关系。两个是非相矛盾的论题，不可能都正确，其中必有一个不正确，这反映了矛盾律的逻辑要求。