Bridging the gap between argumentation theory and the philosophy of mathematics

Foundations of Science 14 (1-2):111-135 (2009)

Authors
Abstract
We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods.
Keywords Lakatos  Argumentation  Philosophy of mathematics  Computational model  Theory refinement
Categories (categorize this paper)
DOI 10.1007/s10699-008-9150-y
Options
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: 47,350
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Scientific Discovery.Karl Popper - 1959 - Studia Logica 9:262-265.
Fundamentals of Critical Argumentation.Douglas Walton - 2005 - Cambridge University Press.
The Uses of Argument.Stephen E. Toulmin - 1958 - Cambridge University Press.

View all 26 references / Add more references

Citations of this work BETA

Reasoning About Representations in Autonomous Systems: What Pόlya and Lakatos Have to Say.Alan Bundy - 2012 - In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind. Palgrave-Macmillan. pp. 167.

Add more citations

Similar books and articles

Mathematics and Argumentation.Andrew Aberdein - 2008 - Foundations of Science 14 (1-2):1-8.
Lakatos as Historian of Mathematics.Brendan P. Larvor - 1997 - Philosophia Mathematica 5 (1):42-64.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Observations on Sick Mathematics.Andrew Aberdein - 2010 - In Bart van Kerkhove, Jean Paul van Bendegem & Jonas de Vuyst (eds.), Philosophical Perspectives on Mathematical Practice. College Publications. pp. 269--300.

Analytics

Added to PP index
2009-01-28

Total views
54 ( #165,583 of 2,291,129 )

Recent downloads (6 months)
1 ( #829,891 of 2,291,129 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature