David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 5 (2):281 - 298 (1976)
The major point of contention among the philosophers and mathematicians who have written about the independence results for the continuum hypothesis (CH) and related questions in set theory has been the question of whether these results give reason to doubt that the independent statements have definite truth values. This paper concerns the views of G. Kreisel, who gives arguments based on second order logic that the CH does have a truth value. The view defended here is that although Kreisel's conclusion is correct, his arguments are unsatisfactory. Later sections of the paper advance a different argument that the independence results do not show lack of truth values
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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.
Citations of this work BETA
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Salvatore Florio & Øystein Linnebo (2015). On the Innocence and Determinacy of Plural Quantification. Noûs 49 (1):1-19.
Hartry Field (1994). Are Our Logical and Mathematical Concepts Highly Indeterminate? Midwest Studies in Philosophy 19 (1):391-429.
Alexander Paseau (2012). Against the Judgment-Dependence of Mathematics and Logic. Erkenntnis 76 (1):23-40.
Stephen Pollard (2007). Mathematical Determinacy and the Transferability of Aboutness. Synthese 159 (1):83 - 98.
Similar books and articles
Hartley Slater (2003). Aggregate Theory Versus Set Theory. Erkenntnis 59 (2):189 - 202.
Gregory H. Moore (2011). Early History of the Generalized Continuum Hypothesis: 1878—1938. Bulletin of Symbolic Logic 17 (4):489-532.
Thomas S. Weston (1977). The Continuum Hypothesis is Independent of Second-Order ZF. Notre Dame Journal of Formal Logic 18 (3):499-503.
Harvey Friedman (2003). Primitive Independence Results. Journal of Mathematical Logic 3 (01):67-83.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Paul J. Cohen (1966). Set Theory and the Continuum Hypothesis. New York, W. A. Benjamin.
Added to index2009-01-28
Total downloads49 ( #52,341 of 1,699,425 )
Recent downloads (6 months)7 ( #88,892 of 1,699,425 )
How can I increase my downloads?