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 ]

2016 PCs: CogSciSALTNeSy, LACL, PiL, ESSLLI StuS

Course Logical Methods in Cognitive Science this year on cognitive computational modeling

Theories of reasoning: logic and cognition, course at ESSLLI2016NASSLLI2016, and International Rationality Summer Institute

Book Quantifiers and Cognition. Logical and Computational Perspectives, Studies in Linguistics and Philosophy, Springer, 2016.


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, 2016.


  1. Fangzhou Zhai, Jakub Szymanik and Ivan Titov. Toward a probabilistic mental logic for the syllogistic fragment of natural languageProceedings of the 20th Amsterdam Colloquium, T. Brochhagen, F. Roelofsen, N. Theiler (Eds.), 2015, pp. 468-477. 
  2. Shane Steinert-Threlkeld, Gert-Jan Munneke, Jakub Szymanik. Alternative representations in formal semantics: A case study of quantifiers, Proceedings of the 20th Amsterdam Colloquium, T. Brochhagen, F. Roelofsen, N. Theiler (Eds.), 2015, pp. 368-377. 
  3. 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.
  4. 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, Noelle, D. C., Dale, R., Warlaumont, A. S., Yoshimi, J., Matlock, T., Jennings, C. D., & Maglio, P. P. (Eds.), Austin, TX: Cognitive Science Society, 2015, pp. 1667-1672. 
  5. 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. 
  6. 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.   (see also a journal paper in Language Sciences, 2016)
  7. Alistair Isaac, Jakub Szymanik, and Rineke Verbrugge. Logic and complexity in cognitive science, Johan van Benthem on Logical and Informational Dynamics, A. Baltag and S. Smets (Eds.), Outstanding Contributions to Logic, Vol. 5, 2014, pp. 787-824.
  8. Juha Kontinen and Jakub Szymanik. A characterization of definability of second-order generalized quantifiers with applications to non-definability, Journal of Computer and System Sciences, Volume 80, Issue 6, 2014, pp. 1152-1162.  
  9. Livio Robaldo, Jakub Szymanik and Ben Meijering. On the identification of quantifiers' witness setsJournal of Logic, Language and Information, Volume 23, Issue 1, 2014, pp. 53-81 
  10. Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, and Stefan M. Wierda. Computational and algorithmic models of strategies in turn-based gamesProceedings of the 36th Annual Conference of the Cognitive Science Society, P. Bello, M.McShane, M. Guarini, B. Scassellati (Eds.), Quebec City: Cognitive Science Society, 2014, pp. 1778-1783.  
  11. Jakub Dotlačil, Jakub Szymanik, and Marcin Zajenkowski. Probabilistic semantic automata in the verification of quantified statements, Proceedings of the 36th Annual Conference of the Cognitive Science Society, P. Bello, M.McShane, M. Guarini, B. Scassellati (Eds.), Quebec City: Cognitive Science Society, 2014, pp. 2967-2972.  
  12. Marcin Zajenkowski, Maria Garraffa, and Jakub Szymanik. Working memory mechanism in proportional quantifier verificationJournal of Psycholinguistic Research, Vol. 43, Issue 6, 2014, pp. 839-853. 
  13. Cédric Dégremont, Lena Kurzen and Jakub Szymanik. Exploring tractability border in epistemic tasksSynthese, Vol. 191, Issue 3, 2014, pp. 371-408.  
  14. Jakub Szymanik and Rineke Verbrugge. Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop,  Journal of Logic, Language and Information,  Vol. 22, Issue 4, 2013, pp. 357-362  
  15. Marcin Zajenkowski and Jakub Szymanik. Most intelligent people are accurate and some fast people are intelligent. Intelligence, working memory, and semantic processing of quantifiers from a computational perspectiveIntelligence. A Multidisciplinary Journal, Vol. 41 (5), 2013,  pp. 456–466.  
  16. Jakub Szymanik and Marcin Zajenkowski. Monotonicity has only a relative effect on the complexity of quantifier verificationProceedings of the 19th Amsterdam Colloquium. M. Aloni, M. Franke, F. Roelofsen, 2013, pp. 219-225 
  17. Jakub Szymanik. Backward Induction is PTIME-completeProceedings of the Fourth International Workshop on Logic, Rationality, and Interaction.  D. Grossi, O. Roy, H. Huang (Eds.)Lecture Notes in Computer Science, Vol. 8196, 2013, pp. 352-356.  
  18. Jakub Szymanik. Communication and cooperation, Logic Across University: Foundations and Applications - Proceedings of the Tsinghua Logic Conference. J. van Benthem, F. Liu (Eds.), Studies in Logic Vol. 47, College Publications London, 2013, pp. 372-375.  
  19. Jakub Szymanik, Shane Steinert-Threlkeld, Marcin Zajenkowski, and Thomas F. Icard III. Automata and Complexity in Multiple-Quantifier Sentence VerificationProceedings of the 12th International Conference on Cognitive Modeling, R. West and T. Stewart (Eds.), Ottawa: Carleton University, 2013.  
  20. Jakub Szymanik, Ben Meijering, and Rineke Verbrugge. Using intrinsic complexity of turn-taking games to predict participants' reaction timesProceedings of the 35th Annual Conference of the Cognitive Science Society, M. Knauff, M. Pauen, N. Sebanz, I. Wachsmuth (Eds), Austin, TX: Cognitive Science Society, 2013, pp. 1426-1432 .  
  21. Marcin Mostowski and Jakub Szymanik. Semantic bounds for everyday languageSemiotica, Vol. 188, Iss. 1/4, 2012, pp. 363-372 .  
  22. Livio Robaldo and Jakub Szymanik. Pragmatic Identification of the Witness SetsProceeding of the 8th Conference on Language Resources and Evaluation, N. Calzolari et al. (Eds.),  European Language Resources Association, Istanbul 2012.  
  23. Marcin Zajenkowski, Rafał Styła, and Jakub Szymanik. A computational approach to quantifiers as an explanation for some language impairments in schizophrenia, Journal of Communication Disorder, Vol. 44, 2011, pp. 595-600.  
  24. Jakub Szymanik and Marcin Zajenkowski. Contribution of working memory in the parity and proportional judgmentsBelgian Journal of Linguistics, Vol. 25, 2011, pp. 189-206.  
  25. Iris van Rooij, Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, and Ivan Toni. Intentional communication: Computationally easy or difficult?Frontiers in Human Neuroscience, Vol. 5, 2011, pp. 1--18.  
  26. Nina Gierasimczuk and Jakub Szymanik. Invariance properties of quantifiers and multiagent information exchange, Proceedings of 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878, M. Kanazawa, A. Kornai, M. Kracht and H. Seki (Eds.),  2011, Springer, Berlin, pp. 72-89.   
  27. Cédric Dégremont, Lena Kurzen and Jakub Szymanik. On the tractability of comparing informational structures, Proceedings of the Workshop 'Reasoning about Other Minds: Logical and Cognitive Perspectives', J. van Eijck, R. Verbrugge (Eds.), CEUR Workshop Proceedings 751, 2011, pp. 50-64.   (see also extended version in Synthese, 2012)
  28. Nina Gierasimczuk and Jakub Szymanik. A note on a generalization of the Muddy Children Puzzle, Proceedings of the 13th Conference  on Theoretical Aspects of Rationality and Knowledge, K.Apt (Ed.), ACM Digital Library, 2011, pp. 257-264.  
  29. Juha Kontinen and Jakub Szymanik. Characterizing definability of second-order generalized quantifiers, Proceedings of the Workshop on Logic, Language, Information and Computation Lecture Notes in Artificial Intelligence 6642, L. Beklemishev and R. De Queiroz (Eds.), 2011, Springer, Berlin, pp. 187-200.  (see also extended version in Journal of Computer and System Sciences, 2013)
  30. Oliver Bott, Fabian Schlotterbeck, and Jakub SzymanikInterpreting tractable versus intractable reciprocal sentences, Proceedings of the International Conference on Computational Semantics 9, J. Bos and S. Pulman (Eds.), SIGSEM, Oxford, 2011, pp. 75-84.  
  31. Jakub Szymanik. Computational complexity of polyadic lifts of generalized quantifiers in natural language, Linguistics and Philosophy, Vol. 33, Iss. 3, 2010, pp. 215-250.  
  32. Jakub Szymanik and Marcin Zajenkowski. Comprehension of simple quantifiers. Empirical evaluation of a computational modelCognitive Science, 34(3), 2010, pp. 521-532.  
  33. Alistair Isaac and Jakub Szymanik. Logic in cognitive science: Bridging the gap between symbolic and connectionist paradigms, Journal of the Indian Council of Philosophical Research, Vol. XXVII, No 2, 2010, pp. 279-309.   Also reprinted in: A New Survey of Active Directions in Modern Logic. Logic and Philosophy Today,  A. Gupta, J. van Benthem (Eds.), Studies in Logic, Volume 30, College Publications, London, 2011, pp. 275-300.
  34. Jakub Szymanik and Marcin Zajenkowski. Quantifiers and working memory, Proceedings of Amsterdam Colloquium 2009, Lecture Notes in Artificial Intelligence 6042, M. Aloni and K. Schulz (Eds.), Springer, Berlin, 2010, pp. 456-464.  
  35. Jakub Szymanik. Almost all complex quantifiers are simple, Proceedings of the 13th Meeting on Mathematics of Language, Lecture Notes in Computer Science 6149, C. Ebert, G. Jäger, M. Kracht, J. Michaelis (Eds.), Springer, Berlin, 2010, pp. 272-280.   (see also extended journal version in Linguistics and Philosophy, 2010)
  36. Nina Gierasimczuk and Jakub Szymanik. Branching quantification vs. two-way quantification, Journal of Semantics, Vol. 26, No. 4, 2009, pp. 329-366.  
  37. Jakub Szymanik and Marcin Zajenkowski. Improving methodology of quantifier comprehension experimentsNeuropsychologia, Vol. 47, No. 12, 2009, pp. 2682-2683.  
  38. 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.), Austin, TX: Cognitive Science Society, 2009, pp.1109-1115.   (see also extended journal version in Cognitive Science, 2010)
  39. 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)
  40. Juha Kontinen and Jakub Szymanik. A remark on collective quantification, Journal of Logic, Language and Information, Vol. 17, No. 2, 2008, pp. 131-140.  
  41. Jakub Szymanik. A comment on a neuroimaging study of natural language quantifier comprehensionNeuropsychologia, Vol. 45, Iss. 9, 2007, pp. 2158-2160.  
  42. 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)
  43. Marcin Mostowski and Jakub Szymanik. Computational complexity of some Ramsey quantifiers in finite models, The Bulletin of Symbolic Logic, 13, 2007, pp. 281-282.
  44. 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)
  45. Jakub Szymanik. Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym, Studia Semiotyczne 26, 2007, pp. 219-244.   
  46. Tadeusz Ciecierski and Jakub Szymanik. O hipotezie Bar-Hillela, Studia Semiotyczne 25, 2004, pp. 201-212.  
  47. 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:

  • Logic 2 (Introduction to axiomatic set theory) (teaching assistant), 2006

Collegium Invisible:

  • Introduction to Computational Complexity, 2005
  • Tutor in the Philosophy and Computability, 2004/2005
  • Introduction to Mathematical Linguistics, 2003
  • Introduction to the Philosophy of Language, 2002