iiinova — where your digital self keeps evolving

Levin Hornischer @levinhornischer.bsky.social · 07/08/2026

Thoroughly enjoyed teaching at ESSLLI 2026 on Stone duality! Thanks so much to the wonderful participants & the organizers of this great summer school!🥳 Covered how to translate 'geometric talk' of states to the 'algebraic talk' of what follows from what: levinhornischer.github.io/StoneDuality...

levinhornischer.github.io

Stone Duality

A course given at ESSLLI 2026

060

Levin Hornischer @levinhornischer.bsky.social · 28/07/2026

Proud to have co-organized our summer school with a dream team again 😊 A big thank you to the lecturers and the participants for making this such a nice event! 🥳

072

Levin Hornischer @levinhornischer.bsky.social · 10/03/2026

Still time to apply (⏰March 15): The MCMP organizes again the Summer School for Widening Participation in Mathematical Philosophy (20-24 July 2026). Lectures by Dunja Šešelja [Bochum], Xueyin (Snow) Zhang [Berkeley], and Sabina Leonelli [TUM]. www.mathsummer.philosophie.uni-muenchen.de/index.html

mathsummer.philosophie.uni-muenchen.de

MCMP Summer School for Widening Participation in Mathematical Philosophy - LMU Munich

021

Reposted by Levin Hornischer

Franz Berto @franzberto.bsky.social · 16/01/2026

The updated SEP entry on #Hyperintensionality is online! As the topic has exploded in recent years, might be Daniel and I haven't managed to mention YOUR stuff. Don't be upset: rest assured we've mentioned something intensionally equivalent to that. 😎 plato.stanford.edu/entries/hype...

plato.stanford.edu

Hyperintensionality (Stanford Encyclopedia of Philosophy)

0167

Reposted by Levin Hornischer

Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 19/01/2026

PhD opportunities: The MCMP's Chair of Logic and Philosophy of Language (Prof. Hannes Leitgeb) at @lmumuenchen.bsky.social advertises two PhD positions (deadline 7 Feb 2026). See job-portal.lmu.de/jobposting/5...

job-portal.lmu.de

Doctoral Fellow (m/f/x)

0126

Reposted by Levin Hornischer

Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 19/01/2026

Postdoc opportunities: The MCMP's Chair of Logic and Philosophy of Language (Prof. Hannes Leitgeb) at @lmumuenchen.bsky.social advertises two Postdoc positions (deadline 31 Jan 2026). See job-portal.lmu.de/jobposting/7...

job-portal.lmu.de

Postdoctoral Fellow (m/f/x)

077

Levin Hornischer @levinhornischer.bsky.social · 07/01/2026

New paper in Synthese: 'Robustness and trustworthiness in AI: a no-go result from formal epistemology' ❓When does AI model M, on input x, show behavior φ robustly? 💡In modal logic: M,x⊧□φ ➡️Exposes limit on robustness & trustworthiness link.springer.com/article/10.1... philpapers.org/rec/HORRAT-13

link.springer.com

Robustness and trustworthiness in AI: a no-go result from formal epistemology - Synthese

Synthese - A major issue for the trustworthiness of modern AI-models is their lack of robustness. A notorious example is that putting a small sticker on a stop sign can cause AI-models to classify...

0125

Levin Hornischer @levinhornischer.bsky.social · 05/12/2025

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-...

kurtgoedel.de

Kurt Gödel Award 2025 – Kurt Gödel Freundeskreis

050

Levin Hornischer @levinhornischer.bsky.social · 13/10/2025

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

philpapers.org

Levin Hornischer, Universal Analog Computation: Fraïssé limits of dynamical systems - PhilPapers

Analog computation is an alternative to digital computation, that has recently re-gained prominence, since it includes neural networks. Further important examples are cellular automata and differentia...

030

Levin Hornischer @levinhornischer.bsky.social · 06/08/2025

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

The preferences concerning three alternatives (apple, banana, cherries) of three stylized individuals are fed into a stylized neural network. The network outputs a ranking of the three alternatives as the aggregated preference of the group. It selects the top ranked alternative, in this case the apple. In the bottom right, there are two stylized scientists wondering if this network is 'anonymous', 'biased', and 'cycle-free' in its preference aggregation.

151

Levin Hornischer @levinhornischer.bsky.social · 01/08/2025

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!

031

Reposted by Levin Hornischer

Franz Berto @franzberto.bsky.social · 21/07/2025

Take that, Alan!

041

Reposted by Levin Hornischer

Franz Berto @franzberto.bsky.social · 26/06/2025

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

271

Reposted by Levin Hornischer

Franz Berto @franzberto.bsky.social · 28/05/2025

'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

272

Levin Hornischer @levinhornischer.bsky.social · 21/05/2025

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

Thousands of small dots in 10 different colors on a white background. Dots with the same color form clusters.

A dot represents an input-label pair ('possible world'). Close-by dots are possible worlds that are similar according to the neural network's reasons structure ('internally similar'). The fact that they form monochromatic clusters means that internally similar worlds typically are also externally similar, i.e., have the same label. In this case, there are 10 labels represented by the 10 colors. So the neural network's reasons structure matches that of the world.

042

Levin Hornischer @levinhornischer.bsky.social · 03/03/2025

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

$The algebra of truth values obtained after iterating 'both' and 'neither' two times. It consists of 16 truth values shown as black dots on a white background. Some are connected by solid lines, which indicates that, in the algebra, one is less-or-equal to the other. There is a small text next to each node describing the truth-value. For example, the node closest to the bottom left corner says { {0,1}_n, {0} }_n. This is the following truth value: Neither 'neither true nor false' nor 'false'. The other nodes are variations thereof.$

030

Levin Hornischer @levinhornischer.bsky.social · 29/01/2025

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!

060