Year:

  1.  39
    A Counterfactual Approach to Explanation in Mathematics.Sam Baron, Mark Colyvan & David Ripley - 2020 - Philosophia Mathematica 28 (1):1-34.
    ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  11
    Elaine Landry,* Ed. Categories for the Working Philosopher.Neil Barton - 2020 - Philosophia Mathematica 28 (1):95-108.
    LandryElaine, * ed. Categories for the Working Philosopher. Oxford University Press, 2017. ISBN 978-0-19-874899-1 ; 978-0-19-106582-8. Pp. xiv + 471.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    The Benacerraf Problem as a Challenge for Ontic Structural Realism†.Majid Davoody Beni - 2020 - Philosophia Mathematica 28 (1):35-59.
    ABSTRACT Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  13
    John Stillwell.*A Concise History of Mathematics for Philosophers.Emily Carson - 2020 - Philosophia Mathematica 28 (1):128-131.
    StillwellJohn.* * _ A Concise History of Mathematics for Philosophers. _ Cambridge Elements in the Philosophy of Mathematics. Cambridge University Press, 2019. Pp. 69. ISBN: 978-1-108-45623-4, 978-1-108-61012-4. doi.org/10.1017/9781108610124.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    Review of John Stillwell, Reverse Mathematics: Proofs From the Inside Out. [REVIEW]Benedict Eastaugh - 2020 - Philosophia Mathematica 28 (1):108-116.
    Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. Princeton, NJ: Princeton University Press, 2018, pp. 200. ISBN 978-0-69-117717-5 (hbk), 978-0-69-119641-1 (pbk), 978-1-40-088903-7 (e-book).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  47
    Otávio Bueno* and Steven French.**Applying Mathematics: Immersion, Inference, Interpretation. [REVIEW]Anthony F. Peressini - 2020 - Philosophia Mathematica 28 (1):116-127.
    Otávio Bueno* * and Steven French.** ** Applying Mathematics: Immersion, Inference, Interpretation. Oxford University Press, 2018. ISBN: 978-0-19-881504-4 978-0-19-185286-2. doi:10.1093/oso/9780198815044. 001.0001. Pp. xvii + 257.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  8
    Leon Horsten*The Metaphysics and Mathematics of Arbitrary Objects. [REVIEW]Eric Snyder - 2020 - Philosophia Mathematica 28 (1):79-95.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues