Grundgesetze der Arithmetik I §§29‒32

Notre Dame Journal of Formal Logic 38 (3):437-474 (1997)
Authors
Richard Kimberly Heck
Brown University
Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,755
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.

Analytics

Added to PP index
2010-08-24

Total downloads
25 ( #237,564 of 2,263,144 )

Recent downloads (6 months)
1 ( #380,600 of 2,263,144 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature