Bruno Marchal wrote:
> Le 18-août-06, à 17:38, 1Z a écrit :
>
> > That is an explanation of mind-independence, not of existence.
> > The anti-Platonist (e.g. the formalist) can claim that
> > the truth of mathematical statments is mind-independent,
> > but their existence isn't.
>
>
> "Their" existence ? Mathematical statements needs "chatty" machines.
Mathematics proceded for centuries without any machines at all.
> Mathematical truth, a priori doesn't (although "free structures" can
> feature some chatty aspects many times).
>
> Let us make the following convention. When I will say "I believe there
> exist a perfect number", it is a shorter expression for, I believe the
> proposition "There is a perfect number" is true (satisfied in (N,+,*))
> independently of me, or of any theory of cognition. (A good thing,
> giving that a theory of cognition is build *from* digital machine, that
> is from number theoretical relations).
If AR makes no existential commitments, it cannot lead
to the existential conclusion that there is no such thing
as matter.
> 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
-~----------~----~----~----~------~----~------~--~---
Received on Sat Aug 19 2006 - 09:25:27 PDT