X-Digest-Num: 300 Message-ID: <44114.300.1632.959273825@eGroups.com> Date: Thu, 02 Dec 1999 08:10:59 PST From: "Jorge Llambias" Subject: Re: John knows who came. X-Yahoo-Message-Num: 1632 Content-Length: 871 Lines: 39 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