For this session, we will answer the title’s question with the short and sweet: John P. Burgess’s Why I Am Not a Nominalist, a broad overview against various forms of nominalism.

Burgess responds to nominalist attempts to dispense with abstract objects in mathematical and scientific discourse, challenging both instrumentalist and reconstructionist forms of nominalism, among others; arguing that they fail to provide a viable alternative to the standard use of mathematics in science. He maintans that nominalism, rather than Platonism, bears the real “burden of proof”. His critique adresses Goodman, Quine, and Field, among others.

Can we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium marks the retirement of Jaap van Oosten and will be conducted in English.

Invited speakers: Andy Pitts (University of Cambridge), Andrej Bauer (University of Ljubljana), Sebastiaan Terwijn (Radboud University) and Jaap van Oosten (Utrecht University),

To celebrate the birthday of our emeritus professor, Peter van Emde Boas, the ILLC is organizing an event with his former colleagues and coworkers discussing his academic achievements of the last 40 years.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

We regret to announce that the book launch event for Dick de Jongh on Intuitionistic and Provability Logics will be postponed. This decision is due to the very sad developments regarding our missing student, Shengmen Luo. Given the current circumstances, we feel it would be more appropriate to cancel the event for now. The book launch will likely take place in May.

Abstract: In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, on decidability and on the complexity of model checking and satisfiability, and on applications. We focus on open problems and new directions for research.

Do you want to take your research skills to the next level with Deep Learning methods? And have you already made your first acquaintance with Python and the machine learning framework Pytorch? Then this workshop is for you.

Hurray! (Astronomical) spring is almost here! ♡＼(￣▽￣)／♡ Ex Falso is celebrating its arrival with a game night on March 28 (Friday) from 18:00 to 23:00 in room F3.20 (Science Park 107, floor 3). You can take this as a chance to celebrate the end of finals’ week, too. Free snacks and drinks will be provided. If you are a Master of Logic/Logic Year/PhD student, feel free to drop by!

We are organizing a workshop on team semantics and related topics on the occasion of Aleksi Anttila's PhD defence. The speakers include Aleksi Anttila, Ivano Ciardelli, Simone Conti, Matilda Häggblom, Juha Kontinen, Jouko Väänänen, and Haoyu Wang.