Re: The anti-roadmap - an alternative 'Theology'

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Wed, 23 Aug 2006 16:04:41 +0200

Le 22-août-06, à 23:03, David Nyman a écrit :

> But this suggests to me that comp, in the 'instantiation-free' AR+CT+YD
> sense, *cannot* be correct, precisely because it makes 'existential'
> claims for the 'axiomatisation of indexical existence in a 3rd-person
> way'. The key issue here is surely the distinction between 'existence'
> and 'truth' as Peter specifies in his post to me.

Comp makes only the assumption that there are numbers (although
technically it is just about the number 0, and its successor).

The 'axiomatisation of indexical existence in a 3rd person way' is
"derived from that.

This is a key point.

I think my discussion with Pete is terminological. When I say "numbers
exist", Pete seems to think I believe in some magical realm were
numbers exist in I don't know which sense. But when I say number exist,
I just mean that the proposition "numbers exists" is true independently
of myself. I know since a long time that the word "platonist" is
slightly ambiguous when used by "modern" mathematician, and that is why
I prefer to say "realism" instead of Platonism.

My ontic theory is really no more than Robinson Arithmetic (Q).
Well to be sure I have more cute ontic theories, like the
SK-combinators, or like a unique equation for an universal diophantine
polynomials, etc. Some are more useful than others in some context, but
they are all equivalent with respect to the derivation of physics from
numbers.

Your post is long, and I would like to comment Russell still today.
Will read the rest of your post tomorrow. perhaps we should try to
write shorter post on very specific points. It would help, if only the
mail boxes :)

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 Wed Aug 23 2006 - 10:06:43 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:12 PST