Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

Drinks will be served afterwards.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

With the Principia Mathematica, Whitehead and Russel famously put forward a type theory as a foundation of mathematics. Since then, events such as the discovery of the Curry-Howard correspondence and the introduction of dependent types have drastically changed the face of type theory. Modern type theories thus give rise to attractive foundations of mathematics which are very different from that of the Principia Mathematica.

The talk will begin with a slightly simplified overview of some of the
inner workings of dependent type theories and their intrinsic logic. This will be followed by a more general discussion of the foundations obtained from such type theories.

The Causal Inference Lab reading group will meet on Monday November 11 at the ILLC to discuss to discuss chapter 7 of Judea Pearl's celebrated book, Causality (https://doi.org/10.1017/CBO9780511803161.009).

Everyone with an interest in causal reasoning is very welcome to attend.

Abstract: Starting from logical patterns in inferences, we broaden our scope to other information-producing actions such as questions and observations. These, too, have valid patterns that can be described using techniques from modern logic. Finally, we discuss the foundational issue of two complementary perspectives on logic: as a description of laws about an unchanging reality, and as a provider of forms of rational social activity.

Reference: Johan van Benthem, 'Fanning the Flames of Reason', & Nieuw Archief voor Wiskunde 5/16:1, 2015, 52–61.

In this lecture I will present findings from cognitive neuroscience that bear on the question of how we get from perception of sound patterns to pleasurable responses. I will first discuss evidence that corticocortical loops from and to the auditory cortex are responsible not only for perceptual processes but also for working memory, sensory-motor, and predictive functions that are essential to produce and perceive music. Then, I will discuss neuroimaging and brain modulation studies from our lab focusing on the dopaminergic reward system, its involvement in musical pleasure, and what happens when that system is disrupted.

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

After a break, we are continuing the Music Cognition Reading Group with an exciting paper to be published in Science next week: Universality and diversity in human song (10.31234/osf.io/emq8r). This is the result of the Natural History of Song project, in which Samuel Mehr and many collegues collected a large sample of audio recordings and ethnographic descriptions of the world's musics. Remarkably, it is the first study to systematically check whether music is indeed present in all cultures (spoiler: it is). And that's just the beginning. The paper goes on to map the variation found in those musics, reporting lots of diversity — and some potential universals...

To find out more, feel free to join. You can bring your lunch, if you like.

Meinong, the founder of object theory, has often been accused of being inconsistent and ontologically unparsimonious, in part because his theory allows for nonexistent and even impossible objects. However, his insights have been used to develop the so-called neo-Meinongian logics, i.e. consistent versions of object theory that can be used as foundations for formal semantics. In this talk, I review the problems with the naive version of object theory and presents the main neo-Meinongian strategies to solve them. I then propose my own neo-Meiongian logic, based the notions of complex property and lambda-abstraction.

On 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!

Humans can perceive, represent and compare quantities that are presented nonsymbolically (e.g., as arrays of objects visually or as a series of tones aurally), as well as quantities that are presented using arbitrary symbols and natural language. In the former case, we can make an approximation of the quantity of elements and compare them. In the latter case, a set of conventions can be learnt to represent the cardinality (e.g., Arabic digits, number words, Roman numerals etc. such as ‘7’ or ’seven’) or a relationship between cardinalities (e.g., quantifiers such as ’many’, ’few’). At this meeting, I will start by giving an overview of the vast amount of research that has been conducted to investigate neural processes underpinning representation and comparison of cardinality of nonsymbolic arrays and number symbols. I will then try to relate this to the research that has been done on quantifiers as another way to symbolically refer to (relationships between) quantities. This is a project in progress, so throughout the presentation, I would like to get your feedback.