Date: Fri, 23 Jan 1998 17:43:36 -0500 (EST) Message-Id: <199801232243.RAA20684@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: Knowledge and belief X-To: cowan@locke.ccil.org X-cc: lojban@cuvmb.cc.columbia.edu To: John Cowan X-UIDL: 250d13a058e14c94ef59064555fc95a2 Status: OR X-Mozilla-Status: 0011 Content-Length: 1689 X-From-Space-Date: Mon Jan 26 12:40:43 1998 X-From-Space-Address: - >Logical Language Group wrote: > >> Now if Y is a proposition based on djuno, then the above statement says that >> someone knows the x2 of Y at time X. If indeed that someone knows that x2 a >> time X, then the fact that this x2 is found to be false should not change >> the truth valiue of the X-time knowledge claim. > >What we're saying is that "x1 knows that x2 at time X" and "x2 is false" are >contradictory statements. If x2 turns out to be false, then x1 didn't >know x2 at any time, no matter what x1 or anyone else believed at time X. But where does the epistemology/metaphysics come in? Your English has left them out, and I am sufficiently Lojbanized in my English meanings that "x2 is false" is hopelessly ambiguous to me barring a lot more context. Was x2 false at time X? Was x2 at time X false? Were these false by x1's worldview/epistemology/choice of metaphysics? Unless the speaker is explicitly brought into the bridi, I think that the speaker's metaphysics should be irrelevant (I'll amend that - the speaker may be brouyght into the text at large via context, in which case I would consider the speaker's world view to be implicitly relevant. BTW, if I understand what pc wrote, I agree with all he said. lojbab ---- lojbab lojbab@access.digex.net Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: ftp.access.digex.net /pub/access/lojbab or see Lojban WWW Server: href="http://xiron.pc.helsinki.fi/lojban/" Order _The Complete Lojban Language_ - see our Web pages or ask me.