These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
<< January 2021 | ||||||
---|---|---|---|---|---|---|
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
1
|
2
|
|||||
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
31
|
6 January 2021, Algebra|Coalgebra Seminar, Jason Parker
9 January 2021, Philosophy of Mathematics (Φ-Math) Reading Group
12 January 2021, The Utrecht Logic in Progress Series (TULIPS), Raheleh Jalali
This talk will take place in Microsoft Teams. Please contact the organizers in order to be added to the TULIPS 'team'.
14 January 2021, Logic and Interactive Rationality (LIRa), Brian Logan
14 January 2021, World-Logic-Day Lecture, Moshe Vardi
Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.
The talk is part of a series of World Logic Day events and is aimed at a general audience.
The talk is now available online at https://www.youtube.com/watch?v=wOQuW6QFdos&feature=youtu.be
15 January 2021, Philosophy of Mathematics (Φ-Math) Book Presentation
Our Philosophy of Mathematics Reading Group has the honor to start 2021 by hosting Luca Incruvati presenting his 2020 book 'Conceptions of Set and the Foundations of Mathematics' published by the Cambridge University Press. The book is accessible from the UvA Library.
Book Summary: Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.
20 January 2021, Proof Theory Virtual Seminar, Georg Moser
21 January 2021, Logic and Interactive Rationality (LIRa), Rafał Gruszczyński
22 January 2021, Philosophy of Mathematics (Φ-Math) Reading Group
26 January 2021, BIAS project meeting, Prachi Solanki
Abstract:
A stereotype is a generalization about a class of people but does not necessarily represent every individual with the group (McCauley, Stitt, & Segal, 1980). Category information (i.e., stereotype information) is often used to make probabilistic predictions about people within a particular group. For instance, a probabilistic judgement about Germans would be that, “Germans are more likely than other people to be efficient.” Here we are making a prediction about an individual’s personality (i.e., efficiency) based on their group membership (i.e., German). McCauley and Stitt (1978) suggest that people are accurately Bayesian in their judgements and tend to make probabilistic judgements about people’s personality based on stereotype information. The current project aims to replicate the original McCauley and Stitt (1978) work to test whether stereotype prediction from category information to personality adheres to Bayes’ rule.
26 January 2021, The Utrecht Logic in Progress Series (TULIPS), Francesca Poggiolesi
This talk will take place online in MS Teams, please contact the organizers for more information.