El conocimiento es más que una creencia. Se puede creer algo falso. Se puede creer algo verdadero por casualidad. El conocimiento requiere justificación. El análisis estándar, del Teeteto de Platón, define el conocimiento como una creencia verdadera justificada. Se sabe algo si es verdadero, se cree en ello y se tienen buenas razones para creerlo. Edmund Gettier socavó esa definición en 1963 con casos en los que alguien tiene una creencia verdadera justificada pero aún no lo sabe. En un caso, Smith tiene pruebas de que Jones posee un Ford e infiere que o bien Jones posee un Ford o bien Brown está en Barcelona. Jones no posee un Ford, pero Brown está en Barcelona. Smith tiene una creencia verdadera justificada, pero no lo sabe.

Los filósofos han propuesto numerosas respuestas. Algunos añaden una cuarta condición, como la ausencia de lemas falsos o la fiabilidad. Otros argumentan que el conocimiento es un concepto primitivo. Otros, en cambio, centran su atención en el proceso de formación de las creencias. Los externalistas sostienen que la justificación depende de hechos sobre el entorno del sujeto que conoce, no solo de aquello a lo que este tiene acceso. Los internalistas defienden la postura opuesta. El debate continúa, y los casos Gettier siguen siendo una prueba para cualquier teoría del conocimiento.

Tipos de conocimiento

• Proposicional. Conocimiento de que algo es cierto.
• Procedural. Conocimiento de cómo hacer algo.
• Conocido. Familiaridad directa con algo.
• Tácito. Conocimiento difícil de articular.

El conocimiento no es lo mismo que la certeza. Se puede saber algo y, aun así, estar abierto a la revisión.