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@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 -~----------~----~----~----~------~----~------~--~---
