The workshop theme The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human argumentation. In the 19th century Gottlob Frege, one of the founders of modern logic and analytic philosophy, introduced anti-psychologism in the philosophy of mathematics. In the following years anti-psychologism, the view that the nature of mathematical truth is independent of human ideas, was one of the philosophical driving forces behind the success of mathematical logic. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. However, the 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. Only 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. Today, we finally observe an increase in the collaborative effort between logicians, computer scientists, linguists, cognitive scientists, philosophers, and psychologists. Topics of the workshop revolve around empirical research motivated by logical theories as well as logics inspired by experimental studies reflecting an increasing collaboration between logicians and cognitive scientists. In addition to the contributed talks, of which the articles are gathered in this volume, the workshop also presents two invited talks: • Paul Egré and David Ripley Vagueness and hysteresis: a case study in color categorization • Iris van Rooij Rationality, intractability and the prospects of “as if” explanations The abstracts of both presentations may be found in this volume.
The Programme Committee of the workshop decided to award the Best Paper Prize to: Nina Gierasimczuk, Han van der Maas, and Maartje Raijmakers for the paper Logical and Psychological Analysis of Deductive Mastermind.
The Best Student Paper Prize was awarded to Fabian Schlotterbeck and Oliver Bott for the paper Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents. 4
We would like to thank all the people who helped to bring about the workshop Logic and Cognition. First of all, we thank all invited speakers and contributed speakers for ensuring an interesting conference.
Special thanks are due to the members of the program committee for their professionalism and their dedication to select papers of quality and to provide authors with useful, constructive feedback during the in-depth reviewing process: Program Committee:
Fritz Hamm Alice ter Meulen Marcin Mostowski Maartje Raijmakers Iris van Rooij Keith Stenning Marcin Zajenkowski
Finally, we would like to express our gratitude to NWO for largely financing this workshop through Vici grant NWO 227-80-00, Cognitive Systems in Interaction: Logical and Computational Models of Higher-Order Social Cognition.
Rineke Verbrugge Groningen, July 2012