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

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at

Reply via email to