One of his main philosophical projects was to show that it is possible to know for certain, and without any doubt at all, the most basic things that we know. That there is an external world, for instance, or that people other than ourselves exist. It turns out to be very difficult to prove these things with absolute certainty.