Jesse Mazer skrev:
>
>
> > Date: Tue, 09 Jun 2009 18:38:23 +0200
> > From: torgny.domain.name.hidden
> > To: everything-list.domain.name.hidden
> > Subject: Re: The seven step-Mathematical preliminaries
> >
> > For you to be able to use the word "all", you must define the "domain"
> > of that word. If you do not define the domain, then it will be
> > impossible for me and all other humans to understand what you are
> > talking about.
>
> OK, so how do you say I should define this type of "universe"? Unless
> you are demanding that I actually give you a list which spells out
> every symbol-string that qualifies as a member, can't I simply provide
> an abstract *rule* that would allow someone to determine in principle
> if a particular symbol-string they are given qualifies? Or do you have
> a third alternative besides spelling out every member or giving an
> abstract rule?
You have to spell out every member. Because in a *rule* you are
(implicitely) using this type of "universe", and you will then get a
circular definition. When you say that *every* number have a successor,
you are presupposing that you already know what *every* means.
--
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 Wed Jun 10 2009 - 09:18:10 PDT