Review of Symbolic Logic 12 (2):372-404 (2019)

Authors
Vera Flocke
Indiana University, Bloomington
Abstract
A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to choosing a "form of language" and is free from metaphysical implications. This paper explains this view in its historical context. I discuss the development of Carnap’s thought on the foundations of mathematics from the mid-1920s to the mid-1930s, concluding with an account of Carnap’s (1937 [1934]) non-Platonistic defense of impredicativity. This discussion is also important for understanding Carnap’s influential views on ontology more generally, since Carnap’s (1937 [1934]) view, according to which accepting impredicative definitions amounts to choosing a "form of language", is an early precursor of the view Carnap presents in "Empiricism, Semantics and Ontology" (1956 [1950]), according to which referring to abstract entities amounts to accepting a "linguistic framework".
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020318000370
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
Carnap and Logical Truth.Willard van Orman Quine - 1960 - Synthese 12 (4):350--74.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Erkenntnis 2 (1):73-75.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.

View all 31 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Identity Variables, and Impredicative Definitions.Jaakko Hintikka - 1956 - Journal Fo Symbolic Logic 21 (3):225-245.
Identity, Variables, and Impredicative Definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.
The Logic of Instance Ontology.D. W. Mertz - 1999 - Journal of Philosophical Logic 28 (1):81-111.
Prototype Proofs in Type Theory.Giuseppe Longo - 2000 - Mathematical Logic Quarterly 46 (2):257-266.
Consistency of Strictly Impredicative NF and a Little More ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.

Analytics

Added to PP index
2018-12-06

Total views
56 ( #195,086 of 2,463,160 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,160 )

How can I increase my downloads?

Downloads

My notes