Abstract
This chapter explores applications of concepts from argumentation theory to mathematical proofs. Note is taken of the various contexts in which proofs occur and of the various objectives they may serve. Examples of strategic maneuvering are discussed when surveying, in proofs, the four stages of argumentation distinguished by pragma-dialectics. Derailments of strategies (fallacies) are seen to encompass more than logical fallacies and to occur both in alleged proofs that are completely out of bounds and in alleged proofs that are at least mathematical arguments. These considerations lead to a dialectical and rhetorical view of proofs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Elsewhere I argued that this objective can be seen as a (secondary) dialectical objective (Krabbe, 2004).
- 2.
Proofs that are not arguments include: immediate proofs (where there is no reasoning), formal proofs, and proofs in a context where there is no difference of opinion (see Sect. 11.3).
- 3.
A philosophical argument that motion is impossible.
- 4.
On this point the grammar of the term “proof” differs from that of the term “argument,” for an invalid argument is still an argument.
- 5.
Other argumentative functions of reasoning mentioned by Krabbe and Van Laar are the polemic functions (in eristic dialogue) and the directive functions (in negotiation).
- 6.
Mathematicians are a kind of Frenchmen: If one speaks to them, they will translate it into their language and then it is in no time something totally different.
- 7.
It is a common experience of math students that authors of textbooks sometimes exasperate their readers by leaving not the routine parts but the more difficult parts of a proof to them.
- 8.
Often: Gerolamo.
- 9.
Clearly, for a given P and l, there are precisely three possible suppositions: no parallel, exactly one, or more than one. It should be remarked that when one of these suppositions holds, the same can be shown to hold for all other points Q and lines m (Q not on m) of the plane.
- 10.
Moreover, even as a nonmathematical argument it could be a fallacy (argumentum ad verecundiam).
- 11.
Fermat’s Last Theorem: There are no positive integers x, y, z, n (n > 2) such that \({x}^{n} + {y}^{n} = {z}^{n}\).
- 12.
References
Aristotle. (1965 [1955]). On sophistical refutations. On coming-to-be and passing-away. On the cosmos. (E. S. Forster & D. J. Furley, Trans.). Cambridge, MA: Loeb Classical Library, Harvard University Press.
Aristotle. (1979 [1960]). Posterior analytics. Topica. (H. Tredennick & E. S. Forster, Trans.). Cambridge, MA: Loeb Classical Library, Harvard University Press.
Bell, E. T. (1965 [1937]). Men of mathematics (Vol. 2). Harmondsworth: Penguin.
Beth, E. W. (1965). Mathematical thought. Dordrecht: Reidel.
Beth, H. E. J. (1929). Inleiding in de niet-Euclidische meetkunde op historischen grondslag [Introduction to non-Euclidean geometry on a historical basis]. Groningen: Noordhoff.
Corcoran, J. (1989). Argumentations and logic. Argumentation, 3, 17–43.
Curry, H. B. (1963). Foundations of mathematical logic. New York: McGraw-Hill.
Dove, I. J. (2007). On mathematical proofs and arguments: Johnson and Lakatos. In F. H. Van Eemeren & B. Garssen (Eds.), Proceedings of the sixth conference of the international society for the study of argumentation (Vol. 1, pp. 346–351). Amsterdam: Sic Sat.
Edwards, H. M. (1977). Fermat’s last theorem: A genetic introduction to algebraic number theory. New York: Springer.
Euler, L. (1770). Vollständige Anleitung zur Algebra. St. Petersburg: Kaiserliche Academie der Wissenschaften.
Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
Goethe, J. W. V. (1949). Die Wahlverwandtschaften, Die Novellen, Die Maximen und Reflexionen. Zürich: Artemis (Gedenkausgabe der Werke, Briefe und Gespräche 9).
Johnson, R. H. (2000). Manifest rationality: A pragmatic theory of argument. Mahwah, NJ: Lawrence Erlbaum Associates.
Kneale, W., & Kneale, M. (1962). The development of logic. Oxford: Clarendon.
Krabbe, E. C. W. (1991). Quod erat demonstrandum: Wat kan en mag een argumentatietheorie zeggen over bewijzen? [QED: What can and may a theory of argumentation say about proofs?]. In M. M. H. Bax & W. Vuijk (Eds.), Thema’s in de Taalbeheersing: Lezingen van het VIOT-taalbeheersingscongres gehouden op 19, 20 en 21 december 1990 aan de Rijksuniversiteit Groningen (pp. 8–16). Dordrecht: ICG.
Krabbe, E. C. W. (1997). Arguments, proofs, and dialogues. In M. Astroh, D. Gerhardus, & G. Heinzmann (Eds.), Dialogisches Handeln: Eine Festschrift für Kuno Lorenz (pp. 63–75). Heidelberg: Spektrum Akademischer Verlag.
Krabbe, E. C. W. (2004). Strategies in dialectic and rhetoric. In H. V. Hansen, C. W. Tindale, J. A. Blair, R. H., Johnson, & R. C. Pinto (Eds.), Argumentation and its applications (CD-ROM). Windsor, ON: Ontario Society for the Study of Argumentation.
Krabbe, E. C. W., & van Laar, J. A. (2007). About old and new dialectic: Dialogues, fallacies, and strategies. Informal Logic, 27, 27–58.
Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery (edited by J. Worrall & E. Zahar). Cambridge: Cambridge University Press.
Plato. (1997). Meno. In J. M. Cooper & D. S. Hutchinson (Eds.), Complete works (pp. 870–897). Indianapolis: Hackett.
Saccheri, G. G. (1733). Euclides ab omni naevo vindicatus [Euclid freed from every flaw]. Milan: Paulus Antonius Montanus.
Tarski, A. (1956). The concept of truth in formalized languages. (J. H. Woodger, Trans.). In A. Tarski, Logic, semantics, metamathematics: Papers from 1923 to 1938 (pp. 152–278). Oxford: Clarendon.
Tarski, A. (1983). The concept of truth in formalized languages. (J. H. Woodger, Trans.). In A. Tarski, Logic, semantics, metamathematics: Papers from 1923 to 1938 (2nd ed., edited by J. Corcoran, pp. 152–278). Indianapolis, IN: Hackett.
Van Dalen, D. (2006). Weet u dat zeker? Over (on)zekerheden in de wiskunde [Are you sure? About (un)certainties in mathematics]. Groningen: Johann Bernoulli Lecture, March 7th.
Van Eemeren, F. H., & Grootendorst, R. (1984). Speech acts in argumentative discussions. A theoretical model for the analysis of discussions directed towards solving conflicts of opinion. Dordrecht: Foris.
Van Eemeren, F. H., & Grootendorst, R. (1992). Argumentation, communication, and fallacies: A pragma-dialectical perspective. Mahwah: Lawrence Erlbaum Associates.
Van Eemeren, F. H., & Grootendorst, R. (2004). A systematic theory of argumentation: The pragma-dialectical approach. Cambridge: Cambridge University Press.
Van Eemeren, F. H., & Houtlosser, P. (1999a). Delivering the goods in critical discussion. In F. H. van Eemeren, R. Grootendorst, J. A. Blair, & C. A. Willard (Eds.), Proceedings of the fourth conference of the international society for the study of argumentation (pp. 163–167). Amsterdam: Sic Sat.
Van Eemeren, F. H., & Houtlosser, P. (1999b). William the Silent’s argumentative discourse. In F. H. van Eemeren, R. Grootendorst, J. A. Blair, & C. A. Willard (Eds.), Proceedings of the fourth conference of the international society for the study of argumentation (pp. 168–171). Amsterdam: Sic Sat.
Van Eemeren, F. H., & Houtlosser, P. (2002). Strategic manoeuvring in argumentative discourse: A delicate balance. In F. H. Van Eemeren & P. Houtlosser (Eds.), Dialectic and rhetoric: The warp and woof of argumentation analysis (pp. 131–159). Amsterdam: Kluwer.
Van Eemeren, F. H., & Houtlosser, P. (2004). More about fallacies as derailments of strategic maneuvering: The case of Tu Quoque. In H. V. Hansen, C. W. Tindale, J. A. Blair, R. H. Johnson, & R. C. Pinto (Eds.), Argumentation and its applications (CD-ROM). Windsor, ON: Ontario Society for the Study of Argumentation.
Van Eemeren, F. H., & Houtlosser, P. (2005). Theoretical construction and argumentative reality: An analytical model of critical discussion and conventionalised types of argumentative activity. In D. Hitchcock & D. Farr (Eds.), The uses of argument: Proceedings of a conference at McMaster University (pp. 75–84). Hamilton, ON: Ontario Society for the Study of Argumentation.
Walton, D. N., & Krabbe, E. C. W. (1995). Commitment in dialogue: Basic concepts of interpersonal reasoning. Albany, NY: State University of New York Press.
Wikipedia. (2007). Invalid proof. http://en.wikipedia.org/wiki/Invalid_proof. Accessed 10 Oct 2007.
Acknowledgements
The chapter was first presented at the NWO-conference on “Strategic Manoeuvring in Institutionalised Contexts,” University of Amsterdam, 26 October 2007 and has been previously published in Argumentation (2008) 22:453–468.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Krabbe, E.C.W. (2013). Strategic Maneuvering in Mathematical Proofs. In: Aberdein, A., Dove, I. (eds) The Argument of Mathematics. Logic, Epistemology, and the Unity of Science, vol 30. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-6534-4_11
Download citation
DOI: https://doi.org/10.1007/978-94-007-6534-4_11
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-6533-7
Online ISBN: 978-94-007-6534-4
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)