• LMU Munich
    Munich Center for Mathematical Philosophy
    Marie Curie Postdoctoral Fellow
Areas of Specialization
Science, Logic, and Mathematics
  •  63
    Human-Effective Computability†
    Philosophia Mathematica 27 (1): 61-87. 2018.
    We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church’s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.
  •  65
    This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it canno…Read more
  •  211
    Informal proofs and mathematical rigour
    Studia Logica 96 (2): 261-272. 2010.
    The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability
  •  29
    The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages The early modern period High modern period Early 20th century Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influe…Read more