The Institute for Logic, Language and Computation (ILLC) is a research institute of the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other bein ...

, in which researchers from the Faculty of

Science Science is a systematic endeavor that Scientific method, builds and organizes knowledge in the form of Testability, testable explanations and predictions about the universe. Science may be as old as the human species, and some of the earli ...

and the Faculty of

Humanities Humanities are academic disciplines that study aspects of human society and culture. In the Renaissance, the term contrasted with divinity and referred to what is now called classics, the main area of secular study in universities at th ...

collaborate. The ILLC's central research area is the study of fundamental principles of

encoding In communications and information processing, code is a system of rules to convert information—such as a letter (alphabet), letter, word, sound, image, or gesture—into another form, sometimes data compression, shortened or secrecy, secret ...

transmission Transmission may refer to: Medicine, science and technology * Power transmission ** Electric power transmission ** Propulsion transmission, technology allowing controlled application of power *** Automatic transmission *** Manual transmission ** ...

and

comprehension Comprehension may refer to: * Comprehension (logic), the totality of intensions, that is, properties or qualities, that an object possesses * Comprehension approach, several methodologies of language learning that emphasize understanding languag ...

information Information is an abstract concept that refers to that which has the power to inform. At the most fundamental level information pertains to the interpretation of that which may be sensed. Any natural process that is not completely random, ...

. Emphasis is on

natural Nature, in the broadest sense, is the physical world or universe. "Nature" can refer to the phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. Although humans are ...

and formal languages, but other information carriers, such as images and

music Music is generally defined as the The arts, art of arranging sound to create some combination of Musical form, form, harmony, melody, rhythm or otherwise Musical expression, expressive content. Exact definition of music, definitions of mu ...

, are studied as well. Research at the ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premis ...

, mathematics,

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

computational linguistics Computational linguistics is an Interdisciplinarity, interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions. In general, comput ...

, cognitive science,

artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...

, and philosophy. It is organized in the three groups ''Logic & Computation'' (project leader: Yde Venema), ''Logic & Language'' (project leader: Robert van Rooij), and ''Language & Computation'' (project leader: Jelle Zuidema) united by the key themes ''Explainable and Ethical AI'', ''Interpretable Machine Learning for Natural Language Processing'', ''Cognitive Modelling'', ''Logic, Games and Social Agency'' and ''Quantum Information and Computation''. The ILLC is involved in several international collaborations among which we highlight the Joint Research Centre for Logic (JRC), a special collaborative partnership between

Tsinghua University Tsinghua University (; abbr. THU) is a national public research university in Beijing, China. The university is funded by the Ministry of Education. The university is a member of the C9 League, Double First Class University Plan, Projec ...

and the University of Amsterdam. In addition to its research activities, the ILLC is running the Graduate Programme in Logic with a PhD programme and the MSc in Logic, an international top-ranked and interdisciplinary MSc degree in logic
MSc Logic webpage
. In September 2018, the institute opened the Minor in Logic and Computation, welcoming local and international bachelor students. The programme of the Minor in Logic and Computation consists of 30 EC, chosen from a list of high-profile courses organised according to four themes: Mathematics, Philosophy, Theoretical Computer Science, and Computational Linguistics and AI.

History

The ILLC started off in 1986 as ''Instituut voor Taal, Logica en Informatie'' (ITLI; Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty of Mathematics and

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

and the Faculty of Philosophy, and was joined by computational linguists from the Faculty of Humanities in 1989. In 1991 the institute was officially established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part of the institute. The Applied Logic Lab from the Faculty of Social Sciences was part of the ILLC from 1996 to 2003. Other groups in computer science and cognitive science have associated themselves with the institute in 1996. The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century (including researchers such as L.E.J. Brouwer,

Arend Heyting __NOTOC__ Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a foot ...

, and

Evert Willem Beth Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. He was a member of the Significs Group. Biography Beth was born in Almelo, a small ...

). It considers Beth's ''Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen'' (founded in 1952) as its precursor.

Directors

Members

Other notable members and past members include: * Renate Bartsch *

Harry Buhrman Harry Buhrman (born 1966) is a Dutch computer scientist, currently ''Professor of algorithms, complexity theory, and quantum computing'' at the University of Amsterdam (UvA), group leader of the Quantum Computing Group at the Centrum Wiskunde & I ...

Peter van Emde Boas Peter van Emde Boas (born 3 April 1945, Amsterdam) is a Dutch computer scientist and professor at the University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university ...

* Henkjan Honing *

Luca Incurvati Luca Incurvati is a logician and philosopher, currently an Associate Professor at the Institute for Logic, Language and Computation, University of Amsterdam. Incurvati's research areas include set theory, philosophy of mathematics, philosophy o ...

* Theo Janssen * Dick de Jongh * Michiel van Lambalgen * Benedikt Löwe * Remko Scha *

Anne Troelstra Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a constructivist logici ...

Jouko Väänänen Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland) is a Finnish mathematical logician known for his contributions to set theory,J. VäänänenSecond order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91-121, 2012 ...

Paul Vitányi Paul Michael Béla Vitányi (born 21 July 1944) is a Dutch computer scientist, Professor of Computer Science at the University of Amsterdam and researcher at the Dutch Centrum Wiskunde & Informatica. Biography Vitányi was born in Budapest to a ...

External links

* {{DEFAULTSORT:Logic, Language and Computation, Institute for Research institutes in the Netherlands Cognitive science research institutes Computer science institutes in the Netherlands Logic organizations University of Amsterdam

History

Directors

Members

See also

External links