(Reposted because of some techical problems...)
On Jul 7, 2:00 pm, Bruno Marchal <marc....domain.name.hidden> wrote:
> Le 05-juil.-07, à 14:19, Torgny Tholerus wrote:
>
>
>
> > David Nyman skrev:
> >> You have however drawn our attention to something very interesting and
> >> important IMO. This concerns the necessary entailment of 'existence'.
> > 1. The relation 1+1=2 is always true. It is true in all universes.
> > Even if a universe does not contain any humans or any observers. The
> > truth of 1+1=2 is independent of all observers.
>
> I agree with you (despite a notion as "universe" is not primitive in my
> opinion, unless you mean it a bit like the logician's notion of model
> perhaps). As David said, this is arithmetical realism.
Yes, you can see a universe as the same thing as a model.
When you have a (finite) set of rules, you will always get a universe
from that set of rules, by just applying those rules an unlimited
number of times. And the result of these rules is existing, in the
same way as our universe is existing.
Our universe is the result of some set of rules. The interesting
thing is to discover the specific rules that span our universe.
--
Torgny Tholerus
--~--~---------~--~----~------------~-------~--~----~
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?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Mon Jul 09 2007 - 14:54:12 PDT