Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Understanding in mathematics

The case of mathematical proofs

Bibliographic Data

ID21364048
AuthorsYacin Hamami (0000-0002-0780-7996, Philosophy Department University of Liège Liège Belgium, corresponding author), Robert L Morris (0000-0002-1216-6900, Independent Scholar Minneapolis Minnesota US, corresponding author)
Year2024
Volume58
Issue4
Pages1073-1106
Publication date2024-12-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueNoûs (JOURNAL)
Journal identifiersISSN: 0029-4624 • E-ISSN: 1468-0068
PublisherWiley (PUBLISHER • GB)
DOI10.1111/nous.12489
OpenAlexW4394012392
LanguageEN
References cited53

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part on Bratman's theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency

Calculus (dental) · Geometry · Mathematical practice · Mathematical proof · Mathematics education · Computer Science · History and Theory of Mathematics · Logic, Reasoning, and Knowledge · Mathematics · Philosophy and History of Science

  • The Value of Knowledge and the Pursuit of Understanding

    Open Access•Jonathan L Kvanvig•Value of Knowledge and the…•2003

  • Understanding, Explanation, and Scientific Knowledge

    Kareem Khalifa•Understanding, Explanation, and…•2017

  • Understanding Scientific Understanding

    Henk W De Regt•Understanding Scientific…•2017

  • Recovering Understanding

    Linda Zagzebski•Knowledge, truth, and duty•2001

  • Toward a Theory of Understanding

    Linda Zagzebski•Varieties of Understanding•2019

  • Mathematical Explanation in Practice

    Open Access•Ellen Lehet•Axiomathes•2021

  • The Mark of Understanding

    Open Access•Sven Delarivière, Bart Van Kerkhove•Axiomathes•2021

  • Rationality in Mathematical Proofs

    Yacin Hamami, Robert L Morris•Australasian Journal of Philosophy•2023

  • The Oxford Handbook of the Epistemology of Theology

    William J Abraham, Frederick D Aquino•Oxford Handbook of the…•2017

  • Functional explanation in mathematics

    Open Access•Matthew Inglis, Juan Pablo Mejía-Ramos•Synthese•2021

  • A Contextual Approach to Scientific Understanding

    Open Access•Henk W De Regt, Dennis Dieks•Synthese•2005

  • Understanding phenomena

    Open Access•Christoph Kelp•Synthese•2015

  • No understanding without explanation

    Open Access•Michael Strevens•Studies in History and Philosophy…•2013

  • Beyond Explanation

    Open Access•Finnur Dellsén•The British Journal for the…•2020

  • Agency, Time, and Sociality

    Michael E Bratman•Planning, Time, and Self-Governance•2018

  • Considered Judgment

    Catherine Z Elgin•Considered Judgment•1996

  • The Value of Understanding

    Open Access•Stephen R Grimm, Stephen Grimm•Philosophy Compass•2012

  • Risk, Responsibility, and Blame

    Open Access•Karen Bickerstaff, Gordon Walker•Environment and Planning A…•2002

Citation velocityhistorical
Highly citedNo

Tools

Open DOIOpen Access
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae