Levin Hornischer

my_profile_pic.jpg

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