From Imagination to Logic and Back