Levin Hornischer
LightNews LightNews
banner
levinhornischer.bsky.social
Levin Hornischer
@levinhornischer.bsky.social
210 followers 130 following 7 posts
Assistant professor at LMU Munich, MCMP (Munich Center for Mathematical Philosophy). He/him.
Working on: foundations of AI, logic, dynamical systems, semantics, epistemology.
https://levinhornischer.github.io/
Posts Replies Media Videos
Reposted by Levin Hornischer
lmu-mcmp.bsky.social
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...
Master in Logic and Philosophy of Science
Our Master (MA) program in Logic and Philosophy of Science was founded in October 2012. It is an international MA program of the Faculty of Philosophy, Philosophy of Science and Religious Studies at L...
www.philosophie.lmu.de
November 17, 2025 at 9:59 AM
levinhornischer.bsky.social
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
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...
philpapers.org
October 13, 2025 at 10:03 AM
levinhornischer.bsky.social
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.
August 6, 2025 at 5:55 PM
levinhornischer.bsky.social
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!
lmu-mcmp.bsky.social Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · Aug 1
At this year's MCMP Summer School, we had wonderful lectures by Professors Francesca Boccuni (San Raffaele), Hilary Greaves (Oxford), and Alyssa Ney (LMU). Many thanks to our speakers and especially to the fabulous participants from all over the world! www.mathsummer.philosophie.uni-muenchen.de
August 1, 2025 at 9:58 PM
Reposted by Levin Hornischer
franzberto.bsky.social
Take that, Alan!
July 21, 2025 at 1:18 PM
Reposted by Levin Hornischer
franzberto.bsky.social
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
June 26, 2025 at 10:19 AM
Reposted by Levin Hornischer
franzberto.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
May 28, 2025 at 9:02 AM
levinhornischer.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
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.
May 21, 2025 at 7:44 PM
levinhornischer.bsky.social
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.
March 3, 2025 at 1:14 PM
levinhornischer.bsky.social
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!
franzberto.bsky.social Franz Berto @franzberto.bsky.social · Jan 29
Forthcoming in Mind: 'The Logic of Dynamical Systems Is Relevant' - with @levinhornischer.bsky.social
Our only excuse to come up with yet another interpretation for the Routley-Meyer semantics, is that we finally nailed it! (Not that I'm partial). 🙂
Preprint here:
philpapers.org/rec/HORTLO-15
January 29, 2025 at 3:08 PM