Order:
  1. Diversity in proof appraisal.Matthew Inglis & Andrew Aberdein - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 163-179.
    We investigated whether mathematicians typically agree about the qualities of mathematical proofs. Between-mathematician consensus in proof appraisals is an implicit assumption of many arguments made by philosophers of mathematics, but to our knowledge the issue has not previously been empirically investigated. We asked a group of mathematicians to assess a specific proof on four dimensions, using the framework identified by Inglis and Aberdein (2015). We found widespread disagreement between our participants about the aesthetics, intricacy, precision and utility of the proof, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. Using corpus linguistics to investigate mathematical explanation.Juan Pablo Mejía Ramos, Lara Alcock, Kristen Lew, Paolo Rago, Chris Sangwin & Matthew Inglis - 2019 - In Eugen Fischer & Mark Curtis (eds.), Methodological Advances in Experimental Philosophy. London: Bloomsbury Press. pp. 239–263.
    In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably less prevalent (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Introduction.Andrew Aberdein & Matthew Inglis - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Academic. pp. 1-13.
    There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation