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ženo v:
Podrobná bibliografie
Vydáno v:Argumentation Ročník 33; číslo 2; s. 173 - 214
Hlavní autoři: Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave, Rino Nesin, Gabriela, Pease, Alison
Médium: Journal Article
Jazyk:angličtina
Vydáno: Dordrecht Springer Netherlands 01.06.2019
Springer Nature B.V
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie: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