Date: Wed, 24 Dec 1997 14:16:01 -0500 (EST) Message-Id: <199712241916.OAA08605@locke.ccil.org> Reply-To: "=?iso-8859-1?Q?Jorge_J._Llamb=EDas?=" Sender: Lojban list From: "=?iso-8859-1?Q?Jorge_J._Llamb=EDas?=" Subject: Re: knowledge and belief X-To: lojban To: John Cowan Status: OR X-Mozilla-Status: 0011 Content-Length: 854 X-From-Space-Date: Wed Dec 24 14:16:02 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU cu'u la robin >If Plato knows that Socrates knows everything, does Plato know everything? If Plato knows that Socrates knows that John goes to the market, then Plato knows that John goes to the market, it would seem to me. And so on for anything else that Socrates may know. But is it possible (I don't mean humanly possible, but logically possible) for someone to know everything? I think that it would be a violation of Goedel's theorem. As for Lojban, I would say that: la platon djuno le du'u la sokrates djuno le du'u la djan klama le zarci kei fo da "Plato knows that Socrates knows (by epist. x) that John goes to the market." must entail that: la platon djuno le du'u la djan klama le zarci kei fo da "Plato knows (by epist. x) that John goes to the market." i pe'ipei co'o mi'e xorxes