Tomemos inicialmente um domínio bem restrito. Eu e fulano, que vou chamar de Awks, estamos diante de bolas verdes e vermelhas. Awks é daltônico. Quando Awks está diante de uma bola verde, ele diz que ela é verde. Mas quando ele está diante de uma bola vermelha, ele também diz que ela é verde. Ou seja, as duas bolas, para ele, são indistinguíveis quanto à cor. Há algumas situações que eu gostaria de distinguir: (1) Eu saber que Awks é daltônico; (2) Eu não saber que ele é daltônico; (3) Awks saber que é daltônico; e (4) Awks não saber que é daltônico. Chamemos uma das bolas que está diante de mim e de Awks de 'B' e B é verde. Se eu sei que Awks é daltônico, então faz sentido que eu diga para uma outra pessoa que Awks não sabe se B é verde ou vermelho. Mas o que eu posso dizer com sentido para Awks? Awks está diante de B e diz 'B é verde'. A afirmação de Awks é verdadeira, mas não é conhecimento, uma vez que ele diria o mesmo diante de uma bola vermelha. Falta-lhe a justi...