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 | BioPapers | Talks | Teaching | Activities | CV | Calendar | Twitter ]

2015 PCs: CogSci, XPRAG, SALT, LoRI , LQMR'15, PiL2015, NeSy'15

Bridging Logical and Probabilistic Approaches to Language and Cognition, Workshop at ESSLLI 2015

Workshop on Communication and Agency

SMART International Conference


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


  • Camilo Thorne and Jakub Szymanik. Semantic Complexity of Quantifiers and Their Distribution in Corpora, Proceedings of the11th International Conference on Computational Semantics, forthcoming.







  • 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.  

Books and Edited Volumes: 

Some Invited Conference Lectures:

 Some Refereed Talks:

Some Seminar Talks:


Institute for Logic, Language and Computation, University of Amsterdam:

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: