Year:

Forthcoming articles
  1. Shigeyuki Atarashi (forthcoming). Review of A. Walsh, Relations Between Logic and Mathematics in the Work of Benjamin and Charles S. Peirce. [REVIEW] Philosophia Mathematica:nku028.
  2. Santos Gon?alo (forthcoming). Numbers and Everything. Philosophia Mathematica.
    I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Shay Logan (forthcoming). Category Theory is a Contentful Theory. Philosophia Mathematica:nku030.
    Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Andrea Sereni (forthcoming). Frege, Indispensability, and the Compatibilist Heresy. Philosophia Mathematica:nkt046.
    In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument (ia) later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Andrew Arana (forthcoming). On the Depth of Szemerédi's Theorem. Philosophia Mathematica:nku036.
    Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Walter Dean (forthcoming). Arithmetical Reflection and the Provability of Soundness. Philosophia Mathematica:nku026.
    Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Thomas Forster (forthcoming). Mathematical Objects Arising From Equivalence Relations and Their Implementation in Quine's NF. Philosophia Mathematica:nku005.
    Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; so no (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Jeremy Gray (forthcoming). Depth — A Gaussian Tradition in Mathematics. Philosophia Mathematica:nku035.
    Mathematicians use the word ‘deep’ to convey a high appreciation of a concept, theorem, or proof. This paper investigates the extent to which the term can be said to have an objective character by examining its first use in mathematics. It was a consequence of Gauss's work on number theory and the agreement among his successors that specific parts of Gauss's work were deep, on grounds that indicate that depth was a structural feature of mathematics for them. In contrast, French (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Emily R. Grosholz (forthcoming). Carlo Cellucci. Rethinking Logic: Logic in Relation to Mathematics, Evolution and Method. Dordrecht: Springer, 2013. ISBN: 978-94-007-6090-5 ; 978-94-007-6091-2 . Pp. Xv + 389. [REVIEW] Philosophia Mathematica:nku023.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Matthew Inglis & Andrew Aberdein (forthcoming). Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals. Philosophia Mathematica:nku014.
    What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, and ‘beautiful’? By applying empirical methods developed by social psychologists, we demonstrate that mathematicians' appraisals of proofs vary on four dimensions: aesthetics, intricacy, utility, and precision. We pay particular attention to mathematical beauty and show that, contrary to the classical view, beauty and simplicity are almost entirely unrelated in mathematics.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Marc Lange (forthcoming). Depth and Explanation in Mathematics. Philosophia Mathematica:nku022.
    This paper argues that in at least some cases, one proof of a given theorem is deeper than another by virtue of supplying a deeper explanation of the theorem — that is, a deeper account of why the theorem holds. There are cases of scientific depth that also involve a common abstract structure explaining a similarity between two otherwise unrelated phenomena, making their similarity no coincidence and purchasing depth by answering why questions that separate, dissimilar explanations of the two phenomena (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. B. Larvor (forthcoming). The Growth of Mathematical Knowledge. Philosophia Mathematica.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Paolo Mancosu (forthcoming). William Ewald and Wilfried Sieg, Eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. Xxv + 1062. [REVIEW] Philosophia Mathematica:nku031.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Gianluigi Oliveri (forthcoming). Book Review.'I Fondamenti della Matematica nel Logicismo di Bertrand Russell'. Stefano Donati. Firenze (Firenze Atheneum). 2003. ISBN: 88-7255-204-4. 988 pages.€ 39.00. [REVIEW] Philosophia Mathematica.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Tim Räz (forthcoming). Say My Name: An Objection to Ante Rem Structuralism. Philosophia Mathematica:nku034.
    I raise an objection to Stewart Shapiro's version of ante rem structuralism: I show that it is in conflict with mathematical practice. Shapiro introduced so-called ‘finite cardinal structures’ to illustrate features of ante rem structuralism. I establish that these structures have a well-known counterpart in mathematics, but this counterpart is incompatible with ante rem structuralism. Furthermore, there is a good reason why, according to mathematical practice, these structures do not behave as conceived by Shapiro's ante rem structuralism.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Wilfried Sieg & Dirk Schlimm (forthcoming). Dedekind's Abstract Concepts: Models and Mappings. Philosophia Mathematica:nku021.
    Dedekind's mathematical work is integral to the transformation of mathematics in the nineteenth century and crucial for the emergence of structuralist mathematics in the twentieth century. We investigate the essential components of what Emmy Noether called, his ‘axiomatic standpoint’: abstract concepts , models , and mappings.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Peter Simons (forthcoming). Guillermo E. Rosado Haddock. Against the Current: Selected Philosophical Papers. Frankfurt: Ontos, 2012. ISBN: 9783868381481 . Pp. Xii + 456. [REVIEW] Philosophia Mathematica:nku032.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. John Stillwell (forthcoming). What Does ‘Depth’ Mean in Mathematics? Philosophia Mathematica:nku033.
    This paper explores different interpretations of the word ‘deep’ as it is used by mathematicians, with a large number of examples illustrating various criteria for depth. Most of the examples are theorems with ‘historical depth’, in the sense that many generations of mathematicians contributed to their proof. Some also have ‘foundational depth’, in the sense that they support large mathematical theories. Finally, concepts from mathematical logic suggest that it may be possible to order certain theorems or problems according to ‘logical (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Daniël F. M. Strauss (forthcoming). The On to Log I Cal Sta Tus of the Prin Ci Ple of the Ex Cluded Mid Dle. Philosophia Mathematica.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Bart Van Kerkhove (forthcoming). Danielle Macbeth. Realizing Reason: A Narrative of Truth and Knowing. Oxford: Oxford University Press, 2014. ISBN: 978-0-19-870479-1. Pp. Xii + 494. [REVIEW] Philosophia Mathematica:nku040.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Audrey Yap (forthcoming). Dedekind and Cassirer on Mathematical Concept Formation. Philosophia Mathematica:nku029.
    Dedekind's major work on the foundations of arithmetic employs several techniques that have left him open to charges of psychologism, and through this, to worries about the objectivity of the natural-number concept he defines. While I accept that Dedekind takes the foundation for arithmetic to lie in certain mental powers, I will also argue that, given an appropriate philosophical background, this need not make numbers into subjective mental objects. Even though Dedekind himself did not provide that background, one can nevertheless (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues