About

Welcome to my website! (Currently under construction.) I’m an assistant professor at the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich.

My research and teaching is on the mathematical and philosophical foundations of artificial intelligence.

I’m also interested in related disciplines like theoretical computer science, dynamical systems theory, mathematical logic, philosophical logic, philosophy of language, and epistemology.

CV

Before coming to Munich, I was a postdoctoral researcher 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.

Research

Selected publications

• P. Hawke, L. Hornischer, and F. Berto. Truth, Topicality, and Transparency: One-Component Versus Two-Component Semantics. Forthcoming in Linguistics and Philosophy.
• F. Berto and L. Hornischer. Cognitive synonymy: a dead parrot? (2023). Philosophical Studies 180, pp. 2727-2752.DOI
• Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation (2021). PhD Dissertation. University of Amsterdam, Institute for Logic, Language and Computation.
• The Logic of Information in State Spaces (2021). The Review of Symbolic Logic 14.1, pages 155-186. DOI PDF
• Logics of Synonymy (2020). Journal of Philosophical Logic 49, pages 767-805. DOI
• Toward a Logic for Neural Networks (2019). In: I. Sedlár, & M. Blicha (Eds.), The Logica Yearbook 2018, pages 133–148, London: College Publications.

Selected talks

• Colloquium Logicum 2022 of the DVMLG (University of Konstanz). Dynamical Systems via Domains: Semantics for Non-symbolic Computation. 26–28 September 2022.
• Applied Category Theory Conference 2022 (University of Strathclyde, Glasgow, Scotland). Dynamical Systems via Domains (distinguished presentation). 18–22 July 2022. Slides and video recording.
• University of Amsterdam. The ILLC Colloquium. Logic in Explainable AI. 10 June 2022.
• University of Amsterdam. Meaning, Logic, and Cognition (MLC) Seminar. Stability: Fitch’s lemma and AI-safety. 13 May 2022.
• University of St Andrews, Arché. Metaphysics & Logic Seminar. The Structure of Hyperintensionality. 20 April 2020. (Online.)
• LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. Logics of Synonymy. 5 December 2019.
• University of Amsterdam, ILLC. Logic of Conceivability Seminar. Stability: A novel interpretation of Fitch’s lemma. 2 October 2019.
• University of Vienna, Gödel’s Legacy Conference. Stability of foundational concepts: Gödelian arguments from general relativity. 25–27 July 2019.
• Utrecht University, Department of Philosophy and Religious Studies. TULIPS. Analyzing the Behavior of Transition Systems. 2 April 2019.
• University of Amsterdam, ILLC. Algebra/Coalgebra Seminar. Trajectory domains: analyzing the behavior of transition systems. 13 March 2019.
• University of Oxford, Department of Computer Science. OASIS: The Oxford Advanced Seminar on Informatic Structures. Trajectory domains: describing the behavior of computing systems. 30 November 2018.
• LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. HYPE, Information, and Dynamical Systems. 8 November 2018.
• Czech Academy of Sciences, Prague. Machine learning and explanation in cognitive science. Towards a domain-theoretic framework for describing the behavior of neural networks. 15 October 2018.
• LOGICA 2018, Hejnice monastery. A Logic of State Spaces. 18-22 June 2018.
• University of Amsterdam, ILLC. Logic of Conceivability Seminar. Logics of Synonymy. 21 February 2018.
• Ghent University, Centre for Logic and Philosophy of Science. Hyperintensional Logics and Truthmaker Semantics. Logics of Synonymy. 15 December 2017.

Teaching

• Advanced Topics in the Foundations of AI. LMU Munich. Research seminar for master’s students. Summer 2023, summer 2024.
• Philosophy and Theory of Artificial Intelligence. LMU Munich. Research seminar for master’s students. Winter 2023/24.
• Philosophical Logic. LMU Munich. Research seminar for master’s students. Summer 2024, summer 2023.

• Duality Theory: Connecting Logic, Algebra, and Topology. LMU Munich. Research seminar for master’s students. Winter 2023/24.

• Rationality, Cognition and Reasoning. University of Amsterdam. Research seminar for master’s students. Spring 2022.
• Philosophy and AI. University of Amsterdam. Lecture for 3rd-year bachelor students of the AI programme. Spring 2022.

• Philosophical Logic. University of Amsterdam. Research seminar for master’s students. Fall 2022, fall 2021.

• Kant, Logic, and AI. University of Amsterdam. With Michiel van Lambalgen. Spring 2021, spring 2020, spring 2018.
• Time. University of Amsterdam. With Michiel van Lambalgen. Lectures on philosophy of time and relativity theory. Spring 2021, spring 2020, spring 2019, spring 2018.
• Rationality, Cognition and Reasoning. University of Amsterdam. With Michiel van Lambalgen. Fall 2020, fall 2019, fall 2017.

• Logic Programming and Learning. University of Amsterdam. With Ronald de Haan. June 2019.

• MasterClass Logic. University of Amsterdam, ILLC. Teaching (mathematical) logic to secondary school students and supervising their projects. 2017.

Contact

I’m happy to get in touch! Just write me an email: first name DOT last name AT lmu DOT de

Room 123

Ludwigstr. 31

80539 München

Germany