On logic and generative AI