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 |
VENUE: | Virtual |
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.
Venue
Virtual
Date
Thursday, July 22, 2021
Duration
1 hour
Time
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.
Organizers
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).