Levin Hornischer

Assistant professor
MCMP, LMU Munich
Ludwigstr. 31 (room 123)
80539 Munich
Germany
Welcome to my website! I’m an assistant professor at the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich.
My research and teaching is mostly on the mathematical and philosophical foundations of artificial intelligence.
I’m also interested in related disciplines such as theoretical computer science, dynamical systems theory, mathematical logic, philosophical logic, philosophy of language, and epistemology.
Before coming to Munich, I was a postdoc at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. There, I also obtained my PhD with a dissertation on Dynamical Systems via Domains, supervised by Michiel van Lambalgen (Amsterdam) and Franz Berto (St Andrews). The project was funded by my NWO grant on Foundations of Analogical Thinking.
news
Mar 05, 2025 | Shawn Standefer (National Taiwan University) and I have been awarded funding from the NTU-LMU Joint Seed Funding for the project “Synonomy in AI”. The project is about bridging Large Language Models and Formal Semantics, focusing on the concept of synonymy. Very much looking forward to it! |
---|---|
Jan 29, 2025 | A new paper with Franz Berto is forthcoming in Mind: The Logic of Dynamical Systems Is Relevant. |
Oct 22, 2024 | A new preprint together with Zoi Terzopoulou is out now: it is about Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. |
Oct 08, 2024 | My paper ‘Iterating Both and Neither: With Applications to the Paradoxes’ got accepted at the Notre Dame Journal of Formal Logic. |
Aug 05, 2024 | Thomas Icard and I talked about our IAS fellowship and the Logic and AI project in this video. |
latest posts
Sep 01, 2024 | How Random Is the Random Graph? |
---|---|
May 31, 2024 | The No-Free-Lunch Theorem and Sheaf-Contextuality |
May 18, 2024 | Welcome! |