C I F M A - 2 0 2 0
2nd International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications
VIRTUAL EVENT organised by CWI, Amsterdam, The Netherlands, on 14 September 2020
Co-located with SEFM 2020

Home | Programme

Keynote Speaker

Johan van Benthem

Institute for Logic, Language and Computation (ILLC)

University of Amsterdam, the Netherlands

"Interfacing Logical Theory and Human Practice"


Logic and psychology of reasoning have a long history of indifference, enlivened only by episodes of open animosity. Comparisons between the norms of logical systems and the behavior of experimental subjects are claimed to show wide gaps. In this talk, I will discuss some more constructive (if less exciting) perspectives, in line with congenial authors at this interface. I present three themes in modern logic with a bearing on cognition: the coexistence of simple and complex reasoning systems, the mutual support of qualitative logical reasoning and numerical calculation, and the interplay of inference and updating represented information.


  1. J. van Benthem, 2008, ‘Logic and Reasoning: Do the Facts Matter?’, Studia Logica 88, 67–84.
  2. J. van Benthem, 2011, Logical Dynamics of Information and Interaction, Cambridge University Press, Cambridge UK.
  3. J. van Benthem, F. Liu & S. Smets, 2020, ‘Logico-Computational Aspects of Rationality’, to appear in M. Knauff & W. Spohn, eds., Handbook of Rationality, The MIT Press, Cambridge MA.


Johan van Benthem https://staff.fnwi.uva.nl/j.vanbenthem/) is a University Professor of Logic (em.) at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and Jin Yuelin Professor of Logic at Tsinghua University. His interests include language, computation, information dynamics, and games, plus connections between logic and mathematics, philosophy, computer science, linguistics, and the cognitive and behavioral sciences. He was the founding director of the ILLC in Amsterdam, and is a co-director of the Amsterdam- Tsinghua research center for logic in Beijing, Van Benthem is a member of the Dutch Royal Academy, the Academia Europaea, and the American Academy of Arts and Sciences.

  Created: Mon 22 Jun 2020 Maintained by  
  Updated: Mon 22 Jun 2020 Antonio Cerone