Bridging the gap between argumentation theory and the philosophy of mathematics

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)


    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.
    Original languageEnglish
    Title of host publicationThe argument of mathematics
    EditorsAndrew Aberdein, Ian J. Dove
    Place of PublicationDordrecht
    Number of pages29
    ISBN (Electronic)9789400765344
    ISBN (Print)9789400765337
    Publication statusPublished - 2013

    Publication series

    NameLogic, Epistemology, and the Unity of Science


    Dive into the research topics of 'Bridging the gap between argumentation theory and the philosophy of mathematics'. Together they form a unique fingerprint.

    Cite this