On logic and generative AI

TL;DR

This paper discusses the deep foundational problems at the intersection of logic and generative AI, aiming to inspire young logicians to explore these challenges in the context of the AI revolution.

Contribution

It highlights the relevance of logical foundations to current AI developments and encourages further exploration of foundational issues in generative AI.

Findings

Identifies key foundational problems linking logic and AI

Encourages young logicians to engage with AI-related foundational questions

Bridges historical logic studies with modern AI challenges

Abstract

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.