Bookmark and Share

Philosophy of Mathematics

Edited by Øystein Linnebo (Birkbeck College)
Assistant editor: Sam Roberts (Birkbeck College, University of Oslo)
Most recently added entries found
Search inside:
(import / add options)   Sort by:
  1. added 2015-01-26
    Justin Clarke-Doane (forthcoming). Objectivity in Ethics and Mathematics. Proceedings of the Aristotelian Society.
    How do axioms, or first principles, in ethics compare to those in mathematics? I argue that while there are similarities between the cases, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. added 2015-01-23
    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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2015-01-17
    Michael E. Cuffaro (2012). Kant's Views on Non-Euclidean Geometry. Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
    Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that both (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  4. added 2015-01-15
    Holger A. Leuz (2009). On the Foundations of Greek Arithmetic. Logical Analysis and History of Philosophy 12:13-47.
    The aim of this essay is to develop a formal reconstruction of Greek arithmetic. The reconstruction is based on textual evidence which comes mainly from Euclid, but also from passages in the texts of Plato and Aristotle. Following Paul Pritchard’s investigation into the meaning of the Greek term arithmos, the reconstruction will be mereological rather than set-theoretical. It is shown that the reconstructed system gives rise to an arithmetic comparable in logical strength to Robinson arithmetic. Our reconstructed Greek arithmetic is (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  5. added 2015-01-13
    Holger A. Leuz, Note on Absolute Provability and Cantorian Comprehension.
    We will explicate Cantor’s principle of set existence using the Gödelian intensional notion of absolute provability and John Burgess’ plural logical concept of set formation. From this Cantorian Comprehension principle we will derive a conditional result about the question whether there are any absolutely unprovable mathematical truths. Finally, we will discuss the philosophical significance of the conditional result.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2015-01-09
    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 (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. added 2015-01-09
    Jönne Kriener (2014). Groundedness - Its Logic and Metaphysics. Dissertation, Birkbeck College, University of London
    In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of proper (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  8. added 2015-01-07
    Gabriella Crocco & Eva-Maria Engelen (forthcoming). Kurt Gödel's Philosophical Remarks (Max Phil). In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.
    Kurt Gödel left Philosophical Remarks in his Nachlass that he himself entitled Max Phil (Maximen Philosophie). The opus originally comprised 16 notebooks but one has been lost. The content is on the whole the outline of a rational metaphysics able to relate the different domains of knowledge and of moral investigations to each other. The notebooks were at first started as an intellectual diary in which Gödel writes an account of what he does and especially about what he should do (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. added 2015-01-07
    Eva-Maria Engelen (forthcoming). What is the Link Between Aristotle’s Philosophy of Mind, the Iterative Conception of Set, Gödel’s Incompleteness Theorems and God? About the Pleasure and the Difficulties of Interpreting Kurt Gödel’s Philosophical Remarks. In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.
    It is shown in this article in how far one has to have a clear picture of Gödel’s philosophy and scientific thinking at hand (and also the philosophical positions of other philosophers in the history of Western Philosophy) in order to interpret one single Philosophical Remark by Gödel. As a single remark by Gödel (very often) mirrors his whole philosophical thinking, Gödel’s Philosophical Remarks can be seen as a philosophical monadology. This is so for two reasons mainly: Firstly, because it (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  10. added 2015-01-07
    Gabriella Crocco & Eva-Maria Engelen (eds.) (forthcoming). Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.
    This volume represents the beginning of a new stage of research in interpreting Kurt Gödel’s philosophy in relation to his scientific work. It is more than a collection of essays on Gödel. It is in fact the product of a long enduring international collaboration on Kurt Gödel’s Philosophical Notebooks (Max Phil). New and significant material has been made accessible to a group of experts, on which they rely for their articles. In addition to this, Gödel’s Nachlass is presented in a (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  11. added 2014-12-27
    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 (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2014-12-27
    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 (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. added 2014-12-27
    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 (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2014-12-25
    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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2014-12-24
    Max Harris Siegel (forthcoming). Ian Hacking, Why Is There Philosophy of Mathematics at All? [REVIEW] Mind 124.
  16. added 2014-12-19
    Luca Incurvati (forthcoming). On the Concept of Finitism. Synthese:1-24.
    At the most general level, the concept of finitism is typically characterized by saying that finitistic mathematics is that part of mathematics which does not appeal to completed infinite totalities and is endowed with some epistemological property that makes it secure or privileged. This paper argues that this characterization can in fact be sharpened in various ways, giving rise to different conceptions of finitism. The paper investigates these conceptions and shows that they sanction different portions of mathematics as finitistic.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2014-12-18
    Steven M. Rosen (2014). How Can We Signify Being? Semiotics and Topological Self-Signification. Cosmos and History: The Journal of Natural and Social Philosophy 10 (2):250-277.
    The premise of this paper is that the goal of signifying Being central to ontological phenomenology has been tacitly subverted by the semiotic structure of conventional phenomenological writing. First it is demonstrated that the three components of the conventional sign as defined by C. S. Peirce—the sign-vehicle, object, and interpretant—bear an external relationship to each other. This is linked to the abstractness of alphabetic language, which objectifies nature and splits subject and object. It is the subject-object divide that phenomenology must (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. added 2014-12-17
    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.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2014-12-17
    Luca Incurvati & Julien Murzi (forthcoming). Maximally Consistent Sets of Instances of Naive Comprehension. Mind.
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximal consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2014-12-12
    Axel Gelfert (2014). Applicability, Indispensability, and Underdetermination: Puzzling Over Wigner's 'Unreasonable Effectiveness of Mathematics'. Science and Education 23 (5):997-1009.
    In his influential 1960 paper ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Eugene P. Wigner raises the question of why something that was developed without concern for empirical facts—mathematics—should turn out to be so powerful in explaining facts about the natural world. Recent philosophy of science has developed ‘Wigner’s puzzle’ in two different directions: First, in relation to the supposed indispensability of mathematical facts to particular scientific explanations and, secondly, in connection with the idea that aesthetic criteria track (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. added 2014-12-09
    S. Centrone (2014). Mirja Hartimo Ed. Phenomenology and Mathematics. Phaenomenologia; 195. Dordrecht: Springer, 2010. ISBN 978-90-481-3728-2 ; 978-90-481-3728-2 ; 978-94-007-3196-7 . Pp. Xxv + 222. [REVIEW] Philosophia Mathematica 22 (1):126-129.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2014-12-08
    André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic (IFL) is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2014-12-08
    Eva-Maria Engelen, Kurt Gödels mathematische Anschauung und John P. Burgess’ mathematische Intuition. XXIII Deutscher Kongress für Philosophie Münster 2014, Konferenzveröffentlichung.
  24. added 2014-12-08
    Barry Smith (2012). On Classifying Material Entities in Basic Formal Ontology. In Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. 1-13.
    Basic Formal Ontology (BFO) was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  25. added 2014-12-07
    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.
  26. added 2014-12-06
    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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. added 2014-12-06
    Roy T. Cook (2013). Appendix: How to Read Grundgesetze. In Gottlob Frege (ed.), Basic Laws of Arithmetic, Derived Using Concept-Script: Volumes I & Ii. Oxford University Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  28. added 2014-12-06
    Philip A. Ebert & Marcus Rossberg (2013). Translator's Introduction. In Gottlob Frege (ed.), Basic Laws of Arithmetic, Derived Using Concept-Script: Volumes I & Ii. Oxford University Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  29. added 2014-12-05
    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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. added 2014-11-24
    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 (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. added 2014-11-18
    Marvin R. G. Schiller (2011). Granularity Analysis for Tutoring Mathematical Proofs. Aka Verlag.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  32. added 2014-11-16
    Gottlob Frege (2013). Basic Laws of Arithmetic, Derived Using Concept-Script: Volumes I & Ii. Oxford University Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  33. added 2014-11-16
    Crispin Wright (2013). Foreword. In Gottlob Frege (ed.), Basic Laws of Arithmetic, Derived Using Concept-Script: Volumes I & Ii. Oxford University Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  34. added 2014-11-16
    Jakub Sirovátka (ed.) (2012). Endlichkeit Und Transzendenz: Perspektiven Einer Grundbeziehung. Meiner.
    Weder soll die Endlichkeit in ihrer Eigenständigkeit aufgelöst noch die Transzendenz aufgehoben werden. Das Absolute ist sowohl in seiner radikalen Transzendenz als auch in der Beziehung zum Menschen zu denken.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  35. added 2014-11-08
    Joongol Kim (2014). The Sortal Resemblance Problem. Canadian Journal of Philosophy 44 (3-4):407-424.
    Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2014-11-04
    Mark Zelcer (2014). Review of Noson Yanofsky, The Outer Limits of Reason: What Science, Mathematics and Logic Cannot Tell Us. [REVIEW] Philosophical Quarterly 64:383-385.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  37. added 2014-11-04
    Mark Zelcer (2014). Review of E. Brian Davies, Why Beliefs Matter: Reflections on the Nature of Science. [REVIEW] Science, Religion and Culture 1 (3):141-143.