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

Original language | English |
---|---|

Pages (from-to) | 173-214 |

Number of pages | 42 |

Journal | Argumentation |

Volume | 33 |

Issue number | 2 |

Early online date | 4 Jan 2019 |

DOIs | |

Publication status | Published - Jun 2019 |

### Fingerprint

### Keywords

- Inference Anchoring Theory
- Mathematical argument
- Mathematical practice
- Structured proof

### Cite this

*Argumentation*,

*33*(2), 173-214. https://doi.org/10.1007/s10503-018-9474-x

}

*Argumentation*, vol. 33, no. 2, pp. 173-214. https://doi.org/10.1007/s10503-018-9474-x

**Argumentation Theory for Mathematical Argument.** / Corneli, Joseph; Martin, Ursula; Murray-Rust, Dave; Rino Nesin, Gabriela; Pease, Alison.

Research output: Contribution to journal › Article

TY - JOUR

T1 - Argumentation Theory for Mathematical Argument

AU - Corneli, Joseph

AU - Martin, Ursula

AU - Murray-Rust, Dave

AU - Rino Nesin, Gabriela

AU - Pease, Alison

PY - 2019/6

Y1 - 2019/6

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

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

KW - Inference Anchoring Theory

KW - Mathematical argument

KW - Mathematical practice

KW - Structured proof

UR - http://www.scopus.com/inward/record.url?scp=85059564929&partnerID=8YFLogxK

U2 - 10.1007/s10503-018-9474-x

DO - 10.1007/s10503-018-9474-x

M3 - Article

VL - 33

SP - 173

EP - 214

JO - Argumentation

JF - Argumentation

SN - 0920-427X

IS - 2

ER -