Re: A

Jan Hidders wrote:
>>> In some sense you might say that is is "too large" to be a set. The
>>> collection of all relations has the same problem.
>>
>> I'm skeptical to this, but if it is too difficult to explain (or to
>> give an example of a problem), I'll let it be for the moment.
>
> I'll give another hint. Since unary relations are similar to sets you
> can get Cantor's paradox.

Doesn't this only apply if you are considering the set of all relations
over all domains? What if you restrict yourself to a finite set of
domains? I can't see how Cantor's Paradox would apply in this case.

So rather than having a domain of "the set of all relations", which
can't exist, you could have a domain of "the set of all relations over a
specified finite set of domains". Or even an infinite set of domains, I
suppose, providing it's still a well-defined set.

So the "size explosion" problem here is with the domains rather than the
relations?

Paul.
.

Relevant Pages

  • Re: prove this statement with math?
    ... > In relation to this, in Titus 1:12 of the Bible, the Apostle Paul makes ... Which is an altered version of the Epimenides Paradox: ... The original version, as far as I can recall, has a *Cretan* saying this, ... The difference is that in Titus, ...
    (sci.math)
  • Re: prove this statement with math?
    ... The difference is that in Titus, Paul simply uses it as an example of laziness and ungreatfulness. ... No paradox is implied, since Paul was not a Cretan. ...
    (sci.math)
  • Re: prove this statement with math?
    ... > So Paul has a Cretan saying this, hence the paradox. ... > making a reference to this paradox, ... two to four centuries earlier by a few Greeks, and Paul spoke Greek (he was ...
    (sci.math)
  • Re: how to pass this before supertype constructor has been called
    ... discover that it was written by a certain Paul J. Lucas. ... >> And no the this reference is not known until the constructor is called. ... does not mean the paradox doesn't exist. ...
    (comp.lang.java.programmer)
  • Re: Paradox day 2006 is 20th March
    ... My Paradox isn't dead yet. ... Paul ... Prev by Date: ...
    (comp.databases.paradox)