How to think about informal proofs

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


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



    Upload a copy of this work     Papers currently archived: 89,654

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

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.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.


Added to PP

130 (#127,822)

6 months
6 (#200,449)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Brendan Larvor
University of Hertfordshire

References found in this work

Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Image and Logic: A Material Culture of Microphysics.Peter Galison (ed.) - 1997 - University of Chicago Press: Chicago.
Argumentation Schemes.Douglas Walton, Christopher Reed & Fabrizio Macagno - 2008 - Cambridge and New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.

View all 59 references / Add more references