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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Argumentation Jg. 33; H. 2; S. 173 - 214
Hauptverfasser: Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave, Rino Nesin, Gabriela, Pease, Alison
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht Springer Netherlands 01.06.2019
Springer Nature B.V
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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