13-17 August 2012, ESSLLI-2012 Workshop "Logic & Cognition", Opole, Poland

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/