### Abstract

Original language | English |
---|---|

Title of host publication | The argument of mathematics |

Editors | Andrew Aberdein, Ian J. Dove |

Place of Publication | Dordrecht |

Publisher | Springer |

Pages | 309-338 |

Number of pages | 29 |

ISBN (Electronic) | 9789400765344 |

ISBN (Print) | 9789400765337 |

DOIs | |

Publication status | Published - 2013 |

### Publication series

Name | Logic, Epistemology, and the Unity of Science |
---|---|

Publisher | Springer |

Volume | 30 |

### Fingerprint

### Cite this

*The argument of mathematics*(pp. 309-338). (Logic, Epistemology, and the Unity of Science; Vol. 30). Dordrecht: Springer . https://doi.org/10.1007/978-94-007-6534-4_16

}

*The argument of mathematics.*Logic, Epistemology, and the Unity of Science, vol. 30, Springer , Dordrecht, pp. 309-338. https://doi.org/10.1007/978-94-007-6534-4_16

**Bridging the gap between argumentation theory and the philosophy of mathematics.** / Pease, Alison (Lead / Corresponding author); Smaill, Alan; Colton, Simon; Lee, John.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Bridging the gap between argumentation theory and the philosophy of mathematics

AU - Pease, Alison

AU - Smaill, Alan

AU - Colton, Simon

AU - Lee, John

PY - 2013

Y1 - 2013

N2 - 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 (Lakatos, 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, which uses work by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods.

AB - 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 (Lakatos, 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, which uses work by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods.

U2 - 10.1007/978-94-007-6534-4_16

DO - 10.1007/978-94-007-6534-4_16

M3 - Chapter

SN - 9789400765337

T3 - Logic, Epistemology, and the Unity of Science

SP - 309

EP - 338

BT - The argument of mathematics

A2 - Aberdein, Andrew

A2 - Dove, Ian J.

PB - Springer

CY - Dordrecht

ER -