Think: A Compelling Introduction to Philosophy

by Simon Blackburn

Then the circle is that at some points it seems that Descartes holds: I can know that (CDp → Tp) only if I first know G. But at other points he holds: I can know that G only if I first know (CDp → Tp).