This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

34 found
Order:
  1. Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
    The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. The Metametaphysics of Neo-Fregeanism.Matti Eklund - 2020 - In Ricki Bliss & James Miller (eds.), The Routledge Handbook of Metametaphysics. Routledge.
  3. Extensions, Numbers and Frege’s Project of Logic as Universal Language.Nora Grigore - 2020 - Axiomathes 30 (5):577-588.
    Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. The Breadth of the Paradox.Patricia Blanchette - 2016 - Philosophia Mathematica 24 (1):30-49.
    This essay examines Frege's reaction to Russell's Paradox and his views about the grounding of existence claims in mathematics. It is argued that Frege's strict requirements on existential proofs would rule out the attempt to ground arithmetic in. It is hoped that this discussion will help to clarify the ways in which Frege's position is both coherent and significantly different from the neo-logicist position on the issues of: what's required for proofs of existence; the connection between models, consistency, and existence; (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Frege's Cardinals and Neo-Logicism.Roy T. Cook - 2016 - Philosophia Mathematica 24 (1):60-90.
    Gottlob Frege defined cardinal numbers in terms of value-ranges governed by the inconsistent Basic Law V. Neo-logicists have revived something like Frege's original project by introducing cardinal numbers as primitive objects, governed by Hume's Principle. A neo-logicist foundation for set theory, however, requires a consistent theory of value-ranges of some sort. Thus, it is natural to ask whether we can reconstruct the cardinal numbers by retaining Frege's definition and adopting an alternative consistent principle governing value-ranges. Given some natural assumptions regarding (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Frege's Recipe.Roy T. Cook & Philip A. Ebert - 2016 - Journal of Philosophy 113 (7):309-345.
    In this paper, we present a formal recipe that Frege followed in his magnum opus “Grundgesetze der Arithmetik” when formulating his definitions. This recipe is not explicitly mentioned as such by Frege, but we will offer strong reasons to believe that Frege applied it in developing the formal material of Grundgesetze. We then show that a version of Basic Law V plays a fundamental role in Frege’s recipe and, in what follows, we will explicate what exactly this role is and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Frege on Sense Identity, Basic Law V, and Analysis.Philip A. Ebert - 2016 - Philosophia Mathematica 24 (1):9-29.
    The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. On the Nature, Status, and Proof of Hume’s Principle in Frege’s Logicist Project.Matthias Schirn - 2016 - In Sorin Costreie (ed.), Early Analytic Philosophy – New Perspectives on the Tradition. Springer Verlag.
    Sections “Introduction: Hume’s Principle, Basic Law V and Cardinal Arithmetic” and “The Julius Caesar Problem in Grundlagen—A Brief Characterization” are peparatory. In Section “Analyticity”, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle, bearing in mind that with its analytic or non-analytic status the intended logical foundation of cardinal arithmetic stands or falls. Section “Thought Identity and Hume’s Principle” is concerned with the two criteria of thought identity that Frege states in 1906 and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Did Frege Commit a Cardinal Sin?A. C. Paseau - 2015 - Analysis 75 (3):379-386.
    Frege’s _Basic Law V_ is inconsistent. The reason often given is that it posits the existence of an injection from the larger collection of first-order concepts to the smaller collection of objects. This article explains what is right and what is wrong with this diagnosis.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Variations of Frege's Grundgesetze.J. Wolfgang Degen - 2007 - Travaux de Logique 18:15-31.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. How Did Frege Fall Into the Contradiction?Peter M. Sullivan - 2007 - Ratio 20 (1):91–107.
    Quine made it conventional to portray the contradiction that destroyed Frege’s logicism as some kind of act of God, a thunderbolt that descended from a clear blue sky. This portrayal suited the moral Quine was antecedently inclined to draw, that intuition is bankrupt, and that reliance on it must therefore be replaced by a pragmatic methodology. But the portrayal is grossly misleading, and Quine’s moral simply false. In the person of others – Cantor, Dedekind, and Zermelo – intuition was working (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. The Ins and Outs of Frege's Way Out.Gregory Landini - 2006 - Philosophia Mathematica 14 (1):1-25.
    Confronted with Russell's Paradox, Frege wrote an appendix to volume II of his _Grundgesetze der Arithmetik_. In it he offered a revision to Basic Law V, and proclaimed with confidence that the major theorems for arithmetic are recoverable. This paper shows that Frege's revised system has been seriously undermined by interpretations that transcribe his system into a predicate logic that is inattentive to important details of his concept-script. By examining the revised system as a concept-script, we see how Frege imagined (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171 - 227.
    In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171-227.
    In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
    Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Julius Caesar and Basic Law V.Richard G. Heck - 2005 - Dialectica 59 (2):161–178.
    This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context and a better (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Fregean Abstraction, Referential Indeterminacy and the Logical Foundations of Arithmetic.Matthias Schirn - 2003 - Erkenntnis 59 (2):203 - 232.
    In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius Caesar (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Paradox Without Basic Law V: A Problem with Frege’s Ontology.Adam Rieger - 2002 - Analysis 62 (4):327-330.
  19. First-Order Frege Theory is Undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
    The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's Response Adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
    In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21. Husserl, Frege and 'the Paradox'.Claire Hill - 2000 - Manuscrito 23 (2):101-132.
    In letters that Husserl and Frege exchanged during late 1906 and early 1907, when it is thought that Frege abandoned his attempts to solve Russell's paradox, Husserl expressed his views about the "paradox". Studied here are three deep-rooted differences between their approaches to pure logic present beneath the surface in these letters. These differences concern Husserl's ideas about avoiding paradoxical consequences by shunning three potentially para-dox producing practices. Specifically, he saw the need for: 1) correctly drawing the line between meaning (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. Sense and Basic Law V in Frege's Logicism.Jan Harald Alnes - 1999 - Nordic Journal of Philosophical Logic 4:1-30.
  23. Frege's Principle.Richard Heck - 1995 - In J. Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.
    This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  24. Axiom V and Hume's Principle in Frege's Foundational Project.Matthias Schirn - 1995 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 30 (66):7-20.
  25. Basic Law (V).George Boolos & Peter Clark - 1993 - Aristotelian Society Supplementary Volume 67 (1):213 - 249.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26. Russell to Frege, 24 May 1903: `I Believe That I Have Discovered That Classes Are Completely Superfluous'.Gregory Landini - 1992 - Russell: The Journal of Bertrand Russell Studies 12 (2):160.
  27. Saving Frege From Contradiction.George Boolos - 1987 - Proceedings of the Aristotelian Society 87:137--151.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  28. Frege Structures and the Notions of Truth and Proposition.P. Aczel - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
  29. Frege's Way Out.James L. Hudson - 1975 - Philosophy Research Archives 1:135-140.
    I show that Frege's statement of a way to avoid Russell's paradox is defective, in that he presents two different methods as if they were one. One of these "ways out" is notably more plausible than the other, and is almost surely what Frege really intended. The well-known arguments of Lesniewski, Geach, and Quine that Frege's revision of his system is inadequate to avoid paradox are not affected by the ambiguity of Frede's statement. But a rectnt argument by Linsky and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Frege's Way Out: A Footnote.Leonard Linsky & George F. Schumm - 1971 - Analysis 32 (1):5-7.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Frege's Way Out: A Footnote.Leonard Linsky & George F. Schumm - 1971 - Analysis 32 (1):5-7.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Some Observations Related to Frege's Way Out'.Michael David Resnik - 1964 - Logique Et Analyse 7 (27):138-144.
    In this note I shall make some observations concerning both the original and repaired systems presented by Frege in his Grundgesetze der Arithmetik . These in tum lead to general considerations con- cerning related axáom systems and contemporary comparative set theory. I hope that my remarks will be useful to others - as they were to me - for obtaining some insight into Frege's and current systems.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. On Frege's Way Out.P. T. Geach - 1956 - Mind 65 (259):408-409.
  34. On Frege's Way Out.W. V. Quine - 1955 - Mind 64 (254):145-159.