存在谬误

存在谬误是一个具有标准形式（三段论第一格形式）的直言三段论从两个全称前提推出特称结论而引起的谬误。由于假定了性质命题的存在内含，传统逻辑不太注重全称命题和特称命题在主项断定上的区别，认为从全称命题自然能推出特称命题。但在现代逻辑看来，存在内含的假定是不必要的，某些普遍的属性不必需要具体的例证。如即使不存在刹车失灵的火车，但“所有刹车失灵的火车都是危险的”仍然可以是真的。即当全称命题真时，其同素材的特称命题未必真。