Argumentation Theory for Mathematical Argument

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, w...

Full description

Saved in:
Bibliographic Details
Published in:Argumentation Vol. 33; no. 2; pp. 173 - 214
Main Authors: Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave, Rino Nesin, Gabriela, Pease, Alison
Format: Journal Article
Language:English
Published: Dordrecht Springer Netherlands 01.06.2019
Springer Nature B.V
Subjects:
Argument structure
Argumentation
Communication Studies
Debates
Discourse
Education
Frame analysis
Legal History
Logic
Philosophy
Philosophy of Law
Political Communication
Property
Theories of Law
Inference Anchoring Theory
Mathematical practice
Mathematical argument
Structured proof
ISSN:0920-427X, 1572-8374
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0920-427X
1572-8374
DOI:10.1007/s10503-018-9474-x