Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aberdein, A. (2006). The informal logic of mathematical proof. In R. Hersh (Ed.) 18 Unconventional Essays on the Nature of Mathematics, (pp. 56–70). New York: Springer.
Aigner M., Ziegler G. M. (2004) Proofs from the book (3rd ed.). Springer, Berlin
Aspray W., Kitcher P. (1988) History and philosophy of modern mathematics. (Minnesota studies in the philosophy of science, 11). University of Minnesota Press, Minneapolis
Avigad J. (2008) Understanding proofs. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 317–353
Azzouni J. (2006) How and why mathematics is unique as a social practice. In: Hersh R. (eds) 18 Unconventional essays on the nature of mathematics. Springer, New York
Baker A. (2007) Is there a problem of induction for mathematics?. In: Leng M., Paseau M., Potter A. (eds) Mathematical knowledge. Oxford University Press, Oxford
Barwise J. (1989) Computers and mathematics. Notices of the American Mathematical Society 36(7): 844–851
Beardsley Monroe C. (1950) Practical Logic. Prentice-Hall, New Jersey
Buldt B., Löwe B., Müller T. (2008) Towards a new epistemology of mathematics. Erkenntnis 68(3): 309–329
CadwalladerOlsker T. (2011) What do we mean by mathematical proof?. The Journal of Humanistic Mathematics 1(1): 33–60
Carter J. (2010) Diagrams and proofs in analysis. International Studies in the Philosophy of Science 24(1): 1–14
Cellucci C., Gillies D. (2005) Mathematical reasoning and heuristics. King’s College Publications, London
Churchard P., Spring D. (1988) Proper knot theory in open 3-manifolds. Transactions of the American Mathematical Society 308(1): 133–142
Corfield D. (2003) Towards a philosophy of real mathematics. Cambridge University Press, Cambridge
Dawson J. W. Jr. (2006) Why do mathematicians re-prove theorems?. Philosophia Mathematica 14(3): 269–286
Dove I. (2002) Can pictures prove?. Logique et Analyse 179(180): 309–340
Fisher A. (2004) The logic of real arguments; 1st edn 1988 (2nd ed.). Cambridge University Press, Cambridge
Fogelin R. J., Sinnott-Armstrong W. (2001) Understanding arguments (6th ed.). Harcourt College Publishers, San Diego
Galison P. (1987) How Experiments End. Chicago University Press, Chicago
Galison Peter (1997) Image and logic: A material culture of microphysics. Chicago University Press, Chicago
Goethe N., Friend M. (2010) Confronting the ideals of proof with the ways of proving of the research mathematician. Studia Logica 96: 273–288
Gowers W.T. (2007) Mathematics, memory and mental arithmetic. In: Leng M., Paseau A., Potter M. (eds) Mathematical knowledge. Oxford University Press, Oxford
Grosholz E., Breger H. (2000) The Growth of Mathematical Knowledge (Synthese Library, vol 289). Kluwer Academic Publishers, Dordrecht
Grosholz E. (2007) Representation and productive ambiguity in mathematics and the sciences. Oxford University Press, Oxford
Groarke, L. (1999). The pragma-dialectics of visual argument. In F. H. van Eemeren, R. Grootendorst, J. A. Blair & C. A. Willard (Eds), Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation, (pp. 276–280). Amsterdam: Sic Sat.
Hanna G., Jahnke H., Pulte H. (2010) Explanation and proof in mathematics: Philosophical and educational perspectives. Springer, New York, Dordrecht
Hersh, R. (eds) (2006) 18 Unconventional essays on the nature of mathematics. Springer, New York
Hoagland John (1999) Informal logic: The two schools. In: van Eemeren F.H., Grootendorst R., Blair J.A., Willard C.A. (eds) Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation. Sic Sat., Amsterdam, pp 348–352
Johansen M.W. (2010) Embodied strategies in mathematical cognition. In: Löwe B., Müller T. (eds) PhMSAMP Philosophy of mathematics: Sociological aspects and mathematical practices. (Texts in Philosophy 11). College Publications, London, pp 179–196
Jones V.F.R. (1998) A credo of sorts. In: Jones V.F.R., Jones V.F.R. (eds) Truth in mathematics. Oxford University Press, Oxford, pp 203–214
Lakatos I. (1976) Proofs and refutations. In: Worrall J., Zahar E. (eds) The Logic of Mathematical Discovery. CUP, Cambridge
Larvor B. (2010) Syntactic analogies and impossible extensions. In: Löwe B., Müller T. (eds) PhiMSAMP. Philosophy of mathematics: Sociological aspects and mathematical practice (Texts in Philosophy volume 11). College Publications, London
Leng, M., Paseau, A., Potter, M. (eds) (2007) Mathematical knowledge. Oxford University Press, Oxford
Levi Don (2010) Against the logicians. The Philosophers Magazine 51: 80–86
Löwe B., Müller T. (2010) Philosophy of mathematics: Sociological aspects and mathematical practices. College Publications, London
Mac Lane S. (1986) Mathematics: form and function. Springer, Berlin
Mancosu, P. (eds) (2008) The philosophy of mathematical practice. Oxford University Press, Oxford
Manders K. (1995) The euclidean diagram. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 80–133
McLarty C. (2008) What structuralism achieves. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 354–369
Nabonnand P. (2005) Fonder autrement les mathématiques. Special issue of Philosophia Scientiae. Kimé, Paris
Nickel G. (2010) Proof: Some notes on a phenomenon between freedom and enforcement. In: Löwe B., Müller T. (eds) Philosophy of mathematics: Sociological aspects and mathematical practices. College Publications, London, pp 281–291
Pelc A. (2009) Why do we believe theorems?. Philosophia Mathematica 17(1): 84–94
Rav Y. (1999) Why do we prove theorems?. Philosophia Mathematica 7: 5–41
Reed D. (1995) Figures of thought. Routledge, London and New York
Scriven M. (1976) Reasoning. McGraw-Hill, New York
Sossinsky A. (2002) Knots: Mathematics with a twist (Mass.). Harvard University Press, Cambridge
Thurston W.P. (2006) On proof and progress in mathematics. In: Hersh R. (eds) 18 Unconventional essays on the nature of mathematics. Springer, New York, pp 37–55
Tymoczko, T. (1998). New Directions in the philosophy of Mathematics. Basel and Boston, Birkhäuser. Revised and expanded edition in Princeton University Press.
van Eemeren F. H., Grootendorst R. (2004) A systematic theory of argumentation: The pragma-dialectical approach. Cambridge University Press, Cambridge
Van Kerkhove B. (2009) New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Series: Texts in Philosophy 11. World Scientific Publishing Co, London
Van Kerkhove B., Van Bendegem J.-P. (2002) Perspectives on mathematical practices. Logique et Analyse. 45: 179–180
Van Kerkhove B., Van Bendegem J.-P. (2007) Perspectives on mathematical practices: Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Series: Logic, epistemology, and the unity of science, Vol. 5. Springer, Dordrecht
Van Kerkhove B., Van Bendegem J.-P. (2009) Mathematical arguments in context. Foundations of Science 14(1 and 2): 45–57
Walton D., Reed C., Macagno F. (2008) Argumentation schemes. Cambridge University Press, Cambridge
Whitehead A. N., Russell B. (1962) Principia mathematica to *56. Abridgement of 1927 (2nd ed.). Cambridge University Press, Cambridge
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Larvor, B. How to think about informal proofs. Synthese 187, 715–730 (2012). https://doi.org/10.1007/s11229-011-0007-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-0007-5