-
212Informal proofs and mathematical rigourStudia 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
-
65Naturalising Mathematics: A Critical Look at the Quine-Maddy DebateDisputatio 4 (32): 323-342. 2012.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
-
63Human-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.
-
29The History of Philosophical and Formal Logic: From Aristotle to Tarski (edited book)Bloomsbury Publishing. 2017.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
-
19Intensionality in mathematics: problems and prospects: Introduction to the special issueSynthese 198 (Suppl 5): 995-999. 2021.
Marianna Antonutti Marfori
LMU Munich
-
LMU MunichMunich Center for Mathematical PhilosophyMarie Curie Postdoctoral Fellow
Areas of Specialization
Science, Logic, and Mathematics |