Year:

Forthcoming articles
  1.  21
    Tim Button & Sean Walsh (forthcoming). Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics. Philosophia Mathematica.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent `internal' renditions of the famous categoricity arguments for arithmetic and set theory.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  22
    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  
     
    Export citation  
     
    My bibliography  
  3.  47
    Luca Incurvati (forthcoming). Maximality Principles in Set Theory. Philosophia Mathematica.
    In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  22
    B. Larvor (forthcoming). The Growth of Mathematical Knowledge. Philosophia Mathematica.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  7
    Dirk Schlimm (forthcoming). Metaphors for Mathematics From Pasch to Hilbert. Philosophia Mathematica:nkv039.
    How mathematicians conceive of the nature of mathematics is reflected in the metaphors they use to talk about it. In this paper I investigate a change in the use of metaphors in the late nineteenth and early twentieth centuries. In particular, I argue that the metaphor of mathematics as a tree was used systematically by Pasch and some of his contemporaries, while that of mathematics as a building was deliberately chosen by Hilbert to reflect a different view of mathematics. By (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  13
    Neil Barton (forthcoming). Richness and Reflection. Philosophia Mathematica:nkv036.
    A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Jessica Carter (forthcoming). John W. Dawson, Jr. Why Prove It Again: Alternative Proofs in Mathematical Practice. Basel: Birkhäuser, 2015. ISBN: 978-3-319-17367-2 ; 978-3-319-17368-9 . Pp. Xii + 204. [REVIEW] Philosophia Mathematica:nkw003.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  5
    Casper Storm Hansen (forthcoming). Brouwer's Conception of Truth. Philosophia Mathematica:nkv025.
    In this paper it is argued that the understanding of Brouwer as replacing truth conditions with assertability or proof conditions, in particular as codified in the so-called Brouwer-Heyting-Kolmogorov Interpretation, is misleading and conflates a weak and a strong notion of truth that have to be kept apart to understand Brouwer properly: truth-as-anticipation and truth- in-content. These notions are explained, exegetical documentation provided, and semi-formal recursive definitions are given.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  5
    Burt C. Hopkins (forthcoming). Claire Ortiz Hill and Jairo José da Silva. The Road Not Taken: On Husserl's Philosophy of Logic and Mathematics. Texts in Philosophy; 21. London: College Publications, 2013. ISBN 978-1-84890-099-8 . Pp. Xiv + 436. [REVIEW] Philosophia Mathematica:nkw006.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  14
    Kevin C. Klement (forthcoming). A Generic Russellian Elimination of Abstract Objects. Philosophia Mathematica:nkv031.
    In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  8
    Ansten Mørch Klev (forthcoming). Dedekind's Logicism. Philosophia Mathematica:nkv027.
    A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  20
    Graham Leach-Krouse (forthcoming). Structural-Abstraction Principles. Philosophia Mathematica:nkv033.
    In this paper, I present a class of ‘structural’ abstraction principles, and describe how they are suggested by some features of Cantor's and Dedekind's approach to abstraction. Structural abstraction is a promising source of mathematically tractable new axioms for the neo-logicist. I illustrate this by showing, first, how a theorem of Shelah gives a sufficient condition for consistency in the structural setting, solving what neo-logicists call the ‘bad company’ problem for structural abstraction. Second, I show how, in the structural setting, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. 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
     
     
    Export citation  
     
    My bibliography  
  14.  5
    Peter Roeper (forthcoming). A Vindication of Logicism. Philosophia Mathematica:nkv026.
    Frege regarded Hume's Principle as insufficient for a logicist account of arithmetic, as it does not identify the numbers; it does not tell us which objects the numbers are. His solution, generally regarded as a failure, was to propose certain sets as the referents of numerical terms. I suggest instead that numbers are properties of pluralities, where these properties are treated as objects. Given this identification, the truth-conditions of the statements of arithmetic can be obtained from logical principles with the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  49
    Stewart Shapiro & Geoffrey Hellman (forthcoming). Frege Meets Aristotle: Points as Abstracts. Philosophia Mathematica:nkv021.
    There are a number of regions-based accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neo-logicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at stake (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  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  
     
    Export citation  
     
    My bibliography  
  17.  2
    Nigel Vinckier & Jean Paul Van Bendegem (forthcoming). Feng Ye. Strict Finitism and the Logic of Mathematical Applications. Synthese Library; 355. Springer, 2011. ISBN: 978-94-007-1346-8 ; 978-94-007-1347-5 . Pp. Xii + 272. [REVIEW] Philosophia Mathematica:nkw005.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  5
    Audrey Yap (forthcoming). Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics. Springer, 2014. ISBN: 978-3-319-05815-3 ; 978-3-319-05816-0 . Pp. Xi + 202. [REVIEW] Philosophia Mathematica:nkw001.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues