Institute for Logic, Language and Computation
Department of Philosophy
Amsterdam Brain and Cognition
University of Amsterdam
Science Park 107
P.O. Box 94242
1098 XG Amsterdam
Jakub.Szymanik at gmail.com
J.K.Szymanik at uva.nl
[ Research | Bio | Publications | Talks | Teaching | Activities | CV | Calendar | Twitter ]
I got awarded ERC Starting Grant for developing cognitive semantics of generalized quantifiers.
Book Quantifiers and Cognition. Logical and Computational Perspectives, Studies in Linguistics and Philosophy, Springer, 2016.
Quantifiers & Cognition. Logical and Computational Approaches, course at ESSLLI 2017 in Toulouse.
2016 PCs: CogSci, SALT, NeSy, LACL, PiL, ESSLLI StuS, PRW, JELIA'16
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 Benthem, Marcin 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 Program, Utrecht University and consulting for company SpeechConcept in machine translation. Next, I got a post-doctoral grant to work in the Department of Philosophy, Stockholm 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.
- Fangzhou Zhai, Jakub Szymanik and Ivan Titov. Toward a probabilistic mental logic for the syllogistic fragment of natural language, Proceedings of the 20th Amsterdam Colloquium, T. Brochhagen, F. Roelofsen, N. Theiler (Eds.), 2015, pp. 468-477.
- 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.
- 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, 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.
- 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.
- 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.
- 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.
- Livio Robaldo, Jakub Szymanik and Ben Meijering. On the identification of quantifiers' witness sets, Journal of Logic, Language and Information, Volume 23, Issue 1, 2014, pp. 53-81.
- Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, and Stefan M. Wierda. Computational and algorithmic models of strategies in turn-based games, 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. 1778-1783.
- 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.
- Marcin Zajenkowski, Maria Garraffa, and Jakub Szymanik. Working memory mechanism in proportional quantifier verification, Journal of Psycholinguistic Research, Vol. 43, Issue 6, 2014, pp. 839-853.
- Cédric Dégremont, Lena Kurzen and Jakub Szymanik. Exploring tractability border in epistemic tasks, Synthese, Vol. 191, Issue 3, 2014, pp. 371-408.
- 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
- 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 perspective, Intelligence. A Multidisciplinary Journal, Vol. 41 (5), 2013, pp. 456–466.
- Jakub Szymanik and Marcin Zajenkowski. Monotonicity has only a relative effect on the complexity of quantifier verification, Proceedings of the 19th Amsterdam Colloquium. M. Aloni, M. Franke, F. Roelofsen, 2013, pp. 219-225.
- Jakub Szymanik. Backward Induction is PTIME-complete, Proceedings 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.
- 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.
- Jakub Szymanik, Shane Steinert-Threlkeld, Marcin Zajenkowski, and Thomas F. Icard III. Automata and Complexity in Multiple-Quantifier Sentence Verification, Proceedings of the 12th International Conference on Cognitive Modeling, R. West and T. Stewart (Eds.), Ottawa: Carleton University, 2013.
- Jakub Szymanik, Ben Meijering, and Rineke Verbrugge. Using intrinsic complexity of turn-taking games to predict participants' reaction times, Proceedings 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 .
- Marcin Mostowski and Jakub Szymanik. Semantic bounds for everyday language, Semiotica, Vol. 188, Iss. 1/4, 2012, pp. 363-372 .
- Livio Robaldo and Jakub Szymanik. Pragmatic Identification of the Witness Sets, Proceeding of the 8th Conference on Language Resources and Evaluation, N. Calzolari et al. (Eds.), European Language Resources Association, Istanbul 2012.
- 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.
- Jakub Szymanik and Marcin Zajenkowski. Contribution of working memory in the parity and proportional judgments, Belgian Journal of Linguistics, Vol. 25, 2011, pp. 189-206.
- 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.
- 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.
- 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)
- 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.
- 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)
- Oliver Bott, Fabian Schlotterbeck, and Jakub Szymanik. Interpreting 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.
- Jakub Szymanik. Computational complexity of polyadic lifts of generalized quantifiers in natural language, Linguistics and Philosophy, Vol. 33, Iss. 3, 2010, pp. 215-250.
- Jakub Szymanik and Marcin Zajenkowski. Comprehension of simple quantifiers. Empirical evaluation of a computational model, Cognitive Science, 34(3), 2010, pp. 521-532.
- 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.
- 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.
- 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)
- 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 experiments, Neuropsychologia, 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.), Austin, TX: Cognitive Science Society, 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)
- Juha Kontinen and Jakub Szymanik. A remark on collective quantification, Journal of Logic, Language and Information, Vol. 17, No. 2, 2008, pp. 131-140.
- Jakub Szymanik. A comment on a neuroimaging study of natural language quantifier comprehension, Neuropsychologia, 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.
- The Facts Matter. Essays on Logic and Cognition in Honour Of Rineke Verbrugge. (with Sujata Ghosh), College Publications, 2015.
- Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014, Groningen, The Netherlands, August 4th, 2014. Jakub Szymanik and Rineke Verbrugge (eds.), CEUR Workshop Proceedings, Volume 1208, CEUR-WS.org, 2014.
- Special issue of Journal of Logic, Language, and Information on Logic and Cognition. Jakub Szymanik and Rineke Verbrugge (eds.), Vol. 22, Issue 3 and Issue 4, 2013.
- Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012. Jakub Szymanik and Rineke Verbrugge (eds.), CEUR Workshop Proceedings, Volume 883, CEUR-WS.org, 2012.
- Jakub Szymanik. Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language, PhD Thesis, University of Amsterdam, 2009.
Front cover; Back cover; Defense slides
- Book Kognitywistyka. O umyśle umyślnie i nieumyślnie. Jakub Szymanik and Marcin Zajenkowski (eds.), MISH, Warszawa, 2004.
- Book Filozofia wobec nauk szczegółowych. Tadeusz Ciecierski, Lech Nijakowski, and Jakub Szymanik (eds.), MISH, Warszawa, 2002.
- Towards probabilistic mental logic, Bridges 2, Rutgers 2015.
- Ramsey quantifiers, Conference in honor of M. Mostowski's 60th birthday, Warsaw, 2015.
- Exploring complexity of social interactions, Social Dynamics of Information Change, Amsterdam 2013.
- Working memory in language. Complexity predictions in semantic processing, Artificial Grammar Learning: Learnability, Complexity and Meaning, Tübingen 2013.
- Using logic to predict behavior in turn-taking games, Modality and Modalities, Copenhagen 2013.
- Playing Eleusis (with Nina Gierasimczuk), European Summer School in Logic, Language, and Information Student Session , Opole 2012.
- A Tractability Border in Natural Language Semantics, International Conference on Cognitive Modeling 2012 Workshop `Scaling Models of Cognition to the Real World', Berlin 2012.
- Intentional Communication: Computationally Easy or Difficult. A Comment on Robin Clark's "Face, Reputation, and Truth", Lorentz Center Workshop `Modeling Strategic Reasoning', Leiden 2012.
- Generalizing Muddy Children Puzzle, Dagstuhl Seminar Computer Science & Problem Solving: New Foundations, Dagstuhl 2011.
- Logic & Cognition Workshop, `Entia et Nomina' Workshop, Gdańsk 2011.
- Quantifier Verification. Between Computational and Algorithmic Level, 3rd Workshop on Semantic Processing, Logic and Cognition, Tübingen 2011.
- Logic & Cognition. The new psychologism in logic, 7th Conference on Argumentation `Cognition and Argument: An Insight into Real-Life Practice', Warsaw 2011.
- Logic and Cognition, Logic and Philosophy Today, Dehli 2011.
- Complexity, meaning, and quantifiers, Workshop on Vague Quantities and Vague Quantifiers, Berlin 2010.
- Muddy Children Playground, Logic, Rationality and Intelligent Interaction, ESSLLI workshop, Copenhagen 2010.
- Generalized Quantifiers. From Logic to Cognitive Science, Szklarska Poręba Workshop 2010.
- Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model, 2nd Workshop on Semantic Processing, Logic and Cognition, Tübingen 2009.
Some Refereed Talks:
- Toward a probabilistic mental logic for the syllogistic fragment of natural language, 20th Amsterdam Colloquium, Amsterdam 2015.
- Alternative Representations in Proportional Quantifier Verification, Workshop on Linguistic and Cognitive Aspects of Quantification, Budapest, 2015.
- A duality theorem for Ramsey quantifiers, 22nd Workshop on Logic, Language, Computation, and Information, Bloomington, Indiana, 2015.
- Semantic Complexity of Quantifiers and Their Distribution in Corpora, 11th International Conference on Computational Semantics, London, 2015.
- Interaction of monotonicity and truth-values, 19th Amsterdam Colloquium, Amsterdam 2013.
- Using intrinsic complexity of turn-taking games to predict participants' reaction times, 35th Annual Meeting of the Cognitive Science Society, Berlin 2013.
- Invariance Properties of Quantifiers & Multi-agent Information Exchange, 12th Mathematics of Language, Nara 2011.
- A Generalization of the Muddy Children Puzzle, 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen 2011.
- Characterizing Definability of Second-Order Generalized Quantifiers, 18th Workshop on Logic, Language, Information and Computation, Philadelphia 2011.
- Monotonicity in Quantifier Verification, Sinn und Bedeutung 15, Saarbrücken 2010.
- Quantifiers and Working Memory, Amsterdam Colloquium, Amsterdam 2009.
- Almost All Complex Quantifiers are Simple, Eleventh Meeting on Mathematics of Language, Bielefeld 2009.
- Understanding Quantifiers in Language, The Annual Meeting of the Cognitive Science Society, Amsterdam 2009.
- Computational Complexity and the Strong Meaning Hypothesis, 7th International Symposium on Language, Logic and Computation, Tbilisi 2007.
- Computational Complexity of Some Ramsey Quantifiers in Finite Models, Logic Colloqium, Nijmegen 2006.
Some Seminar Talks:
- My (digital) workflow, Lund Postdoc Society, Lund 2015.
- Logical modeling of social cognition, Colloquium of the Institute of Cognitive Science, Osnabruck 2014.
- Semantic Complexity. A case study of collective quantification, Language and Cognition Seminar, Stanford 2014.
- Semantic Complexity and Linguistic Distributions, LEGO, Institute for Logic, Language, and Computation, Amsterdam 2013.
- Computational Complexity in Semantics, Colloquium on Complexity in Language, Amsterdam Center for Logic and Communication, Amsterdam 2013.
- From Logic to Behavior. Modern semantics and complexity theory in cognitive modeling, Munich Center for Mathematical Philosophy, Munich 2013. Also see video recording.
- Quantifier Transformations, Knowledge Representation and Data Base Research Center, Bolzano 2012.
- Complexity of Backward Induction Games, Logic and Interactive Rationality Seminar, Amsterdam 2012.
- Model Transformations, Logic and Interactive Rationality Seminar, Groningen 2011.
- The Complexity of the Sentence-picture Verification, Multi-agent Systems Group Seminar, Groningen 2011.
- Characterizing Definability of Second-order Generalized Quantifiers in Natural Language, The Logic Seminar, Gothenburg 2011.
- Collective Quantification, Type-shifting, and Complexity, Leiden Utrecht Semantic Happening, Utrecht 2009.
Master of Logic, University of Amsterdam:
- Logical Methods in Cognitive Science, 2015, 2016
- Mind-blowing Humanities: Arts, Reasoning, and Computations, 2015
- Computational Complexity in Philosophy & Cognitive Science, 2013
- Interacting Agents Processing Information (with C. Dégremont, N. Gierasimczuk, L. Kurzen), 2009
- Structures for Semantics (with Robert van Rooij), 2008; Lectures on GQT, 2013-2015
Research Master Brain and Cognitive Science, University of Amsterdam
- Higher-order Cognitive Functions, 2015.
North American Summer School in Logic, Language and Information 2014:
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
- 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
Recent and Current Academic Activities: