The dialectical tier of mathematical proof
In Frank Zenker (ed.), Argumentation: Cognition & Community. Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA), May 18--21, 2011. OSSA (2011)
| Abstract | Ralph Johnson argues that mathematical proofs lack a dialectical tier, and thereby do not qualify as arguments. This paper argues that, despite this disavowal, Johnson’s account provides a compelling model of mathematical proof. The illative core of mathematical arguments is held to strict standards of rigour. However, compliance with these standards is itself a matter of argument, and susceptible to challenge. Hence much actual mathematical practice takes place in the dialectical tier. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesQingyin Liang & Yun Xie (2011). How Critical is the Dialectical Tier? Argumentation 25 (2):229-242.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Marianna Antonutti Marfori (2010). Informal Proofs and Mathematical Rigour. Studia Logica 96 (2):261-272.
Uwe Riss (2011). Objects and Processes in Mathematical Practice. Foundations of Science 16 (4):337-351.
Andrew Aberdein (2010). Rationale of the Mathematical Joke. In Alison Pease, Markus Guhe & Alan Smaill (eds.), Proceedings of AISB 2010 Symposium on Mathematical Practice and Cognition. AISB.
Andrew Aberdein (2006). The Informal Logic of Mathematical Proof. In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer-Verlag.
Edwin Coleman (2009). The Surveyability of Long Proofs. Foundations of Science 14 (1-2):27-43.
Ian J. Dove (2009). Towards a Theory of Mathematical Argument. Foundations of Science 14 (1-2):136-152.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-08-05Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
