Abstract
Informal and formal logic are complementary methods of argument analysis. Informal logic provides a pragmatic treatment of features of argumentation which cannot be reduced to logical form. This paper shows how paying attention to aspects of mathematical argumentation captured by informal, but not formal, logic can offer a more nuanced understanding of mathematical proof and discovery.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jesús Alcolea Banegas, 1998, L’argumentació en matemátiques, in XIIé Congrés Valenciá de Filosofia (E. Casaban i Moya, editor), Valenciá, pp. 135–147.
Kenneth Appel & Wolfgang Haken, 1978, The four colour problem, reprinted 2002 in The philosophy of mathematics: An anthology (D. Jacquette, editor), Blackwell, Oxford, pp. 193–208.
J. Borwein, P. Borwein, R. Girgensohn & S. Parnes, 1995, Experimental mathematics: A discussion, CECM preprint no. 95:032, \underline {http://www.cecm.sfu.ca/preprints/1995pp.html}.
Wayne Brockriede & Douglas Ehninger, 1960, Toulmin on argument: An interpretation and application. Quarterly journal of speech, 46, pp. 44–53.
Winston Churchill, 1937, Great contemporaries, Thornton Butterworth, London
Frans van Eemeren & Rob Grootendorst, 1992, Argumentation, communication and fallacies, Lawrence Erlbaum Associates, Hillsdale, N.J..
Frans van Eemeren, Rob Grootendorst & Tjark Kruiger, 1987, Handbook of argumentation theory: A critical survey of classical backgrounds and modern studies, Foris, Dordrecht
Charles Hamblin, 1970, Fallacies, Methuen, London
Paul Hoffman, 1998, The man who loved only numbers, Fourth Estate, London
Arthur Jaffe & Frank Quinn, 1993, “Theoretical mathematics”: Toward a cultural synthesis of mathematics and theoretical physics, Bulletin of the American Mathematical Society, 29, pp. 1–13
Alfred Kempe, 1879, On the geographical problem of the four colours, American journal of mathematics, 2, pp. 193–200
Donald MacKenzie, 1999, Slaying the Kraken: The sociohistory of a mathematical proof, Social studies of science, 29, pp. 7–60
Susan Newman & Catherine Marshall, 1992, Pushing Toulmin too far: Learning from an argument representation scheme, Xerox PARC technical report no. SSL-92-45, \underline {http://www.csdl.tamu.edu/∼ marshall/toulmin.pdf}
Yehuda Rav, 1999, Why do we prove theorems?, Philosophia Mathematica, 7, pp. 5–41
Gian-Carlo Rota, 1997, The phenomenology of mathematical proof, Synthese, 111, pp. 183–196
Edward Swart, 1980, The philosophical implications of the four-color problem, The American mathematical monthly, 87, pp. 697–707
William Thurston, 1994, On proof and progress in mathematics, Bulletin of the American Mathematical Society, 30, pp. 161–171
Stephen Toulmin, 1958, The uses of argument, Cambridge University Press, Cambridge
Stephen Toulmin, Richard Rieke & Allan Janik, 1979, An introduction to reasoning, Macmillan, London
Thomas Tymoczko, 1979, The four-color problem and its philosophical significance, Journal of philosophy, 76, pp. 57–83
Douglas Walton, 1997, How can logic best be applied to arguments? Logic journal of the IGPL, 5, pp. 603–614
Douglas Walton, 1998, The new dialectic: Conversational contexts of argument, Toronto University Press, Toronto
Douglas Walton & Erik Krabbe, 1995, Commitment in dialogue: Basic concepts of interpersonal reasoning, SUNY Press, Albany, N.Y
Charles Willard, 1976, On the utility s and criticism of arguments, Communication monographs, 43, pp. 308–319
Robin Wilson, 2002, Four colours suffice: How the map problem was solved, Allen Lane, London
Ludwig Wittgenstein, 1953, Philosophical Investigations, Blackwell, Oxford
Doron, Zeilberger, 1993, Theorems for a price: Tomorrow's semi-rigorous mathematical culture, Notices of the American Mathematical Society, 40, pp. 978--981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this chapter
Cite this chapter
Aberdein, A. (2007). The Informal Logic Of Mathematical Proof. In: van Kerkhove, B., van Bendegem, J.P. (eds) Perspectives On Mathematical Practices. Logic, Epistemology, and the Unity of Science, vol 5. Springer, Dordrecht. https://doi.org/10.1007/1-4020-5034-8_8
Download citation
DOI: https://doi.org/10.1007/1-4020-5034-8_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-5033-6
Online ISBN: 978-1-4020-5034-3
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)