Our contention is that to solve the Gettier Problem, a notion of infallible knowledge involving the substantial truth theory is necessary. We assume that acts of sense experience have propositional content, and that atomic empirical propositions need the existence of non-mental objects to be true. This approach allows for making the distinction between epistemically good justifiers and ontologically good justifiers, and leads to a definition of propositional empirical knowledge free of the Gettier Problem. Our explication of the Gettier Problem rejects Hetherington’s (2012) view that the Gettier Problem rests on jointly unsatisfiable constraints, sheds a new light on Floridi’s (2004) result, avoids the Pyrrhonian skepticism, as well as the ...