Date: Wed, 17 Dec 1997 06:40:27 -0500 (EST) Message-Id: <199712171140.GAA18947@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: la'e X-To: a.rosta@uclan.ac.uk X-cc: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0011 Content-Length: 1413 X-From-Space-Date: Wed Dec 17 06:40:28 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU >> ledu'u xukau ko'a badri cu du'u lesedu'u xukau ko'a badri >> by the definition of descrriptors and se. > >No. A du`u is a proposition: something that is true or false. >{xukau ko'a badri} is not true or false. In itself it does >not express a bridi. Grammatically, du'u takes a bridi. By definition, that which is in a du'u is a bridi. If a du'u + bridi is well defined, then by definition the sedu'u+bridi must be equally well-defined, even if logical jargon does not have a term for it. What is the relationship between the x2 of du'u and the x1 of du'u for a normal bridi? That same relationship applies to a du'u+xukau bridi. This seems so obvsious that I find it hard to believe that5 it is arguable. The relationship between the x2 and the x1 is that the x2 is a text (not necessarily in Lojban, if I recall) which expresses x1. WE know how to express the contents of x1, whether or not it is a "proposition", and that x2 is any such expression. 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.