Mathematics is on the brink of exciting and disruptive change. Recent developments in automatic formalisation (transforming human-readable proofs into machine-checkable proofs) open the door to rapid mathematical verification and exploration. How does this impact our work? Through examples of my own and others, I will discuss capabilities of current AI/formalisation tools (tools that *you* can use, "off the shelf", right now) in the context of mathematical research, and the challenges and opportunities this presents. 

Abstract: In this talk, I will investigate a novel reading of Frege's proof of referentiality (and its failure) based on so-called generic generality. First, I will explain what the latter amounts to, and, secondly, I will motivate why it is apt to capture Frege's conception of quantification. I will then compare the reading of Frege's proof of referentiality in terms of generic generality to its traditional readings. Finally, I will comment on a few consequences of applying generic generality to Frege's conception of quantification.

In this session, we will explore the challenges of defining, labeling, and reasoning about abstract concepts themselves in relation to AI applications. Presenters will examine how AI systems attempt to identify ideas in image and video data, highlighting the limits of current computational approaches and the ways disciplinary perspectives shape these understandings. By bringing together insights from cultural data analysis, computer vision, and video understanding, the session invites a reflection on how abstract concepts are operationalized, translated, and negotiated across domains.

Spring is near, the sun has appeared! Join your fellow MoL students for a spring cleaning party: eat snacks, have drinks, and jam out to music while cleaning up our shared spaces.

March 14 is NL Doet, a national day of volunteering and service. Everybody does something special to make our world a little better. So with all the hours we spend studying and hanging out in the ILLC, we might as well make it a nicer place to be!

And in return for our good efforts, perhaps the common room dishes will come back from vacation…

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.

See the announcement for the next talk in the link below. 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.

For this session, our dear classmate Edoardo will tell us all about Martin-Löf’s impact on the philosophy of math and logic. There is no specific text of focus; but those wanting to come extra-prepared can read Per Martin-Löf’s On the Meanings of the Logical Constants and the Justifications of the Logical Laws for some background on the central topics he will touch on.