[FOM] Falsify Platonism?

joeshipman@aol.com joeshipman at aol.com
Thu Apr 22 23:38:45 EDT 2010


But how could one ever demonstrate that CH does not possess a truth 
value? Even if you could demonstrate that the truth value of CH was 
essentially unknowable, to pass from that to "it has no truth value" is 
an unjustified step unless you are already sneaking in the 
anti-Platonistic axiom that all truth is knowable. It seems obvious to 
me that one could no more disprove Platonism than one could disprove 
theism. If you assert that God exists but make no statements about what 
he does, your assertion cannot be refuted, since his existence or 
nonexistence in your sense has no consequences.

Now one may take the position that we have not defined our terms 
clearly enough, and "the universe of sets" is simply not well-defined 
enough  for CH to have a truth value (since to settle the truth value 
of CH you only need to go up to a pretty low rank, this is implausible, 
but a statement like GCH which talks about sets of arbitrary rank can 
be plausibly considered as too vague to have a meaning). But this is 
still not refuting Platonism, any more than my statement "all bloogs 
are skwozzled" refutes Platonism by virtue of its terms not having been 
sufficiently defined for it to have a truth value.

-- JS

-----Original Message-----
From: Brian Hart <hart.bri at gmail.com>

One way to falsify set-theoretical Platonism might be by demonstrating
that CH does not posess a truth value since it is a presumption of
Platonism in general that all mathematical statements possess such a
value.



More information about the FOM mailing list