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.
- Shane Steinert-Threlkeld and Jakub Szymanik. Learnability and Semantic Universals. Forthcoming in Semantics & Pragmatics.
- Iris van de Pol, Iris van Rooij, and Jakub Szymanik. Parameterized complexity of theory of mind reasoning in dynamic epistemic logic. Journal of Logic, Language, and Information, 2018.
Current core group members
ERC Starting Grant, Cognitive Semantics and Quantities
ABC Project Grant, Investigating the dynamics of decision strategies
NCN Opus Grant, Quantifiers in Language: Use and Meaning
NWO Research Gravitation Program Language in Interaction
NWO VENI What makes social interactions hard?