存在谬误是一个具有标准形式(三段论第一格形式)的
直言三段论从两个全称前提推出特称结论而引起的谬误。由于假定了性质命题的存在内含,传统逻辑不太注重全称命题和特称命题在主项断定上的区别,认为从全称命题自然能推出特称命题。但在现代逻辑看来,存在内含的假定是不必要的,某些普遍的属性不必需要具体的例证。
如即使不存在刹车失灵的火车,但“所有刹车失灵的火车都是危险的”仍然可以是真的。即当全称命题真时,其同素材的特称命题未必真。因此,存在谬误是由于现代逻辑消除了性质命题的存在内含而出现的
案例:“所有的警察都很高,而诚实的威尔士人都不高,所以有些诚实的威尔士人不是警察”,在该句中假设结论“有些诚实的威尔士人不是警察”是正确的,那么“有些”这个词表述了“诚实的威尔士人”是存在的,但没有证据显示“诚实的威尔士人”存在,因此判定为存在谬误。