From Euclidean geometry to knots and nets

Synthese:1-22 (2017)
  Copy   BIBTEX


This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning.Yacin Hamami & John Mumma - 2013 - Journal of Logic, Language and Information 22 (4):421-448.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
Kant's Philosophy of Geometry.William Mark Goodwin - 2003 - Dissertation, University of California, Berkeley
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.


Added to PP

65 (#255,085)

6 months
18 (#152,709)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Brendan Larvor
University of Hertfordshire

Citations of this work

What are mathematical diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - 2023 - Philosophers' Imprint 23 (1).
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.
Rigour and Intuition.Oliver Tatton-Brown - 2019 - Erkenntnis 86 (6):1757-1781.

View all 9 citations / Add more citations

References found in this work

Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1967 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
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.
Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.

View all 50 references / Add more references