Institute for Logic, Language and Computation

Welcome to the Institute for Logic, Language and Computation, a research institute in the interdisciplinary area between mathematics, linguistics, computer science, philosophy and artificial intelligence.

Dr. Luca IncurvatiAssistant Professor in Logic.

'In the study of human language and the logical codification of arguments, assertion has taken centre stage. But only by giving rejection its due can we explain how meaning emerges from our linguistic interactions and inferential practices.'


Research at the Institute for Logic, Language and Computation is organized into three core programmes.


Members of the ILLC are involved in many courses and teaching programs, at all levels.

  • 2illc_header_2012.jpg

    Logic and Language

    Logic and Language (LoLa) is a broad research programme in logic and the philosophy of language, at the boundaries with linguistics and cognitive science.  We investigate human reasoning and the interpretation of language, and view interpretation as a dynamic, cognitive process that is embedded in both social practices and the external environment.

  • 11524738444526.jpg

    Logic and Computation

    The Logic and Computation group (LoCo) investigates a wide range of foundational issues in mathematics and computer science, in the tradition of Brouwer, Heyting, and Beth. Our research includes classical areas of mathematical logic and the foundations of mathematics, and fundamental problems in algorithmics and computational complexity, but we also venture into new fields such as quantum computing and coalgebra. At the interface with other disciplines, we study the dynamics of interaction in groups of agents and problems of social choice.

  • plm_header.jpg

    Language and Computation

    Language and Computation (LaCo) is a programme concerned with computational models of human information processing, especially natural language and music. We develop computational methods that are cognitively plausible as well as practically useful. An important focus is the development of corpus-based methods for natural language processing. We also work on Information Retrieval and Question Answering, on models of linguistic processes in pragmatics and discourse and on the cognitive mechanisms underlying musicality.

  • 11illc_header_2012.jpg

    Master of Logic

    The MSc in Logic is an international and interdisciplinary Master's degree offered by the University of Amsterdam. It is organized as part of the Graduate Programme in Logic (GPiL) by the Institute for Logic, Language and Computation (ILLC). The Graduate Programme offers courses and research training in foundations of mathematical and philosophical logic, and their applications in computer science, linguistics, and cognitive science.

  • 1illc_header_2012.jpg

    PhD Programme

    The ILLC PhD programme, organised by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a four-year programme designed to support and guide PhD candidates in their track to become highly qualified scientific researchers in the areas described by the institute's research mission. PhD candidates are given the opportunity to benefit from a rich scientific programme as well as a tailor-made transferable-skills programme.