Date: Tue, 27 Jan 1998 20:07:34 -0500 (EST) Message-Id: <199801280107.UAA29873@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: Summary so far on DJUNO X-To: lojban To: John Cowan X-UIDL: 1686447a212e85d8df3355827d762bf8 X-Mozilla-Status: 8011 X-From-Space-Date: Wed Jan 28 09:40:02 1998 X-From-Space-Address: - >And, for the sake of completeness, *I think* x4 of djuno tells you >why X feels so sure that Y is true; x4 is what x1 would tell you >if you asked x1 why they were so sure. >On this last point I am in agreement with Lojbab (or rather, with >the baseline) rather than with John and Jorge, so that rather >suggests that my opinion is erroneous. I don't have a problem with the x4 being for the epistemology. In fact, it makes it more regular, because it's in closer agreement with the place structure of {jinvi}. We then have the series: Belief - krici Justified belief - jinvi Justified true belief - djuno My disagreement with Lojbab was about the presupposition of truth of fact x2. It is now clear that this is independent of the epistemology: i.e. the knower can come to know that x2 is true about x3 by different methods, as long as x2 is true. co'o mi'e xorxes