神逻辑：牛奶为什么过期？

你店里有些牛奶没过期，
所以，你店里有些牛奶过期了。

便利店老板哭晕在厕所。

前提没错，为什么结果却不对？因为经过了一个神逻辑：

有些牛奶没过期，这是事实，但**『有些』二字并不能说明它不是指『所有』**。因此，我们不能据此推断：有些其他的牛奶必然过期。

这个神逻辑是一种逻辑谬误，我们称为『无端对立』。

什么是无端对立？

『无端』指『没有理由』，『对立』指肯定转为否定，『无端对立』就是指：没有理由地把特称肯定句转成特称否定句。

逻辑上的『特称』简单理解就是有些、一些；与『特称』相对的是『全称』：所有、全部。

特称肯定句往往给接收者理解上产生这样的暗示：

有些是，那么就有些不是。

这才有了开篇的神逻辑。

而真相是『有些是』并没有否定『所有都是』，所以也就否定了『有些不是』，错误由此而生。

唯一的辨析点

无端对立还可以把特称否定句转换为特称肯定句，比如：

有些蚂蚁不是妖怪，
所以，有些蚂蚁是妖怪。

哪些蚂蚁是妖怪？有些蚂蚁居然可以重新定义妖怪？继续看下一个例子：

有些蚂蚁不是人，
所以，有些蚂蚁是人。

体会到问题点了么？真相应该是『所有蚂蚁都不是人』这样的全称否定，所以，『没有蚂蚁是人』才是对的。

而这里的前提却把全称句式换成了特称，造成了人们本能上的理解短路。

为了警惕别人利用这种短路带着我们作出错误的判断，遇到这种情况，我们只需辨析一个点：特称前提在全称表述上是否成立？

如果全称表述成立，那么需要警惕特称表述的误导性。

什么时候可以对立？

当一个全集下确定存在两个或多个子集的时候可以对立：

学生们穿了各式各样的衣服来参加校庆，
一些学生穿了校服，
所以，另一些学生没穿校服。

当明确『各式各样的衣服』的全集下有多个子集时，才可以对立，才可以互换『穿和没穿』。但是反之则不行：

学生们穿了各式各样的衣服来参加校庆，
一些学生没穿校服，
所以，另一些学生穿了校服。

如果『各式各样的衣服』的全集下，并没有明确是否包含校服这个子集，所以，对立的结论不必然。

刻意练习

有些猫是动物，
所以，有些猫不是动物。

有些猫是动物，这是事实，但**『有些』二字并不能说明它不是指『所有』**。因此，我们不能据此推断：有些其他的猫不是动物。

有些德国人不是犹太人，
所以，有些德国人是犹太人。

结论符合直觉，但逻辑上是无端对立，前提并不意味着我们可以逻辑地得出『有些德国人是犹太人』的结论。 前提可能从我们理解直觉上暗示了结论，但并不意味着结论必然为真。

有些天鹅是白的，
因此，有些天鹅不是白色的。

结论符合直接，但逻辑上是无端对立，除非出现另一个前提：一只黑天鹅被发现了。

如果没证据表明有例外，既不代表有例外，也不代表没有例外，我们需要更多的观察去支持结论。