 Although at the time of the Gibbs lecture the analogy in Gödel’s mind between philosophical and mathematical reasoning may have been a very close one, Gödel’s view at other periods was that the envisaged methods will not be mathematical in nature. What was wanted was a general, informal science of conceptual analysis.