Verdad Vacua
- verdad por conjunto vacío
- ninguno de los que no hay
- cierto porque no hay caso que lo contradiga
Se afirma algo sobre todos los miembros de un conjunto vacío, y la frase, técnicamente cierta, se presenta como si dijera algo del mundo.
Culpable de error cuantificacional
Forma lógica
- 1Ningún X es Y.
- 2No existe ningún X.
- ∴ Se presenta «ningún X es Y» como un hallazgo.
«Todo X es Y» es verdadera cuando no hay ningún X, porque no hay contraejemplo posible. Lo que la vuelve engañosa es que suena al resultado de una inspección donde nunca hubo nada que inspeccionar.
Evidencia
Comunicado de una empresa
«Ninguno de nuestros proveedores con certificación fue sancionado el año pasado.»
Por qué falla
Es cierto, y lo sería igual si la empresa no tuviera un solo proveedor certificado. La frase no miente y no informa: hay que preguntar cuántos son.