Gettier Problem

up:: 071 MOC Teoria do Conhecimento e Filosofia da Ciência

“If a man believes something for a reason which is preposterous or for no reason at all, and what he believes turns out to be true for some reason not known to him, he cannot be said to believe it rationally, although he believes it and it is in fact true.” (KEYNES, p. 9)

O problema de Gettier é um contraexemplo ao modelo platônico de que conhecimento é “crença verdadeira justificada”.

A linha de raciocínio é a seguinte:

1. Eu creio que todo $z$, ao satisfazer $P(z)$, satisfaz também $Q(z)$;
2. Além disso, eu pressuponho que algum $X$ específico satisfaz $P(X)$;
3. Portanto, eu concluo que existe algum $y$ que satisfaz $Q(y)$ (que, ao meu ver, é $y=X$, em específico)

Porém, ao supor isso, eu posso incorrer no erro de que este $X$ específico não satisfaça $P(X)$: eu posso estar errado sobre esta asserção, concluindo incorretamente que vale $Q(X)$. Portanto, minha conclusão de que existe algum $y$ tal que $Q(y)$ não tem obrigação alguma de ser verdadeira.

Ao mesmo tempo, caso exista algum outro elemento $z$, “fora do meu radar”, que satisfaça $Q(z)$, então minha conclusão acaba sendo verdadeira — mas não pela minha dedução!

Portanto, por mais que eu tenha satisfeito as três propriedades do conhecimento platônico, não parece correto que eu saiba que “existe algum $y$ tal que $Q(y)$”: calhou que eu “tive sorte de estar certo”.

---

References

• GETTIER, Edmund. “Is justified true belief knowledge?”, 1963. Disponível em: https://fitelson.org/proseminar/gettier.pdf
• KEYNES, John Maynard. A treatise on probability. Project Gutemberg, 2010. [1921]. Disponível em: http://www.gutenberg.lib.md.us/3/2/6/2/32625/old/2010-05-31-32625-pdf.pdf