Switch to: References

Add citations

You must login to add citations.
  1. Argumentation Theory for Mathematical Argument.Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin & Alison Pease - 2019 - Argumentation 33 (2):173-214.
    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. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - forthcoming - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie:1-18.
    In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Five Theories of Reasoning: Interconnections and Applications to Mathematics.Alison Pease & Andrew Aberdein - 2011 - Logic and Logical Philosophy 20 (1-2):7-57.
    The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], and argumentation (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reasoning About Representations in Autonomous Systems: What Pόlya and Lakatos Have to Say.Alan Bundy - 2012 - In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind. Palgrave-Macmillan. pp. 167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark