Tessera
Folgen

Levin Hornischer

@levinhornischer.bsky.social

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/

11 Posts244 Follower151 Folgt
Levin Hornischer@levinhornischer.bsky.social · last wk.

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! 🥳

Munich Center for Mathematical Philosophy@lmu-mcmp.bsky.social · last wk.

We had a wonderful 2026 Summer School for Widening Participation in Mathematical Philosophy at @lmu.de! Many thanks to the terrific participants from all over the world and to the fantastic lecturers Dunja Šešelja [Bochum], Xueyin (Snow) Zhang [Berkeley], and @sabinaleonelli.bsky.social [@tum.de]!

Levin Hornischer@levinhornischer.bsky.social · 7mo ago

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

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

link.springer.com

Munich Center for Mathematical Philosophy@lmu-mcmp.bsky.social · 9mo ago

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

philosophie.lmu.de

Levin Hornischer@levinhornischer.bsky.social · 10mo ago

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

Levin Hornischer@levinhornischer.bsky.social · last yr.

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!

Munich Center for Mathematical Philosophy@lmu-mcmp.bsky.social · last yr.

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

Levin Hornischer@levinhornischer.bsky.social · 2y ago

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!

Franz Berto@franzberto.bsky.social · 2y ago

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