Argumentation Theory for Mathematical Argument

Argumentation 33 (2):173-214 (2019)
  Copy   BIBTEX

Abstract

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Knowledge of Mathematical Objects.Mark Augustan Balaguer - 1992 - Dissertation, City University of New York
Mathematical Beauty and Perceptual Presence.Rob van Gerwen - 2011 - Philosophical Investigations 34 (3):249-267.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Mathematical proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
Against Mathematical Convenientism.Seungbae Park - 2016 - Axiomathes 26 (2):115-122.

Analytics

Added to PP
2019-01-04

Downloads
28 (#553,203)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Argumentation Schemes.Douglas Walton, Christopher Reed & Fabrizio Macagno - 2008 - Cambridge and New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Why do humans reason? Arguments for an argumentative theory.Dan Sperber - 2011 - Behavioral and Brain Sciences 34 (2):57.
Proofs and Refutations. The Logic of Mathematical Discovery.I. Lakatos - 1977 - Tijdschrift Voor Filosofie 39 (4):715-715.

View all 37 references / Add more references