View topic on PhilPapers for more information
Related categories

27 found
Order:
More results on PhilPapers
  1. Tuples All the Way Down?Simon Hewitt - manuscript
    We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose the difficulty, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Content Recarving as Subject Matter Restriction.Vincenzo Ciccarelli - forthcoming - Manuscrito: Revista Internacional de Filosofía 42 (1).
    In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Metametaphysics of Neo-Fregeanism.Matti Eklund - 2020 - In Ricki Bliss & James Miller (eds.), The Routledge Handbook of Metametaphysics. Routledge.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. The Basic Laws of Cardinal Number.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 1-30.
    An overview of what Frege accomplishes in Part II of Grundgesetze, which contains proofs of axioms for arithmetic and several additional results concerning the finite, the infinite, and the relationship between these notions. One might think of this paper as an extremely compressed form of Part II of my book Reading Frege's Grundgesetze.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Formal Arithmetic Before Grundgesetze.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 497-537.
    A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Logicism, Ontology, and the Epistemology of Second-Order Logic.Richard Kimberly Heck - 2018 - In Ivette Fred-Rivera & Jessica Leach (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford: Oxford University Press. pp. 140-169.
    In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Tuples All the Way Down?Simon Thomas Hewitt - 2018 - Thought: A Journal of Philosophy 7 (3):161-169.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Number Words as Number Names.Friederike Moltmann - 2017 - Linguistics and Philosophy 40 (4):331-345.
    This paper criticizes the view that number words in argument position retain the meaning they have on an adjectival or determiner use, as argued by Hofweber :179–225, 2005) and Moltmann :499–534, 2013a, 2013b). In particular the paper re-evaluates syntactic evidence from German given in Moltmann to that effect.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Composition as Abstraction.Jeffrey Sanford Russell - 2017 - Journal of Philosophy 114 (9):453-470.
    The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Hale and Wright on the Metaontology of Neo-Fregeanism.Matti Eklund - 2016 - In Marcus Rossberg & Philip A. Ebert (eds.), Abstractionism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Priority, Platonism, and the Metaontology of Abstraction.Michele Lubrano - 2016 - Dissertation, University of Turin
    In this dissertation I examine the NeoFregean metaontology of mathematics. I try to clarify the relationship between what is sometimes called Priority Thesis and Platonism about mathematical entities. I then present three coherent ways in which one might endorse both these stances, also answering some possible objections. Finally I try to show which of these three ways is the most promising.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. The Number of Planets, a Number-Referring Term?Friederike Moltmann - 2016 - In Philip A. Ebert & Marcus Rossberg (eds.), Abstractionism: Essays in Philosophy of Mathematics. Oxford University Press. pp. 113-129.
    The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.
    The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  16. Abstraction Relations Need Not Be Reflexive.Jonathan Payne - 2013 - Thought: A Journal of Philosophy 2 (2):137-147.
    Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Neo-Logicism and Russell’s Logicism.Kevin C. Klement - 2012 - Russell: The Journal of Bertrand Russell Studies 32 (2):159.
    Most advocates of the so-called “neologicist” movement in the philosophy of mathematics identify themselves as “Neo-Fregeans” (e.g., Hale and Wright): presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature, and when it is, often dismissed as not really logicism at all (in lights of its assumption of axioms of infinity, reducibiity and so on). In this paper I have three aims: firstly, to identify more clearly the primary metaontological (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Las Matemáticas en el Pensamiento de Vilém Flusser.Gerardo Santana Trujillo - 2012 - Flusser Studies 13 (1).
    This paper aims to establish the importance of mathematical thinking in the work of Vilém Flusser. For this purpose highlights the concept of escalation of abstraction with which the Czech German philosopher finishes by reversing the top of the traditional pyramid of knowledge, we know from Plato and Aristotle. It also assumes the implicit cultural revolution in the refinement of the numerical element in a process of gradual abandonment of purely alphabetic code, highlights the new key code, together with the (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
    Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Frege and Numbers as Self-Subsistent Objects.Gregory Lavers - 2010 - Discusiones Filosóficas 11 (16):97-118.
    This paper argues that Frege is not the metaphysical platonist about mathematics that he is standardly taken to be. It is shown that Frege’s project has two distinct stages: the identification of what is true of our ordinary notions, and then the provision of a systematic account that shares the identified features. Neither of these stages involves much metaphysics. The paper criticizes in detail Dummett’s interpretation of §§55-61 of Grundlagen. These sections fall under the heading ‘Every number is a self-subsistent (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Bad Company and Neo-Fregean Philosophy.Matti Eklund - 2009 - Synthese 170 (3):393-414.
    A central element in neo-Fregean philosophy of mathematics is the focus on abstraction principles, and the use of abstraction principles to ground various areas of mathematics. But as is well known, not all abstraction principles are in good standing. Various proposals for singling out the acceptable abstraction principles have been presented. Here I investigate what philosophical underpinnings can be provided for these proposals; specifically, underpinnings that fit the neo-Fregean's general outlook. Among the philosophical ideas I consider are: general views on (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Die Grundlagen der Arithmetik, §§ 82-3. [REVIEW]William Demopoulos - 1998 - Bulletin of Symbolic Logic 6 (4):407-28.
    This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  23. The Finite and the Infinite in Frege's Grundgesetze der Arithmetik.Richard Heck - 1998 - In Matthias Schirn (ed.), Philosophy of Mathematics Today. Oxford University Press.
    Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. The Julius Caesar Objection.Richard Heck - 1997 - In Richard G. Heck (ed.), Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford University Press. pp. 273--308.
    This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   29 citations  
  25. The Consistency of Predicative Fragments of Frege’s Grundgesetze der Arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1):209-220.
    As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell?s Paradox being derivable in it.This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege?s Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   50 citations  
  26. Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. Oxford University Press.
    This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   13 citations  
  27. Frege's Theorem in Plural Logic.Simon Hewitt - manuscript
    We note that a plural version of logicism about arithmetic is suggested by the standard reading of Hume's Principle in terms of `the number of Fs/Gs'. We lay out the resources needed to prove a version of Frege's principle in plural, rather than second-order, logic. We sketch a proof of the theorem and comment philosophically on the result, which sits well with a metaphysics of natural numbers as plural properties.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark