On 23 June 2017 (Friday) at 4:30 p.m., in Room 28, Dr. Jakub Szymanik from the  University of Amsterdam will deliver a talk on:

Logic as the Language of Thought

In this talk I will seriously take the idea of logic as representational language for cognitive science (language of thought, LoT). I will argue that LoT framework seems attractive at least in the sense of Marr’s computational level. I will survey recent computational cognitive modeling efforts founded on the logical representations. These studies will illustrate how the modern computational techniques (e.g., machine learning, Bayesian modeling) can be creatively combined with logical representation languages to shed light on compositional structure of human thinking. Taking LoT seriously brings logic back to the center of cognitive debate.