On logic and generative AI
It highlights foundational challenges in AI for logicians and researchers, but is incremental as it focuses on awareness rather than new solutions.
The paper addresses the foundational problems raised by the AI revolution across fields like neuroscience, philosophy, computer science, and logic, aiming to provoke young logicians to engage with these issues.
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.