The semantics of value-range names and frege’s proof of referentiality

Review of Symbolic Logic 11 (2):224-278 (2018)
  Copy   BIBTEX

Abstract

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 of value-range names. I further argue that despite first appearances truth-value names play a distinguished role as semantic “target names” for “test names” in the criteria of referentiality and do not figure themselves as “test names” regarding referentiality. Accordingly, I show in detail that Frege’s attempt to demonstrate that by virtue of his stipulations “regular” value-range names have indeed been endowed with a unique reference, can plausibly be regarded as a direct application of the context principle. In a subsequent section, I turn to some special issues involved in §10. §10 is closely intertwined with §31 and in my and Richard Heck’s view would have been better positioned between §30 and §31. In a first step, I discuss the piecemeal strategy which Frege applies when he attempts to bestow a unique reference on value-range names in §3, §10–§12. In a second step, I critically analyze his tentative, but predictably unsuccessful proposal to identify all objects whatsoever, including those already clad in the garb of value-ranges, with their unit classes. In conclusion, I present two arguments for my claim that Frege’s identification of the True and the False with their unit classes in §10 is illicit even if both the permutation argument and the identifiability thesis that he states in §10 are regarded as formally sound. The first argument is set out from the point of view of the syntax of his formal language. It suggests though that a reorganization of the exposition of the concept-script would have solved at least one of the problems to which the twin stipulations in §10 give rise. The second argument rests on semantic considerations. If it is sound, it may call into question, if not undermine the legitimacy of the twin stipulations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Grundgesetze der arithmetic I §10.Richard Heck - 1999 - Philosophia Mathematica 7 (3):258-292.
Frege's proof of referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10.Bruno Bentzen - 2019 - Notre Dame Journal of Formal Logic 60 (4):617-637.
Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik.Gregory Landini - 2022 - History and Philosophy of Logic 43 (4):347-382.
Frege's Answer to Kripke.Tapio Korte - 2021 - Theoria 88 (2):464-479.
Frege's Notion of Logical Objects.Marco Antonio Caron Ruffino - 1996 - Dissertation, University of California, Los Angeles

Analytics

Added to PP
2018-04-21

Downloads
31 (#129,909)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matthias Schirn
Ludwig Maximilians Universität, München

Citations of this work

Frege on Identity and Identity Statements: 1884/1903.Matthias Schirn - forthcoming - History and Philosophy of Logic:1-22.

Add more citations

References found in this work

Ueber Begriff und Gegenstand.Gottlob Frege - 1892 - Vierteljahrsschrift Für Wissenschaftliche Philosophie 16 (2):192-205.
Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
Frege's proof of referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.

View all 28 references / Add more references