Bridging the gap between argumentation theory and the philosophy of mathematics

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


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.



    Upload a copy of this work     Papers currently archived: 80,143

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

Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge and London: Cambridge University Press.
Mathematics and argumentation.Andrew Aberdein - 2009 - 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.
PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.


Added to PP

56 (#222,580)

6 months
1 (#477,905)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568.
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

References found in this work

The logic of scientific discovery.Karl Raimund Popper - 1934 - New York: Routledge. Edited by Hutchinson Publishing Group.
The Logic of Scientific Discovery.Karl Popper - 1959 - Studia Logica 9:262-265.
The Logic of Scientific Discovery.K. Popper - 1959 - British Journal for the Philosophy of Science 10 (37):55-57.
The Uses of Argument.Stephen Edelston Toulmin - 1958 - Cambridge, England: Cambridge University Press.
The Uses of Argument.Stephen E. Toulmin - 1958 - Philosophy 34 (130):244-245.

View all 36 references / Add more references