JAKUB SZYMANIK

Department of Philosophy
Stockholm University
jakub.szymanik at gmail.com

Research:

I am a postdoc researcher at the Department of Philosophy, Stockholm University. Together with Peter Pagin I am working on the research project "A Computational-Empirical Approach to Language Comprehension: Monotonicity, Complexity, and Compositionality" funded by the Swedish Research Council. Before I was briefly teaching at the Artificial Intelligence Programme, Utrecht University and consulting for a company in machine translation. I did my PhD at the Institute for Logic, Language and Computation, Amsterdam University as a fellow in the GloRiClass project "Games and Linguistics"with Johan van Benthem acting as my advisor. Before, I had been studying at the Institute of Philosophy, University of Warsaw under the supervision of Marcin Mostowski, where I obtained my MA.
Downloadable CV.

My research interests include applied logic, cognitive science, mathematical linguistics, complexity theory, psycholinguistics, philosophy, and any combination of these.

Journal Publications:

Jakub Szymanik and Marcin Zajenkowski. Computational Approach to Monotonicity in Sentence-picture Verification, submitted.
Jakub Szymanik. Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language, forthcoming in Linguistics and Philosophy.
Iris van Rooij, Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, and Ivan Toni. Intentional Communication: Computationally Easy or Difficult?, invited paper for a special issue ` Understanding human intentional communication', Frontiers in Human Neuroscience, submitted.
Jakub Szymanik and Marcin Zajenkowski. Contribution of Working Memory in the Parity and Proportional Judgments, submitted.
Alistair Isaac and Jakub Szymanik. Logic in Cognitive Science: Bridging the Gap between Symbolic and Connectionist Paradigms, invited paper for a special issue `Logic and Philosophy Today', Journal of the Indian Council of Philosophical Research, to appear.
Jakub Szymanik and Marcin Zajenkowski. Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model, Cognitive Science, 34(3), 2010, pp. 521-532.
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.
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 Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension, Neuropsychologia, Vol. 45, Iss. 9, 2007, pp. 2158-2160.
Marcin Mostowski and Jakub Szymanik. Semantic bounds for everyday language , ILLC Preprint Series, PP-2006-40, to appear in Semiotica.
Marcin Mostowski and Jakub Szymanik. Computational complexity of some Ramsey quantifiers in finite models, The Bulletin of Symbolic Logic, Vol. 13, 2007, pp. 281-282.
Nina Gierasimczuk and Jakub Szymanik. Hintikka's Thesis revisited, The Bulletin of Symbolic Logic, Vol. 13, 2007, p. 273.
Witold Kieraś and Jakub Szymanik. Czym jest algorytm? O pewnym problemie filozoficznym w podstawach informatyki, Biblioteka Myśli Semiotycznej, in press.
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.

Papers in Proceedings:

Nina Gierasimczuk and Jakub Szymanik. Muddy Children, Generalized Quantifiers and Internal Complexity, submitted.
Jakub Szymanik and Marcin Zajenkowski. Quantifiers and Working Memory, Amsterdam Colloquium 2009, Lecture Notes in Artificial Intelligence 6042, M. Aloni and K. Schulz (Eds.), Springer, 2010, pp. 456-464.
Jakub Szymanik. Almost All Complex Quantifiers are Simple, Mathematics of Language 10/11, Lecture Notes in Computer Science 6149, C. Ebert, G. Jäger, M. Kracht, J. Michaelis (Eds.), 2010, pp. 272-280.
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.
Jakub Szymanik. The Computational Complexity of Quantified Reciprocals, 7th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes on Artificial Intelligence 5422, P. Bosh, D. Gabelaia, J. Lang (Eds.), 2009, pp. 139-152.
Jakub Szymanik. Strong Meaning Hypothesis from a Computational Perspective, Proceedings of the 16th Amsterdam Colloquium, M. Aloni, P. Dekker, F. Roelofsen (Eds.), 2007, pp. 211-216.

Dissertation:

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

Edited Books:

Kognitywistyka. O umyśle umyślnie i nieumyślnie, Jakub Szymanik and Marcin Zajenkowski (eds.), MISH 2004.
Filozofia wobec nauk szczegółowych, Tadeusz Ciecierski, Lech Nijakowski, and Jakub Szymanik (eds.), MISH 2002.

Some Refereed Talks:

Working Memory and Quantifiers, Utterance Interpretation and Cognitive Models III, Brussels 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.
How Complex is Language?, Szklarska Poręba Workshop 2009 on "Learning".
A Remark on Collective Quantification, Szklarska Poręba Workshop 2008 on "Complexity and Language" .
Computational Complexity and the Strong Meaning Hypothesis, 7th International Symposium on Language, Logic and Computation, Tbilisi 2007.
Verifiable Fragments of Language: Everyday Language Quantifiers, Szklarska Poręba Workshop 2007.
The Notion of Computational Complexity in Psycholinguistics. Empirical evidence, European Society for Philosophy and Psychology Annual Meeting, Belfast 2006.
Computational Complexity of Some Ramsey Quantifiers in Finite Models, Logic Colloqium, Nijmegen 2006.
Hintikka's Thesis Revisited, Szklarska Poręba Workshop 2006.
Computational Basis for Natural Language Quantifiers Comprehension, European Society for Psychology and Philosophy Annual Meeting, Lund 2005.
Defining the Meanings of Quantifiers, Prague International Colloquium "Logic, Games and Philosophy: Foundational Perspectives", Prague 2004.
Can Every Indexical Sentence be Translated into Standing Sentence?, Epistemological Controversies, Toruń 2003.

Some Other Talks (including invited lectures):

Muddy Children Playground, Logic, Rationality and Intelligent Interaction, ESSLLI'10 workshop, Copenhagen.
Monotonicity in Quantifier Verification, Department of Linguistics Seminar, Tübingen 2010.
MOST, Seminar on Psycholinguistics and Processing of "most",Tübingen 2010.
Quantifier Processing, Research Seminar in Logic and Language, Tilburg 2010.
Generalized Quantifiers. From Logic to Cognitive Science, Szklarska Poręba Workshop 2010.
Data Complexity of the Quantifier Fragments in Natural Language, GLoRiClass Farewell, Amsterdam 2010.
Collective Quantification, Type-shifting, and Complexity, Leiden Utrecht Semantic Happening, Utrecht 2009.
Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model, 2nd Workshop on Semantic Processing, Logic and Cognition, Tübingen 2009.
Most of the NPs aren't NP-hard, Generalized Quantifiers:Formal Semantics Meets Computation and Cognition, Amsterdam 2009.
Understanding Quantifiers, Theoretical Cognitive Science Group Meeting, Nijmegen 2009.
Complexity of Quantifiers, Computational Linguistics Seminar, Amsterdam 2009.
Quantifiers, Automata and Language Comprehension, Logic Tea, Amsterdam 2008.
Experimenting with some non-Fregean quantifier combinations, Logic, Language, and Reasoning Seminar, Amsterdam 2008.
Computational Insights into Meaning, GLoRiClass Halftime Event, Amsterdam 2008.
Computational Dichotomy between Reciprocals, Games in Logic, Language and Computation 141, Amsterdam 2007.
Modyfikatory typów i kwantyfikacja w języku naturalnym, Warsztaty Logiczne "Logika i kognitywistyka", Szklarska Poręba 2007.
Complexity of Quantifier Meaning, PALMYR 5 "Dynamic Perspectives on Meaning", Paris 2007.
Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych, Forum Kognitywistyczne, Warszawa 2007.
Quantifiers Comprehension. A Comment on Existing Studies and Proposition of the New Experiment, Logic, Language, and Reasoning Seminar, Amsterdam 2007.
Quantifiers, Games and Complexity, Outline of the project for GloRiClass Seminar, Amsterdam 2006.

Teaching:

Introduction to modal logic, Utrech University, AI programme, fall 2009.
Interacting agents processing information (with C. Degremont, N. Gierasimczuk, L. Kurzen), ILLC UvA, fall 2009 (6 ECTS).
Structures for Semantics (with Robert van Rooij), ILLC UvA, spring 2008 (10 ECTS).
Designed project Generalized Quantifiers. Their Complexity and Difficulty, ILLC UvA, January 2007 (6 ECTS).
Logic 2 (Introduction to axiomatic set theory) (lecturer: Marcin Mostowski), Institute of Philosophy, Warsaw University, fall 2006 (5 ECTS, 30h).
Introduction to Computational Complexity, Collegium Invisibile Summer School 2005 (30h).
Tutor the student in the Philosophy and Computability, Collegium Invisibile 2004/2005.
Introduction to Mathematical Linguistics (automata and grammars), Collegium Invisibile Summer School 2003 (30h).
Introduction to the Philosophy of Language, Collegium Invisibile Summer School 2002 (60h).

JAKUB SZYMANIK

Research:

Journal Publications:

Papers in Proceedings:

Dissertation:

Edited Books:

Some Refereed Talks:

Some Other Talks (including invited lectures):

Teaching:

Recent and Current Academic Activities:

Awards:

Hobby:

Some pictures