Dick:
> And:
> >
> >If you view X being a relation of Y as X filling a slot of Y, then
> >intuitively it follows that Y has only one slot of a given type.
> ## So no-one can have more than one friend?
No: so there is only one category that is "Friend of Dick". So I
Isa Friend of Dick, but I am not Friend of Dick.
> That's not the solution here.
> The problem here is that one half of the diagram says b has a set of
> precisely one member as a friend, and the other half says b has a single
> person as a friend. It's just hard to know how that analysis could be
> mapped onto the world, isn't it?
But even if you changed it so that A is friend of X and B is friend of
X, and A and B are each singleton sets, there'd still be a problem, but
presumably without the problem of mapping it to the world.
> You don't solve it by saying b can't have
> more than one friend because we've agreed that a <-friend- b -friend-> c is
> ok.
We haven't agreed this. You think it's OK & I think it's impermissible.
--And.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|