Re: Only Existence is necessary?

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Sun, 9 Jul 2006 14:15:21 +0200

Le 08-juil.-06, à 22:10, 1Z a écrit :



> Bruno Marchal wrote:
>
>> I am just saying that I have faith in the fact that the number 17 is
>> prime, independently of me.
>
> That "17 is prime" is true, independent of you?
>
> Or that 17 exists, independent from you, as a a prime number. ?




A priori the first one: " [17 is prime] is independent of me". But now
I accept also the first order predicate rule that if someone prove "17
is prime", he can infer "Ex(x is prime)", so that I can take the
proposition "it exists a number which is prime" as independent of me
too.
I don't interpret "numbers existence" in any substantial way like if
there was a place and a time where you can observe the number 17
sitting on some chair ...

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 Sun Jul 09 2006 - 08:16:34 PDT

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