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

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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s10503-018-9474-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Argumentation Schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - Cambridge and New York: Cambridge University Press.
Argumentation Schemes.Douglas Walton, Christopher Reed & Fabrizio Macagno - 2008 - Cambridge and New York: Cambridge University Press.
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 35 references / Add more references

Citations of this work BETA

Add more citations

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 index
2019-01-04

Total views
20 ( #557,666 of 2,506,082 )

Recent downloads (6 months)
1 ( #416,984 of 2,506,082 )

How can I increase my downloads?

Downloads

My notes