From jjllambias@xxxxxxx.xxxx Thu Dec 2 08:10:59 1999
X-Digest-Num: 300
Message-ID: <44114.300.1632.959273825@eGroups.com>
Date: Thu, 02 Dec 1999 08:10:59 PST
From: "Jorge Llambias" Hi,
> Here is a contribution to this discussion from TLI
[...]
> >4) For every x such that x came there is a y such that John knows that x
>is
> >y.
> >
> >This implies that to "know the identity of someone x" is to be able to
>put
> >another designation to x. If so, then this goes into L very neatly as
> >
> >5) Raba ji pa kamla gui be goi la Djan ga djano supo ba bi be.
> >
> >Any problems with this?
I think there is a problem. Suppose that Mary is the only one
who came, Mary is Paulīs wife, and John knows that Mary
is Paulīs wife, but he doesn't know that Mary came.
Then we have:
For every x such that x came (namely for x=Mary) there is
a y (namely y=Paul's wife) such that John knows x=y
(John knows that Mary is Paul's wife).
This means that (4) is true, but John does not know
that Mary came!
co'o mi'e xorxes