A nossa definição de conhecimento requer uma cláusula sotto voce. S sabe que P sse [se e só se] as provas de S eliminarem todas as possibilidades nas quais não P - psst! - excepto as possibilidades que estamos convenientemente a ignorar.
D. Lewis, 2000, p.371







