Bridging the gap between argumentation theory and the philosophy of mathematics (Q2271079)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bridging the gap between argumentation theory and the philosophy of mathematics
scientific article

    Statements

    Bridging the gap between argumentation theory and the philosophy of mathematics (English)
    0 references
    0 references
    6 August 2009
    0 references
    The authors argue in the paper 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. They start by discussing \textit{I. Lakatos}' [Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, Cambridge (1976; Zbl 0334.00022)] and then their computational representation of his theory is presented. Further it is shown how Cauchy's proof of Euler's conjecture can be represented. Aspects of Lakatos' method of lemma-incorporation are discussed. Some connections between Haggith's argumentation structures and Lakatos' methods are outlined.
    0 references
    Lakatos
    0 references
    argumentation
    0 references
    philosophy of mathematics
    0 references
    computational model
    0 references
    theory refinement
    0 references
    0 references
    0 references

    Identifiers