In formal logic, a contradiction is the signal of a defeat, but in the evolution of real knowledge it marks the first step in progress towards a victory.