Projects per year
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 (fromto)  173214 
Number of pages  42 
Journal  Argumentation 
Volume  33 
Issue number  2 
Early online date  4 Jan 2019 
DOIs  
Publication status  Published  Jun 2019 
Keywords
 Inference Anchoring Theory
 Mathematical argument
 Mathematical practice
 Structured proof
Fingerprint Dive into the research topics of 'Argumentation Theory for Mathematical Argument'. Together they form a unique fingerprint.
Projects
 1 Finished

ExampleDriven MachineHuman Collaboration in Mathematics
Engineering and Physical Sciences Research Council
1/06/17 → 31/05/19
Project: Research