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