Contents
29 found
Order:
  1. (1 other version)Frege's theorem in plural logic.Simon Hewitt - manuscript
    A version of Frege's theorem can be proved in a plural logic with pair abstraction. We talk through this and discuss the philosophical implications of the result.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Infinity, Choice, and Hume's Principle.Stephen Mackereth - forthcoming - Journal of Philosophical Logic.
    It has long been known that in the context of axiomatic second-order logic (SOL), Hume's Principle (HP) is mutually interpretable with "the universe is Dedekind infinite" (DI). I offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. The main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not provable from SOL (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Frege's Theorem and Mathematical Cognition.Lieven Decock - 2021 - In Francesca Boccuni & Andrea Sereni (eds.), Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Logicism. Routledge. pp. 372-394.
  4. Frege's Theorem. [REVIEW]P. Ebert - 2014 - Philosophical Quarterly 64 (254):166-169.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Review of Frege's Theorem[REVIEW]G. Aldo Antonelli - 2012 - International Studies in the Philosophy of Science 26 (2):219-222.
  6. (2 other versions)Richard G. Heck, Jr. , Frege's Theorem . Reviewed by. [REVIEW]Manuel Bremer - 2012 - Philosophy in Review 32 (4):319-325.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Frege’s Theorem by Richard G. Heck, Jr. [REVIEW]John P. Burgess - 2012 - Journal of Philosophy 109 (12):728-732.
  8. Richard G. Heck, Jr.: Frege’s Theorem. [REVIEW]John P. Burgess - 2012 - Journal of Philosophy 109 (12):728-733.
  9. Reading Frege's Grundgesetze.Richard G. Heck - 2012 - Oxford, England: Oxford University Press UK.
    Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  10. Frege's Result: Frege's Theorem and Related Matters.Hirotoshi Tabata - 2012 - Frontiers of Philosophy in China 7 (3):351-366.
    One of the remarkable results of Frege’s Logicism is Frege’s Theorem, which holds that one can derive the main truths of Peano arithmetic from Hume’s Principle (HP) without using Frege’s Basic Law V. This result was rediscovered by the Neo-Fregeans and their allies. However, when applied in developing a more advanced theory of mathematics, their fundamental principles—the abstraction principles—incur some problems, e.g., that of inflation. This paper finds alternative paths for such inquiry in extensionalism and object theory.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  11. (3 other versions)Frege's theorem and foundations for arithmetic.Edward N. Zalta - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
    The principal goal of this entry is to present Frege's Theorem (i.e., the proof that the Dedekind-Peano axioms for number theory can be derived in second-order logic supplemented only by Hume's Principle) in the most logically perspicuous manner. We strive to present Frege's Theorem by representing the ideas and claims involved in the proof in clear and well-established modern logical notation. This prepares one to better prepared to understand Frege's own notation and derivations, and read Frege's original work (whether in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  12. Frege's theorem.Richard G. Heck - 2011 - New York: Clarendon Press.
    The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  13. (3 other versions)Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2010 - Stanford Encyclopedia of Philosophy.
    This entry explains Frege's Theorem by using the modern notation of the predicate calculus. Frege's Theorem is that the Dedekind-Peano axioms for number theory are derivable from Hume's Principle, given the axioms and rules of second-order logic. Frege's methodology for defining the natural numbers and for the derivation of the Dedekind-Peano axioms are sketched in some detail.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
    Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  16. (1 other version)On the philosophical interest of Frege arithmetic.William Demopoulos - 2003 - Philosophical Books 44 (3):220-228.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. (1 other version)Frege’s Theorem: AN INTRODUCTION.Richard Heck Jr - 2003 - Manuscrito 26 (2):471-503.
    Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary discussions of the philosophical significance of 'Frege's Theorem'.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Why Frege would not be a neo‐Fregean.Marco Ruffino - 2003 - Mind 112 (445):51-78.
    In this paper, I seek to clarify an aspect of Frege's thought that has been only insufficiently explained in the literature, namely, his notion of logical objects. I adduce some elements of Frege's philosophy that elucidate why he saw extensions as natural candidates for paradigmatic cases of logical objects. Moreover, I argue (against the suggestion of some contemporary scholars, in particular, Wright and Boolos) that Frege could not have taken Hume's Principle instead of Axiom V as a fundamental law of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  19. Frege's theorem and his logicism.Hirotoshi Tabata - 2000 - History and Philosophy of Logic 21 (4):265-295.
    As is well known, Frege gave an explicit definition of number (belonging to some concept) in ?68 of his Die Grundlagen der Arithmetik.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Frege's theorem in a constructive setting.John Bell - 1999 - Journal of Symbolic Logic 64 (2):486-488.
    then E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in section 3 of [1].) My purpose in this note is to strengthen this result in two directions: first, the premise will be weakened so as to require only that the map ν be defined on the family of (Kuratowski) finite subsets of the set E, and secondly, the argument will be constructive, i.e., (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21. A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
    It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22. (1 other version)Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
    A brief, non-technical introduction to technical and philosophical aspects of Frege's philosophy of arithmetic. The exposition focuses on Frege's Theorem, which states that the axioms of arithmetic are provable, in second-order logic, from a single non-logical axiom, "Hume's Principle", which itself is: The number of Fs is the same as the number of Gs if, and only if, the Fs and Gs are in one-one correspondence.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  23. On the philosophical significance of Frege's theorem.Crispin Wright - 1997 - In Richard G. Heck (ed.), Language, thought, and logic: essays in honour of Michael Dummett. New York: Oxford University Press. pp. 201--44.
    Remove from this list  
     
    Export citation  
     
    Bookmark   63 citations  
  24. Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
    Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25. (1 other version)Critical Notice of Michael Dummett's Frege: Philosophy of Mathematics.Crispin Wright - 1995 - Philosophical Books 1995 (2):89-102.
    The aim of this critical notice is to elucidate Dummett's contributions to the issues surrounding Frege's contextual definition of number (the number of Fs equals the number of Gs if the Fs and the Gs are in one-one correspondence) and the interpretation of "Frege's theorem" -- the theorem that the second order theory consisting of the contextual definition implies the infinity of the natural numbers. To do so, we focus on Dummett's account of the context principle, his discussion of Frege's (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
    Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  27. IX*—Saving Frege from Contradiction.George Boolos - 1987 - Proceedings of the Aristotelian Society 87 (1):137-152.
    George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  28. Frege's conception of numbers as objects.Crispin Wright - 1983 - [Aberdeen]: Aberdeen University Press.
  29. Frege's theory of numbers.Charles Parsons - 1964 - In Max Black (ed.), Philosophy in America. Ithaca: Routledge. pp. 180-203.