On logic and generative AI
<|reference_start|>On logic and generative AI: A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, computer science, and logic. The goal of the following dialog is to provoke young logicians with a taste for foundations to notice the foundational problems raised by the AI revolution.<|reference_end|>
@article{gurevich2024on,
    title={On logic and generative AI},
    author={Yuri Gurevich and Andreas Blass},
    journal={Bulletin of the EATCS 143, June 2024},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.14465},
    primaryClass={cs.AI cs.LO}
}