"Logic is not a theory but a reflexion of the world."