
385Groundwork for a Fallibilist Account of MathematicsPhilosophical Quarterly 122. 2020.According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, wellfunctioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification …Read more

112Reconciling Rigor and IntuitionErkenntnis 120. forthcoming.Criteria of acceptability for mathematical proofs are fielddependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my coauthor and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be…Read more

204Leopardi “Everything Is Evil”In Andrew P. Chignell (ed.), Evil: A History. pp. 351357. 2019.Giacomo Leopardi, a major Italian poet of the nineteenth century, was also an expert in evil to whom Schopenhauer referred as a “spiritual brother.” Leopardi wrote: “Everything is evil. That is to say, everything that is, is evil; that each thing exists is an evil; each thing exists only for an evil end; existence is an evil.” These and other thoughts are collected in the Zibaldone, a massive collage of heterogeneous writings published posthumously. Leopardi’s pessimism assumes a polished form i…Read more

439Envisioning Transformations – The Practice of TopologyIn Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 20122014, Birkhäuser. pp. 2550. 2016.The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp deﬁnition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the pra…Read more

389An Inquiry into the Practice of Proving in LowDimensional TopologyIn Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice, Springer International Publishing. pp. 315336. 2015.The aim of this article is to investigate speciﬁc aspects connected with visualization in the practice of a mathematical subﬁeld: lowdimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in lowdimensional topology, justiﬁcations can be based on sequences of pictures. Three these…Read more

723‘Chasing’ the diagram—the use of visualizations in algebraic reasoningReview of Symbolic Logic 10 (1): 158186. 2017.The aim of this article is to investigate the roles of commutative diagrams (CDs) in a speciﬁc mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It wi…Read more

503Forms and Roles of Diagrams in Knot TheoryErkenntnis 79 (4): 829842. 2014.The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must develop a s…Read more
Princeton, New Jersey, United States of America
Areas of Specialization
Philosophy of Mathematics 
Epistemology 