Research Online

Logo

Goldsmiths - University of London

Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics

Pease, Alison; Smaill, Alan; Colton, Simon and Lee, John. 2009. Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics. Foundations of Science, 14(1/2), pp. 111-135. ISSN 1233-1821 [Article]

No full text available

Abstract or Description

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.

Item Type:

Article

Identification Number (DOI):

https://doi.org/10.1007/s10699-008-9150-y

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
March 2009Published

Item ID:

9178

Date Deposited:

18 Oct 2013 13:57

Last Modified:

20 Jun 2017 09:53

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

http://research.gold.ac.uk/id/eprint/9178

Edit Record Edit Record (login required)