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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Argumentation Ročník 33; číslo 2; s. 173 - 214
Hlavní autori: Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave, Rino Nesin, Gabriela, Pease, Alison
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Dordrecht Springer Netherlands 01.06.2019
Springer Nature B.V
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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