Hostname: page-component-7b7567c8c-jswmv Total loading time: 0 Render date: 2026-11-15T20:26:34.562Z Has data issue: false hasContentIssue false

Does V equal L?

Published online by Cambridge University Press:  12 March 2014

Penelope Maddy*
Affiliation:
Department of Philosophy, Department of Mathematics, University of California at Irvine, Irvine, California 92717, E-mail: pjmaddy@uci.edu, E-mail: pjmaddy@uci.bitnet

Extract

Does V = L? Is the Axiom of Constructibility true? Most people with an opinion would answer no. But on what grounds? Despite the near unanimity with which V = L is declared false, the literature reveals no clear consensus on what counts as evidence against the hypothesis and no detailed analysis of why the facts of the sort cited constitute evidence one way or another. Unable to produce a well-developed argument one way or the other, some observers despair, retreating to unattractive fall-back positions, e.g., that the decision on whether or not V = L is a matter of personal aesthetics. I would prefer to avoid such conclusions, if possible. If we are to believe that L is not V, as so many would urge, then there ought to be good reasons for this belief, reasons that can be stated clearly and subjected to rational evaluation. Though no complete argument has been presented, the literature does contain a number of varied argument fragments, and it is worth asking whether some of these might be developed into a persuasive case.

One particularly simple approach would be to note that the existence of a measurable cardinal (MC) implies that V ≠ L,1 and to argue that there is a measurable cardinal. The drawback to this approach is that its implying V ≠ L cannot then be counted as evidence in favor of MC, as it often is. Indeed, there seems to have been considerable sentiment against V = L even before the proof of its negation from MC,2 and this sentiment must either be accounted for as reasonable or explained away as an aberration of some kind.

Information

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable