-
51Introduction to the Special Issue on Lakatos’ Undone WorkKriterion – Journal of Philosophy 36 (2): 113-122. 2022.We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, which gave…Read more
-
583The New Collection 2021: New Perspectives (edited book)New College MCR. 2022.The New Collection is a peer-reviewed interdisciplinary academic journal published by the Middle Common Room of New College, University of Oxford.
-
362Embedding Classical Logic in S4Dissertation, Munich Center for Mathematical Philosophy (MCMP), LMU Munich. 2019.In this thesis, we will study the embedding of classical first-order logic in first-order S4, which is based on the translation originally introduced in Fitting (1970). The initial main part is dedicated to a detailed model-theoretic proof of the soundness of the embedding. This will follow the proof sketch in Fitting (1970). We will then outline a proof procedure for a proof-theoretic replication of the soundness result. Afterwards, a potential proof of faithfulness of the embedding, read in te…Read more
-
353A Defence of the Notion of ‘Foundedness’ in Carnap’s AufbauThe New Collection 14 68-87. 2020.In Der logische Aufbau der Welt, first published in 1928, Carnap aims to rationally reconstruct all objects of cognition by logico-definitional means. As a result, he intends to obtain a fully objective framework in which scientific discourse can take place. This is made possible by the novel method of ‘purely structural definite description’ of all scientifically relevant objects, which is first introduced in the Aufbau. Key to the attainment of this goal is the notion of ‘foundedness’, which C…Read more
-
282Lakatos' Undone Work: The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science_ - Introduction to the Special Issue on _Lakatos’ Undone WorkKriterion - Journal of Philosophy 36 1-10. 2022.We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, which gave …Read more
St Andrews, FIfe, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Formal Philosophy |
Logic and Philosophy of Logic |
Formal Semantics |