Re: John knows who came.

["Jorge Llambias" <jjllambias@hotmail.com>]

la bab cusku di'e

>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