Bruno Marchal wrote:
> Le 10-oct.-06, à 16:08, 1Z a écrit :
>
>
>
> > If your Platonism is about truth, bot existence, you cannot show
> > that matter is redundant,
>
>
> Ah!  I am glad you see my argument is a redundancy argument. If comp is
> true we cannot rely on the hypothesis of primary matter to explain even
> just the physical laws (not to talk on consciousness).

Primary matter was never *supposed* to explain either of
those things. That is a straw-man version of materialism.

> > because if your UD doesn't exist
> > in Platonia,
>
>
> ... but the UD exists in Platonia. The ontological status of the UD is
> the same as the ontological status of the number 5.

Whatever that is. A purely mathematical argument can tell us they
have the same ontological status; it cannot tell us what that status
is. The question of what a mathematical existence-claim
means ontologically requires a philosophical argument.

> Peano Arithmetic
> can prove the existence of the UD.

The mathematical existence. Pure maths cannot prove anything
ontologically.

>
>
>
> >  it doesn't exist in the material world either, so it
> > doesn't exist at all, and therefore cannot replace anything that does
> > exist.
>
> Actually an instantiation of the UD exists in the "material world" too
> (as far as the material world exists of course). The UD is just a
> prgram. You can see its code here:
> http://iridia.ulb.ac.be/~marchal/bxlthesis/Volume4CC/
> 4%20GEN%20&%20DU.pdf

But it requires infinite time to run.


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---

Reply via email to