Skip to main content

The World of Logic, Computation, and Agency

The Strachey Lectures are generously supported by OxFORD Asset Management

Johan van Benthem ( Professor of Logic, Amsterdam and Stanford University )


Logic, computation and human agency form a tightly knit family of themes and results, where new connections keep appearing. I will discuss these family affairs with a focus on games as a unifying paradigm. I start with some (Whig) history of ideas at the interface of logic, computer science, and game theory, and move toward the present and future of what may well be seen as one discipline in the making.

Share this: