El lógico estadounidense Nelson Goodman ha sugerido añadir restricciones a nuestro propio razonamiento, como no considerar nunca que un caso válido "Todos los P son Q" sí valida también "Ningún P es Q".