O conhecimento é mais do que crença. Pode acreditar em algo falso. Pode acreditar em algo verdadeiro por acidente. O conhecimento requer justificação. A análise padrão, do Teeteto de Platão, define o conhecimento como a crença verdadeira justificada. Sabe alguma coisa se é verdade, se acredita nisso e se tem boas razões para acreditar. Edmund Gettier questionou esta definição em 1963 com casos em que alguém possui uma crença verdadeira justificada, mas mesmo assim não sabe. Num caso, Smith tem provas de que Jones possui um Ford e infere que ou Jones possui um Ford ou Brown está em Barcelona. Jones não possui um Ford, mas Brown está em Barcelona. Smith possui uma crença verdadeira justificada, mas não sabe.

Os filósofos propuseram muitas respostas. Alguns acrescentam uma quarta condição, como a ausência de lemas falsos ou a fiabilidade. Outros defendem que o conhecimento é um conceito primitivo. Outros ainda dirigem a atenção para o processo pelo qual as crenças são formadas. Os externalistas sustentam que a justificação depende de factos sobre o ambiente do sujeito cognoscente, e não apenas daquilo a que ele tem acesso. Os internalistas defendem o contrário. O debate continua, e os casos de Gettier continuam a ser um teste para qualquer teoria do conhecimento.

Tipos de conhecimento

• Proposicional. Conhecimento de que algo é o caso.
• Procedural. Conhecimento de como fazer algo.
• Conhecimento. Familiaridade direta com algo.
• Tácito. Conhecimento difícil de articular.

Conhecimento não é o mesmo que certeza. Pode saber algo e ainda estar aberto a revisões.