Dictionary entries on logic

I contributed two synopsis articles to Daniel Gutzmann, Katharina Turgay, and Ede Zimmermann’s Wörterbuch zur Sprach- und Kommunikationswissenschaft: Semantik und Pragmatik (in German). One is on Logic in general, the other one summarizes the basics of Propositional logic. Currently, they seem to be open access, so feel free to have a look.

GAP.12 Colloquium “Tarskian Themes in Language and Logic”

Together with Sebastian Speitel, I am organizing a colloquium on "Tarskian Themes in Language and Logic" for the upcoming GAP.12 conference, to be held from 8 to 11 September 2025 in Düsseldorf. We have an exciting list of speakers – more to come soon! For now, here's the proposal text: Alfred Tarski’s work on logic, … Continue reading GAP.12 Colloquium “Tarskian Themes in Language and Logic”

OZSW Symposium on logical philosophy

Together with Colin Caret and Sebastian Speitel, I will present some new work on invariance in non-classical logic at this year's OZSW conference in Eindhoven this August. This will be my first OZSW conference and I'm excited to find out what it's like. The other talks will be given by Rachel Boddy and and Johannes … Continue reading OZSW Symposium on logical philosophy

Some philosophy of logic talks

I'm planning to present some of the things I've been working on over the past few months at the James Madison University in Virginia and the University of Bonn in April and June this year. The main theme will be logical pluralism but I'll also think some more about methodological questions and their relation to … Continue reading Some philosophy of logic talks

New Research Project: Logical normativity and logical reasoning in AI systems

Natasha Alechina, Colin Caret, and yours truly recently initiated a collaborative research project on logical normativity and logical reasoning in (logic-based) AI systems. We’re happy to have received a small grant of the focus area “Human-centered Artificial Intelligence (HAI)” here at Utrecht University, which we initially planned to use for a kick-off workshop in Utrecht. … Continue reading New Research Project: Logical normativity and logical reasoning in AI systems