Synthese 187 (2):715-730 (2012)

Brendan Larvor
University of Hertfordshire
It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field
Keywords Informal proof  Mathematical practice  Inferential action  Argumentation theory  Speech-act
Categories (categorize this paper)
DOI 10.1007/s11229-011-0007-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,217
Through your library

References found in this work BETA

Argumentation Schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - Cambridge University Press.
Image and Logic: A Material Culture of Microphysics.Peter Galison (ed.) - 1997 - University of Chicago Press: Chicago.
How Experiments End.Ian Hacking - 1990 - Journal of Philosophy 87 (2):103-106.

View all 56 references / Add more references

Citations of this work BETA

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.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

View all 7 citations / Add more citations

Similar books and articles

Managing Informal Mathematical Knowledge: Techniques From Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
Mathematical Arguments in Context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.


Added to PP index

Total views
95 ( #95,801 of 2,324,928 )

Recent downloads (6 months)
5 ( #174,176 of 2,324,928 )

How can I increase my downloads?


My notes