Kreisel,the continuum hypothesis and second order set theory |
| |
Authors: | Thomas Weston |
| |
Abstract: | Summary 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: | |
本文献已被 SpringerLink 等数据库收录! |
|