Broadly speaking, the research group is interested in logic, linguistics, cognitive science, complexity theory, philosophy, and any combination of these. We specialize in natural language semantics, esp. generalized quantifiers and reasoning. We aim to integrate formal models with cognitive insights in order to obtain theories which are both explanatory and psychologically plausible. We pay special attention to how various formal measures of complexity can help us to understand difficulty of core cognitive abilities, like language comprehension or reasoning. Our approach is characterized by mixture of formal (logic, computational modeling, simulations) and empirical (neurobehavioral experiments, corpus linguistics) methods.
If you are interested in our most current project and would like to join lab meetings please visit CoSaQ website.
Recent representative papers
- Jakub Szymanik. Quantifiers and Cognition. Logical and Computational Perspectives, Studies in Linguistics and Philosophy, Springer, 2016.
- 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.
- Jakub Szymanik and Camilo Thorne. Exploring the relation between semantic complexity and quantifier distribution in large corpora, Language Sciences, Vol. 60, 2017, pp. 80–93, 2017.
- 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
- Iris van de Pol, Iris van Rooij, and 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.