"It would be foolish to give credit to Euclid for pangeometrical conceptions; the idea of geometry deifferent from the common-sense one never occurred to his mind. Yet, when he stated the fifth postulate, he stood at the parting of the ways. His subconscious prescience is astounding. There is nothing comperable to it in the whole history of science."

Previous Quote

Logical investigations can obviously be a useful tool for philosophy. They must, however, be informed by a sensitivity to the philosophical significance of the formalism and by a generous admixture of common sense, as well as a thorough understanding both of the basic concepts and of the technical details of the formal material used. It should not be supposed that the formalism can grind out philosophical results in a manner beyond the capacity of ordinary philosophical reasoning. There is no mathematical substitute for philosophy.

— Saul Kripke