En otras palabras, los problemas del tipo de Gettier demuestran que los formalismos requieren un "filtro" más amplio que los que lo formal capacita a fin de capturar ciertos errores.