Carnap’s Defense of Impredicative Definitions
Review of Symbolic Logic 12 (2):372-404 (2019)
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".Author's Profile
DOI
10.1017/s1755020318000370
My notes
Similar books and articles
Predicativity and Structuralism in Dedekind’s Construction of the Reals.Audrey Yap - 2009 - Erkenntnis 71 (2):157-173.
Review: W. Pohlers, Cut-Elimination for Impredicative Infinitary Systems. Part I. Ordinal- Analysis for $ID_1$; W. Pohlers, Cut Elimination for Impredicative Infinitary Systems. Part II. Ordinal Analysis for Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-880.
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.
Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.".Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):343-343.
Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Jaakko K. Hintikka J.. Identity, variables, and impredicative definitions.Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
Prototype Proofs in Type Theory.Giuseppe Longo - 2000 - Mathematical Logic Quarterly 46 (2):257-266.
Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 , pp. 111–124. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.". [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
Mostowski Andrzej Correction to the paper “Some impredicative definitions in the axiomatic set-theory.” Fundamenta mathematicae, vol. 38 , p. 238. [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - Vienna Circle Institute Yearbook 16:13-36.
Analytics
Added to PP
2018-12-06
Downloads
58 (#205,749)
6 months
1 (#447,139)
2018-12-06
Downloads
58 (#205,749)
6 months
1 (#447,139)
Historical graph of downloads
Author's Profile
Citations of this work
Carnap and Beth on the Limits of Tolerance.Benjamin Marschall - 2021 - Canadian Journal of Philosophy 51 (4):282–300.
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.
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.