Carnap’s Defense of Impredicative Definitions

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


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".



    Upload a copy of this work     Papers currently archived: 92,038

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

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.


Added to PP

83 (#202,787)

6 months
13 (#195,089)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vera Flocke
Indiana University, Bloomington

References found in this work

From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Carnap and logical truth.Willard van Orman Quine - 1954 - Synthese 12 (4):350--74.
Intellectual Autobiography.Rudolf Carnap - 1963 - In Paul Arthur Schilpp (ed.), The Philosophy of Rudolf Carnap. LaSalle, Illinois: Open Court. pp. 3--84.
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