Grundgesetze der Arithmetik I §§29‒32

Notre Dame Journal of Formal Logic 38 (3):437-474 (1997)
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 the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable
Keywords Frege  Semantics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039700749
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,765
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Term Models for Abstraction Principles.Leon Horsten & Øystein Linnebo - 2016 - Journal of Philosophical Logic 45 (1):1-23.
Frege on Indirect Proof.Ivan Welty - 2011 - History and Philosophy of Logic 32 (3):283-290.

Add more citations

Similar books and articles
Grundgesetze der Arithmetic I §10.Richard Heck - 1999 - Philosophia Mathematica 7 (3):258-292.
Frege and Semantics.Richard Heck - 2007 - Grazer Philosophische Studien 75 (1):27-63.
On Frege's Alleged Indispensability Argument.Pieranna Garavaso - 2005 - Philosophia Mathematica 13 (2):160-173.
Referentiality in Frege'sgrundgesetze.Martin Edward - 1982 - History and Philosophy of Logic 3 (2):151-164.
Added to PP index

Total downloads
25 ( #224,651 of 2,214,489 )

Recent downloads (6 months)
1 ( #408,327 of 2,214,489 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature