Switch to: References

Add citations

You must login to add citations.
  1. Consistent fragments of grundgesetze and the existence of non-logical objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.
    In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  • Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
    Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Syntax in Basic Laws §§29–32.Bryan Pickel - 2010 - Notre Dame Journal of Formal Logic 51 (2):253-277.
    In order to accommodate his view that quantifiers are predicates of predicates within a type theory, Frege introduces a rule which allows a function name to be formed by removing a saturated name from another saturated name which contains it. This rule requires that each name has a rather rich syntactic structure, since one must be able to recognize the occurrences of a name in a larger name. However, I argue that Frege is unable to account for this syntactic structure. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Frege's proof of referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
    I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • The semantics of Frege's Grundgesetze.John N. Martin - 1984 - History and Philosophy of Logic 5 (2):143-176.
    Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Frege on Referentiality and Julius Caesar in Grundgesetze Section 10.Bruno Bentzen - 2019 - Notre Dame Journal of Formal Logic 60 (4):617-637.
    This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
    		•