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

    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.
    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
    Publication statusPublished - 2013

    Publication series

    NameLogic, Epistemology, and the Unity of Science
    PublisherSpringer
    Volume30

    Fingerprint

    Argumentation Theory
    Philosophy of Mathematics
    Computational
    Computational Model
    Mathematics
    Lakatos
    Argumentation

    Cite this

    Pease, A., Smaill, A., Colton, S., & Lee, J. (2013). Bridging the gap between argumentation theory and the philosophy of mathematics. In A. Aberdein, & I. J. Dove (Eds.), 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
    Pease, Alison ; Smaill, Alan ; Colton, Simon ; Lee, John. / Bridging the gap between argumentation theory and the philosophy of mathematics. The argument of mathematics. editor / Andrew Aberdein ; Ian J. Dove. Dordrecht : Springer , 2013. pp. 309-338 (Logic, Epistemology, and the Unity of Science).
    @inbook{5313ce2eff9f4fcc893d276f2097d3b0,
    title = "Bridging the gap between argumentation theory and the philosophy of mathematics",
    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.",
    author = "Alison Pease and Alan Smaill and Simon Colton and John Lee",
    year = "2013",
    doi = "10.1007/978-94-007-6534-4_16",
    language = "English",
    isbn = "9789400765337",
    series = "Logic, Epistemology, and the Unity of Science",
    publisher = "Springer",
    pages = "309--338",
    editor = "Andrew Aberdein and Dove, {Ian J.}",
    booktitle = "The argument of mathematics",

    }

    Pease, A, Smaill, A, Colton, S & Lee, J 2013, Bridging the gap between argumentation theory and the philosophy of mathematics. in A Aberdein & IJ Dove (eds), 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.

    The argument of mathematics. ed. / Andrew Aberdein; Ian J. Dove. Dordrecht : Springer , 2013. p. 309-338 (Logic, Epistemology, and the Unity of Science; Vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    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 -

    Pease A, Smaill A, Colton S, Lee J. Bridging the gap between argumentation theory and the philosophy of mathematics. In Aberdein A, Dove IJ, editors, The argument of mathematics. Dordrecht: Springer . 2013. p. 309-338. (Logic, Epistemology, and the Unity of Science). https://doi.org/10.1007/978-94-007-6534-4_16