On logic and generative AI

Yuri Gurevich, Andreas Blass

A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, com…