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.
Alexander Paseau (2012). Against the Judgment-Dependence of Mathematics and Logic. Erkenntnis 76 (1):23-40.
Hartry Field (1994). Are Our Logical and Mathematical Concepts Highly Indeterminate? Midwest Studies in Philosophy 19 (1):391-429.
Stephen Pollard (2007). Mathematical Determinacy and the Transferability of Aboutness. Synthese 159 (1):83 - 98.
Geoffrey Hellman (1990). Toward a Modal-Structural Interpretation of Set Theory. Synthese 84 (3):409 - 443.
Similar books and articles
Hartley Slater (2003). Aggregate Theory Versus Set Theory. Erkenntnis 59 (2):189 - 202.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Harvey Friedman (2003). Primitive Independence Results. Journal of Mathematical Logic 3 (01):67-83.
Thomas S. Weston (1977). The Continuum Hypothesis is Independent of Second-Order ZF. Notre Dame Journal of Formal Logic 18 (3):499-503.
Gregory H. Moore (2011). Early History of the Generalized Continuum Hypothesis: 1878—1938. Bulletin of Symbolic Logic 17 (4):489-532.
Paul J. Cohen (1966). Set Theory and the Continuum Hypothesis. New York, W. A. Benjamin.
Added to index2009-01-28
Total downloads37 ( #43,781 of 1,096,449 )
Recent downloads (6 months)2 ( #134,922 of 1,096,449 )
How can I increase my downloads?