Switch to: References

Add citations

You must login to add citations.
  1. The Logical Significance of Assertion: Frege on the Essence of Logic.Walter B. Pedriali - 2017 - Journal for the History of Analytical Philosophy 5 (8).
    Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik.Kai F. Wehmeier - 2004 - In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
    We provide an overview of consistent fragments of the theory of Frege’s Grundgesetze der Arithmetik that arise by restricting the second-order comprehension schema. We discuss how such theories avoid inconsistency and show how the reasoning underlying Russell’s paradox can be put to use in an investigation of these fragments.
     
    Export citation  
     
    Bookmark   4 citations  
  • Abstraction without exceptions.Luca Zanetti - 2021 - Philosophical Studies 178 (10):3197-3216.
    Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2-3):153-207.
    This essay consists of two parts. In the first part, I focus my attention on the remarks that Frege makes on consistency when he sets about criticizing the method of creating new numbers through definition or abstraction. This gives me the opportunity to comment also a little on H. Hankel, J. Thomae—Frege’s main targets when he comes to criticize “formal theories of arithmetic” in Die Grundlagen der Arithmetik (1884) and the second volume of Grundgesetze der Arithmetik (1903)—G. Cantor, L. E. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
    It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  • Russell’s Paradox and Free Zig Zag Solutions.Ludovica Conti - forthcoming - Foundations of Science:1-19.
    I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
    PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Frege, Boolos, and Logical Objects.David J. Anderson & Edward N. Zalta - 2004 - Journal of Philosophical Logic 33 (1):1-26.
    In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Book Review: Kit Fine. The Limits of Abstraction. [REVIEW]John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (4):227-251.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Frege's Other Program.Aldo Antonelli & Robert May - 2005 - Notre Dame Journal of Formal Logic 46 (1):1-17.
    Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Impredicativity and Paradox.Gabriel Uzquiano - 2019 - Thought: A Journal of Philosophy 8 (3):209-221.
    Thought: A Journal of Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientae 18:81-94.
    PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a first-order formulation of Frege's infamous Basic Law V. George Boolos' plural semantics is replaced with Enrico Martino's Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. ACS provides a form of logicism which is radically alternative to Frege's and which is grounded on the existence of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Semantics of Value-Range Names and Frege’s Proof of Referentiality.Matthias Schirn - 2018 - Review of Symbolic Logic 11 (2):224-278.
    In this article, I try to shed some new light onGrundgesetze§10, §29–§31 with special emphasis on Frege’s criteria and proof of referentiality and his treatment of the semantics of canonical value-range names. I begin by arguing against the claim, recently defended by several Frege scholars, that the first-order domain inGrundgesetzeis restricted to value-ranges, but conclude that there is an irresolvable tension in Frege’s view. The tension has a direct impact on the semantics of the concept-script, not least on the semantics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Convenience of the Typesetter; Notation and Typography in Frege’s Grundgesetze der Arithmetik.Jim J. Green, Marcus Rossberg & A. Ebert Philip - 2015 - Bulletin of Symbolic Logic 21 (1):15-30.
    We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Frege’s Permutation Argument Revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - Synthese 147 (1):43-61.
    In Section 10 of Grundgesetze, Volume I, Frege advances a mathematical argument (known as the permutation argument), by means of which he intends to show that an arbitrary value-range may be identified with the True, and any other one with the False, without contradicting any stipulations previously introduced (we shall call this claim the identifiability thesis, following Schroeder-Heister (1987)). As far as we are aware, there is no consensus in the literature as to (i) the proper interpretation of the permutation (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • What is Neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
    In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
    PG (Plural Grundgesetze) is a predicative monadic second-order system which is aimed to derive second-order Peano arithmetic. It exploits the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. In this paper, a model-theoretical consistency proof for the system PG is provided.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Plural Grundgesetze.Francesca Boccuni - 2010 - Studia Logica 96 (2):315-330.
    PG (Plural Grundgesetze) is a predicative monadic second-order system which exploits the notion of plural quantification and a few Fregean devices, among which a formulation of the infamous Basic Law V. It is shown that second-order Peano arithmetic can be derived in PG. I also investigate the philosophical issue of predicativism connected to PG. In particular, as predicativism about concepts seems rather un-Fregean, I analyse whether there is a way to make predicativism compatible with Frege’s logicism.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • Review of Kazuyuki Nomoto "Frege Tetsugaku No Zenbou ". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Term Models for Abstraction Principles.Leon Horsten & Øystein Linnebo - 2016 - Journal of Philosophical Logic 45 (1):1-23.
    Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
    This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations