Institute for Logic, Language and Computation
University of Amsterdam

Science Park 107

P.O. Box 94242

1098 XG Amsterdam

The Netherlands

Jakub.Szymanik at

J.K.Szymanik at

[ Research | Bio | Publications | Talks | Teaching | Activities | CV | Calendar | Twitter ]

2015 PCs: CogSci, XPRAG, SALT, LoRI , LQMR'15, PiL2015, NeSy'15, ESSLLI StuS'15, NCI@KI205

Workshop Reasoning in Natural Language: Symbolic and Sub-symbolic Approaches at Amsterdam Colloquium 2015

Theories of reasoning: logic and cognition, course at ESSLLI2016


I am an associate professor in logic and cognitive modeling at the Institute for Logic, Language and Computation at the University of Amsterdam. I am affiliated with the Faculty of Humanities within the Research Priority Area Brain & Cognition. My research interests include logic, cognitive science, formal semantics, complexity theory, philosophy, and any combination of these. I try to use logical and computational tools for cognitive modeling and designing psychological experiments. In my current research, I'm mostly concerned with the logic and cognitive science of language and social interactions. I have been especially interested in computational and cognitive aspects of quantifier meaning. In January 2013 I started my NWO Veni project `What makes social interactions hard? A computational study of intentions, knowledge, and beliefs.' I'm also involved in some research within Language in Interaction


I studied philosophy, psychology, mathematics, and linguistics at the Individual Studies in the Humanities (MISH), University of Warsaw, where I obtained MA in the area of logic at the Institute of Philosophy. Then I went to Amsterdam and defended PhD at the Institute for Logic, Language and Computation. My advisors were Johan van BenthemMarcin Mostowski, and Theo Janssen. I was working in the `Games and Linguistics' part of the GLoRiClass project funded by the European Community in the Marie Curie Program. My thesis work was about computational complexity and generalized quantifier theory. Directly after the graduation I was briefly teaching at the Cognitive Artificial Intelligence ProgramUtrecht University and consulting for company SpeechConcept in machine translation. Next, I got a post-doctoral grant to work in the Department of PhilosophyStockholm University. My project funded by the Swedish Research Council was devoted to language comprehension. I was involved in an experimental work, computational modeling and philosophical analysis in a collaboration with Peter Pagin. From Sweden, I went back to the Netherlands to join Rineke Verbrugge's NWO Vici project 'Cognitive systems in interaction: Logical and computational models of higher-order social cognition' in the the Institute of Artificial Intelligence and Cognitive Engineering of the University of Groningen. In the project I have developed an interest in the cognitive and computational constraints on social interaction. 


  • Jakub Szymanik. Quantifiers and Cognition. Logical and Computational Perspectives, Studies in Linguistics and Philosophy, Springer, forthcoming.



  • Iris van de Pol, Iris van Rooij, Jakub Szymanik. Parametrized complexity results for a  model of Theory of Mind based on Dynamic Epistemic Logic, Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge, R. Ramanujam (Ed.), 2015, pp. 239-248.
  • Gert-Jan Munneke and Jakub Szymanik. A non-monotonic extension of universal moral grammar theory, Proceedings of the 37th Annual Conference of the Cognitive Science Society, 2015.
  • Ronald de Haan and Jakub Szymanik.  A Dichotomy Result for Ramsey Quantifiers, Proceedings of the 22nd Workshop on Logic, Language, Information and Computation, V. de Paiva, R. de Queiroz, L.S. Moss, D. Leivant, A. G. de Oliveira (Eds.), 2015, pp. 69-80.
  • Camilo Thorne and Jakub Szymanik. Semantic Complexity of Quantifiers and Their Distribution in Corpora, Proceedings of the11th International Conference on Computational Semantics, 2015, pp. 64-69.  







  • Nina Gierasimczuk and Jakub Szymanik. Branching quantification vs. two-way quantification, Journal of Semantics, Vol. 26, No. 4, 2009, pp. 329-366.  
  • Jakub Szymanik and Marcin Zajenkowski. Improving methodology of quantifier comprehension experimentsNeuropsychologia, Vol. 47, No. 12, 2009, pp. 2682-2683.  
  • Jakub Szymanik and Marcin Zajenkowski. Understanding quantifiers in language, Proceedings of the 31st Annual Conference of the Cognitive Science Society, N. A. Taatgen and H. van Rijn (Eds.), 2009, pp.1109-1115.   (see also extended journal version in Cognitive Science, 2010)
  • Jakub Szymanik. The computational complexity of quantified reciprocals, Proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes on Artificial Intelligence 5422, P. Bosh, D. Gabelaia, J. Lang (Eds.), Springer, Berlin 2009, pp. 139-152.   (see also extended journal version in Linguistics and Philosophy, 2010)



  • Jakub Szymanik. A comment on a neuroimaging study of natural language quantifier comprehensionNeuropsychologia, Vol. 45, Iss. 9, 2007, pp. 2158-2160.  
  • Jakub Szymanik. Strong Meaning Hypothesis from a computational perspective, Proceedings of the 16th Amsterdam Colloquium, M. Aloni, P. Dekker, F. Roelofsen (Eds.), 2007, Amsterdam, pp. 211-216.   (see also extended journal version in Linguistics and Philosophy, 2010)
  • Marcin Mostowski and Jakub Szymanik. Computational complexity of some Ramsey quantifiers in finite models, The Bulletin of Symbolic Logic, 13, 2007, pp. 281-282.
  • Nina Gierasimczuk and Jakub Szymanik. Hintikka's thesis revisited, The Bulletin of Symbolic Logic, 13 (2007), p. 273. (See the full paper in Journal of Semantics, 2009)
  • Jakub Szymanik. Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym, Studia Semiotyczne 26, 2007, pp. 219-244.   


  • Tadeusz Ciecierski and Jakub Szymanik. O hipotezie Bar-Hillela, Studia Semiotyczne 25, 2004, pp. 201-212.  
  • Jakub Szymanik. Problemy z formą logiczną, Studia Semiotyczne 25, 2004, pp. 187-200.  

Edited Volumes:  

Some Invited Conference Lectures:

 Some Refereed Talks:

Some Seminar Talks:


Master of Logic, University of Amsterdam:

Research Master Brain and Cognitive Science, University of Amsterdam

  • Higher-order Cognitive Functions, 2015. 

North American Summer School in Logic, Language and Information 2014:

European Summer School in Logic, Language and Information, Tübingen 2014:
Eastern Generative Grammar Summer School:
Nordic Spring School in Logic 2013:
European Summer School in Logic, Language, and Information, Ljubljana 2011:

Institute of Artificial Intelligence, University of Groningen:

Department of Philosophy, Stockholm University:

School of Philosophy and Artificial Intelligence, Utrecht University:

Institute of Philosophy, University of Warsaw:

Collegium Invisible:

Recent and Current Academic Activities: