Back from Bamberg, Germany, where I was fortunate to receive a shared second prize in the Gödel Award 2025 for my essay "A Stability Interpretation of Gödel"🙏🎉 I use the principle of stability to make sense of Gödel's realism about mathematics and idealism about time. kurtgoedel.de/kurt-goedel-...

The 2026 application round for the MA in Logic and Philosophy of Science at @lmumuenchen.bsky.social is now open. Please help us spread the word. www.philosophie.lmu.de/en/study/deg...

New preprint: "Universal Analog Computation: Fraïssé limits of dynamical systems" ➡️Via neural nets, analog computation re-gains prominence. ❓It lacks universal machines like digital computation: Can they exist? 💡Using Fraïssé limits from logic, we build universal systems. philpapers.org/rec/HORUAC

New paper in JAIR, with Zoi Terzopoulou: 'Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks' ❓Can neural nets find new voting rules to aggregate preferences? 💡Yes, by optimizing for axioms! jair.org/index.php/ja... philpapers.org/rec/HORLHT

Very happy to have co-organized our summer school with an amazing team 🥳 Thank you to the speakers and participants alike for making this such a nice event!

Take that, Alan!

So currently our paper is the 2nd most read in Mind. This'd be all good and well, if we hadn't been beaten by... Some bloke's 75 year old stuff. 😎 academic.oup.com/mind/advance... @levinhornischer.bsky.social @standrewsphil.bsky.social @oupphilosophy.bsky.social

'The Logic of Dynamical Systems Is Relevant' is out! (Or, How I Stopped Worrying and Learned to Love Relevant Logic Again.) Download here, Open Access of course: academic.oup.com/mind/advance... @levinhornischer.bsky.social @standrewsphil.bsky.social

New preprint, with Hannes Leitgeb @lmu-mcmp.bsky.social: "Explaining Neural Networks with Reasons". ➡️We propose a new faithful and scalable interpretability method for neural networks. 💡Based on a novel mathematico-philosophical theory of reasons. arxiv.org/abs/2505.14424 philpapers.org/rec/HORENN

New paper in Notre Dame J. Formal Logic: 'Iterating Both and Neither: With Applications to the Paradoxes' ❓What if we keep on adding new truth-values 'neither a nor b' and 'both a and b'? ➡️Fun math and fresh ideas for paradoxes! Paper: doi.org/10.1215/0029... Preprint: philpapers.org/rec/HORIBA

It's been great fun working on this with @franzberto.bsky.social! Read on if you like dynamical systems and/or logic 🙂 ❓What's the logic of perturbation conditionals: ➡️ If we perturb the system into a state where A, it will evolve into a state where B. 💡Surprisingly, it's relevant logic!