Bruno Marchal wrote:
> Le 27-oct.-06, à 00:40, 1Z a écrit :
>
> >>> Tom Caylor:
> >>> Mathematical logic is richer than that.  This is what Bruno is
> >>> saying,
> >>> that the math path points toward Rome.  And it is no more scary (a la
> >>> possible spirits lurking under/in every rock) than the matter path.
> >>> Limiting math as you are doing, and as Brent Meeker does in his
> >>> response to my (X and not-X) note, is ignoring such evidence as the
> >>> proofs of Godel and Tarski's Indefinability Theorem.
> >>>
> >>> Tom
> >>
> >> Brent Meeker: But as I understand it, Bruno wants to identify
> >> "mathematical existence" with true existence statements about
> >> mathematical objects.
> >>  Some of these are unprovable.  They can be consistently added to the
> >> axioms.  But also their negation can be consistently added to the
> >> axioms.  But not both.  So there are disjoint realms of consistent
> >> mathematics - some are Rome, some are Athens, some are Tuva, most are
> >> Harry Potter's home town.
> >
> > 1Z (Peter Jones): I suppose that is why he wants to base his case on
> > the
> > subset of arithmetic everyone agrees on.

>
> Exactly.

The manoeuvre addresses the mathematical objections to
Platonism whilst doing nothing about the philosophical.
 
> 
> 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@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