[FOM] Falsify Platonism?

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Fri Apr 23 05:42:31 EDT 2010


On Thu, Apr 22, 2010 at 02:34:21PM +1200, Bill Taylor wrote:
> Lucas Kruijswijk <L.B.Kruijswijk at inter.nl.net> wrote:
> 
> -> Hilbert's program contains hard tests, which are mostly
> -> proven to be impossible. Is there any hard test that can
> -> falsify Platonism?
> 
> Yes.
> 
> If a contradiction is derived from PA, that will falsify Platonism.
> 
> (Strictly speaking, that falsifies numerical Platonism; it might be easier
>  still to falsify set-theoretic Platonism.)

So far, whenever anyone derives contradictions from set theory,
the response has not been to discard set-theoretic platonism, but
to change set theory.

-- hendrik


More information about the FOM mailing list