On 18 Aug 2009, at 12:14, Flammarion wrote:
>>
>> Each branch of math has its own notion of existence, and with comp,
>> we
>> have a lot choice, for the ontic part, but usually I take
>> arithmetical existence, if only because this is taught in school, and
>> its enough to justified the existence of the universal numbers, and
>> either they dreams (if "yes doctor") or at least their discourse on
>> their dreams (if you say no the doctor and decide to qualify those
>> machines are "inexistent zombies").
>
> Platonism is not taught in schools. You are conflatin
> existence with truth
Platonism is not taught in schools, I agree. But I have never said that.
I am not conflating existence with truth, I am conflating mathematical
existence with truth of existential arithmetical statements.
> mathematical stucture+matter gives you more to
> tackle the consciousness problem with than mathematical structure
> alone
The mind-body problem comes from the fact that we have not yet find
how to attach consciousness to matter. At least with comp, after UDA,
we know why.
> No. it is equivalent to the conjunction of that stament with
> "and the mathematicians Ex is a claim of ontological existence".
You are the one making that addition. So, again, show where in the
reasoning I would use that addition.
>
>> If you really believe that the number 07 has no existence at all, then
>> the UDA reasoning does not go through,
>
> at last!!!!!!!!!!!!!!!!!!!!!
Read or reread the SANE paper, I explicitly assume Arithmetical
Realism. This is hardly new. I really don't follow you.
UDA is an argument showing that comp (yes doctor + CT) => non
physicalism. (CT = Church thesis)
A weaker version of CT is provably equivalent with Ex(x = universal
number). It makes no sense without AR.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Aug 18 2009 - 16:21:12 PDT