Contra-exemplos de Gettier

Tentativas de Solução para os
Contra-exemplos de Gettier.

É raro em filosofia chegar a consenso acerca de qualquer questão substantiva, mas durante algum tempo existiu um consenso quase completo sobre o que se designa "análise tradicional do conhecimento como crença verdadeira justificada". De acordo com essa análise:
S sabe que p se e só se:
1) p é verdadeira,
2) S acredita que p; e
3) S está justificado em acreditar que p.
No período imediato que antecedeu a publicação do famoso artigo de Gettier (1963) "É o Conhecimento Crença Verdadeira Justificada?", esta análise era defendida por virtualmente todos os epistemólogos. Mas Gettier publicou o seu artigo e alterou, praticamente sozinho, o curso da epistemologia. Conseguiu isso apresentando dois contra-exemplos claros e inegáveis à análise da crença verdadeira justificada. Considera-se que Smith acredita falsamente mas com boas razões que Jones tem um Ford. Smith não faz ideia do paradeiro de Brown, mas escolhe arbitrariamente Barcelona e, do fato putativo de que Jones tem um Ford, infere que Jones tem um Ford ou Brown está em Barcelona. Acontece que por acaso Brown está em Barcelona, pelo que esta disjunção é verdadeira. Além do mais, tal como Smith tem boas razões para acreditar que Jones é dono de um Ford, está justificado em acreditar nesta disjunção. Mas já que os dados de que dispõe não pertencem à proposição verdadeira da disjunção, não podemos dizer que Smith sabe que Jones é dono de um Ford ou Brown está em Barcelona.
Ao ensaio de Gettier seguiu-se uma avalanche de artigos que procuravam responder aos contra-exemplos adicionando uma quarta condição à análise tradicional do conhecimento. A primeira tentativa para resolver o problema de Gettier virou-se para a consideração de que, nos exemplos de Gettier, o agente epistêmico alcança uma crença verdadeira justificada raciocinando a partir de uma crença falsa. Isso sugeriu a adição de uma quarta condição