Abstract
Questions regarding the nature and acquisition of mathematical knowledge are perhaps as old as mathematical thinking itself, while fundamental issues of mathematical ontology and epistemology have direct bearing on mathematical cognition. Several original contributions to logic and mathematics made by the American polymath, Charles Sanders Peirce, are of direct relevance to these fundamental issues. This chapter explores scientific reasoning as it relates to abduction, a name that Peirce coined for educated “guessing” of hypotheses, which he took to be “the first step of scientific reasoning” and the only creative one. Yet he also argued that all deductive reasoning is mathematical and that all mathematical reasoning is diagrammatic. Representation, especially in the form of a diagrammatic system of logic that Peirce developed, is explored here along with his logic of inquiry, most notably in terms of its manifestation as the logic of ingenuity. Originating in the field of engineering, here the diagram of a problem serves as a heuristic substitute for evaluating the actual situation, an approach that can be extended to other forms of practical reasoning such as ethical deliberation. This chapter also touches upon such diverse but related subjects as non-Euclidean geometry and nonclassical logic, with additional examples that help to elucidate cognitive elements of mathematical knowledge.
References
Aczel, A. (1997). Fermat’s last theorem: Unlocking the secret of an ancient mathematical problem. New York: Dell Publishing.
Bacheti, C. G. (Ed.). (1670). Diophanti Alexandrini Arithmeticorum. Tolosae: Bernardus Bosc.
Bearman, J. (2003). An interview with Usama Fayyad (data mining expert). The Believer, 6. https://believermag.com/an-interview-with-usama-fayyad/. Accessed 16 Jan 2021.
Bell, J. (2006). The continuous and the infinitesimal in mathematics and philosophy. Milan: Polimetrica S.a.s.
Burks, A. (1946). Peirce’s theory of abduction. Philosophy of Science, 4, 301–306.
Campos, D. (2015). The role of diagrammatic reasoning in ethical deliberation. Transactions of the Charles S. Peirce. Society, 51(3), 338–357.
Dauben, J. (1979). Georg Cantor: His mathematics and philosophy of the infinite. Cambridge: Harvard University Press.
Dauben, J. (1995). Peirce and history of science. In K. Ketner (Ed.), Peirce and contemporary thought: Philosophical inquiries (pp. 146–195). New York: Fordham University Press.
Dea, S. (2008). Firstness, evolution and the absolute in Peirce’s Spinoza. Transactions of the Charles S. Peirce. Society, 44(4), 603–628.
Eisele, C. (1975). C. S. Peirce’s search for a method in mathematics and the history of science. Transactions of the Charles S. Peirce. Society, 11(3), 149–158.
Figuier, L. (1876). Vies des savants illustres depuis l’antiquité jusqu’au dix-neuvième siècle. Paris: Libraire Hachette.
Gilmore, G., & Tausch-Pebody, G. (2020). The 1919 eclipse results that verified general relativity and their later detractors: A story re-told. Notes and Records: The Royal Society Journal of the History of Science. https://doi.org/10.1098/rsnr.2020.0040.
Grabiner, J. (2009). Why did Lagrange “prove” the parallel postulate? American Mathematical Monthly, 116(1), 3–18.
Gray, J. (2007). Worlds out of nothing: A course in the history of geometry in the 19th century. London: Springer.
Gregory, D. (Ed.). (1703). Euclidis quæ supersunt omnia. Oxoniæ: Theatro Sheldoniano.
Heath, T. (Ed.). (1908). The thirteen books of Euclid’s elements. Cambridge: Cambridge University Press.
Hoffmann, M. (1999). Problems with Peirce’s concept of abduction. Foundations of Science, 4, 271–305.
Hoffmann, M. (2006). Seeing problems, seeing solutions: Abduction and diagrammatic reasoning in a theory of scientific discovery. In Working paper series. Atlanta: Georgia Institute of Technology, School of Public Policy. https://smartech.gatech.edu/bitstream/handle/1853/24031/wp15.pdf. Accessed 24 Oct 2020.
Kepler, J. (1609). Astronomia Nova. Prague.
Landau, E. (2019). A total solar eclipse 100 years ago proved Einstein’s general relativity. Smithsonian Magazine. https://www.smithsonianmag.com/science-nature/total-solar-eclipse-100-years-ago-proved-einsteins-general-relativity-180972278/. Accessed 31 Dec 2020.
Miller, N. (2007). Euclid and his twentieth century rivals: Diagrams in the logic of Euclidean geometry. Stanford: Stanford University Center for the Study of Language and Information. https://www.unco.edu/nhs/mathematical-sciences/faculty/miller/pdf/euclid20thcenturyrivalsmiller.pdf. Accessed 12 Sept 2020.
Oostra, A. (2010). Los gráficos Alfa de Peirce aplicados a la lógica intuicionista. Cuadernos de Sistemática Peirceana, 2, 25–60.
Oostra, A. (2011). Gráficos existenciales Beta intuicionistas. Cuadernos de Sistemática Peirceana, 3, 53–78.
Oostra, A. (2013). La matemática intuicionista y los axiomas de Peirce para la lógica proposicional. Cuadernos de Sistemática Peirceana, 5, 5–24.
Otte, M. (1998). Proof and perception II. Preuve Proof Prueba: Web Newsletter. http://www.lettredelapreuve.org/OldPreuve/Newsletter/980708.html. Accessed 10 Aug 2020.
Peirce, C. (1839–1914). Charles S. Peirce papers. Cambridge: Harvard University, Houghton Library. Abbreviated here as MS followed by manuscript number as assigned by Robin [1967].
Peirce, C. (1929). Guessing. Hound and Horn, 2(3), 267–282.
Peirce, C. (1931−1958). The collected papers of Charles Sanders Peirce (C. Hartshorne, P. Weiss, & A. Burks, Eds.). Cambridge: Harvard University Press. Abbreviated here as CP followed by volume and paragraph number(s).
Peirce, C. (1976). New elements of mathematics (C. Eisele, Ed.). The Hague: Mouton. Abbreviated here as NEM followed by volume and page number(s).
Peirce, C. (1982–2009). Writings of Charles S. Peirce: A chronological edition (Peirce Edition Project, Eds.). Bloomington/Indianapolis: Indiana University Press. Abbreviated here as W followed by volume and page number(s).
Peirce, C. (1985). Historical perspectives on Peirce's logic of science: A history of science (C. Eisele, Ed.). Berlin: Mouton Publishers. Abbreviated here as LOS followed by page number(s).
Peirce, C. (1992–1998). The essential Peirce. Bloomington/Indianapolis: Indiana University Press. Abbreviated here as EP followed by volume and page number(s).
Raatikainen, P. (2004). Conceptions of truth in intuitionism. History and Philosophy of Logic, 25(2), 131–145.
Richmond, G. (2005). Outline of trikonic: Diagrammatic trichotomic. In F. Dau, M.-L. Mugnier, & G. Stumme (Eds.), Conceptual structures: Common semantics for sharing knowledge (pp. 453–466). Berlin: Springer. http://www.iupui.edu/~arisbe/menu/library/aboutcsp/richmond/trikonic.htm. Accessed 5 Nov 2020.
Roberts, D. (1992). The existential graphs. Computers & Mathematics with Applications, 23(6–9), 639–663. https://core.ac.uk/download/pdf/82124291.pdf. Accessed 31 Jan 2021.
Robin, R. (1967). Annotated catalogue of the papers of Charles Sanders Peirce. Amherst: The University of Massachusetts Press. http://www.iupui.edu/~peirce/robin/rcatalog.htm. Accessed 20 Jan 2021.
Schmidt, J. (2013). Engineering as willing. In D. Michelfelder et al. (Eds.), Philosophy and engineering: Reflections on practice, principles and process (pp. 103–111). Berlin: Springer.
Schmidt, J. (2016). The logic of ingenuity. Structure. http://www.STRUCTUREmag.org/?p=10373. Accessed 20 Jan 2021.
Schmidt, J. (2020). Peirce’s topical continuum: A “thicker” theory. Transactions of the Charles S. Peirce. Society, 56(1), 62–80.
Trudeau, R. (2001). The non-Euclidean revolution. Boston: Birkhäuser.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this entry
Cite this entry
Dauben, J.W., Richmond, G.J., Schmidt, J.A. (2021). Peirce on Abduction and Diagrams in Mathematical Reasoning. In: Danesi, M. (eds) Handbook of Cognitive Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-030-44982-7_25-1
Download citation
DOI: https://doi.org/10.1007/978-3-030-44982-7_25-1
Received:
Accepted:
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-44982-7
Online ISBN: 978-3-030-44982-7
eBook Packages: Springer Reference MathematicsReference Module Computer Science and Engineering