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 ...