Logic Lounge with Joscha Bach

Cognitive AI: From AI models to mental representations?

CAV21 and VCLA hosting a talk by Joscha Bach

DATE:Thursday, July 22, 2021
TIME:20:00 – 21:00

The aspiration of philosophy can be understood as the integration of all theories, and the aspiration of mathematics as the exploration of all consistent languages. Philosophy starts out with natural languages, mathematics with formal ones.

Just as it is hard to say provably true things in the languages of philosophers, it is hard to make meaningful statements about our world using the languages of mathematicians. Grounding philosophy in mathematical languages requires the mathematization of the mind.

In this sense, Artificial Intelligence is more than research into advances in information processing. It is also a daring, risky and extremely important philosophical project.




Thursday, July 22, 2021


1 hour


11am – 12pm PDT

8pm – 9pm CEST (Vienna)

Free Registration for this virtual public event

The lecture will be held as a Zoom webinar. Registered attendees will be provided with a link to participate.

More information on the Eventbrite page.

About Joscha Bach

Joscha Bach, PhD, is a cognitive scientist and AI researcher with a focus on computational models of cognition. He has taught and worked in AI research at Humboldt University of Berlin, the Institute for Cognitive Science in Osnabrück, the MIT media lab, the Harvard Program for Evolutionary Dynamics and is currently a principal AI researcher at Intel Labs, California.


The LogicLounge is hosted by the 33rd International Conference on Computer-Aided Verification (CAV) and organized by Leopold Haller in collaboration with the Vienna Center for Logic and Algorithms at TU Wien (VCLA) and supported by Roderick Bloem and Georg Weissenbacher. 

About the LogicLounge series

The series of public lectures LogicLounge continues to bring together the general public and the experts from the fields of logic, philosophy, mathematics, computer science, and artificial intelligence. Since its inception at the Vienna Summer of Logic in 2014 – the largest event in the history of logic – the series has since been traveling between Vienna and the venue of the CAV (International Conference on Computer-Aided Verification), where it has already become a regular event in honor of Prof. Helmut Veith (1971-2016).

Comments are closed.