Erkenntnis 86 (6):1783-1802 (2021)
AbstractCriteria of acceptability for mathematical proofs are field-dependent. 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 co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses.
Similar books and articles
An Inquiry Into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2015 - In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-336.
Proof, Rigour and Informality : A Virtue Account of Mathematical Knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
On Wittgenstein's Notion of the Objectivity of Mathematical Proofs.Martha Alicia Trevino-Tarango - unknown
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Prototype Proofs in Type Theory.Giuseppe Longo - 2000 - Mathematical Logic Quarterly 46 (2):257-266.
Mathematical Intuition: Phenomenology and Mathematical Knowledge.Richard L. TIESZEN - 1993 - Studia Logica 52 (3):484-486.
Added to PP
Historical graph of downloads
Citations of this work
Intersubjective Propositional Justification.Silvia De Toffoli - forthcoming - In Luis R. G. Oliveira & Paul Silva Jr (eds.), Propositional and Doxastic Justification. Routledge.
References found in this work
Mathematical Knowledge and the Interplay of Practices.José Ferreirós - 2015 - Princeton, USA: Princeton University Press.
Proofs and Refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.Silvia de Toffoli - 2017 - Review of Symbolic Logic 10 (1):158-186.