Discovery - University of Dundee - Online Publications

Library & Learning Centre

Bridging the gap between argumentation theory and the philosophy of mathematics

Bridging the gap between argumentation theory and the philosophy of mathematics

Research output: Chapter in Book/Report/Conference proceedingChapter

View graph of relations

Authors

  • Alison Pease (Lead / Corresponding author)
  • Alan Smaill
  • Simon Colton
  • John Lee

Research units

Info

Original languageEnglish
Title of host publicationThe argument of mathematics
EditorsAndrew Aberdein, Ian J. Dove
Place of PublicationDordrecht
PublisherSpringer
Pages309-338
Number of pages29
ISBN (Electronic)9789400765344
ISBN (Print)9789400765337
DOIs
StatePublished - 2013

Publication series

NameLogic, Epistemology, and the Unity of Science
PublisherSpringer
Volume30

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 (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.

Documents

DOI

Library & Learning Centre

Contact | Accessibility | Policy