Date: Thu, 27 Nov 1997 02:22:45 -0500 (EST) Message-Id: <199711270722.CAA20424@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: What the *%$@ does "nu" mean? X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0011 Content-Length: 1325 X-From-Space-Date: Thu Nov 27 02:23:00 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU >Jorge: >> >What are the truth conditions on {da du`u/nu broda} and >> >{da na du`u/nu broda}? >> >> {da du'u broda} is trivially true, for any broda. It is like >> saying {da namcu}. > >Good. And likewise {da na du`u broda} is trivially false. > >> {da nu broda} requires a context to evaluate. > >You and I think this but John doesn't. Since I can instantiate "da" in all of these cases, I have a prob lem with this. le du'u broda cu su'u broda lenu broda cu nu broda le namcu cu namcu also li ci cu namcu Now I can agree that , with the exception of the latter example, the instantiatin is tautological, and that if tautologies could make a predication ture, no predication would be false. But since I see meaningfulness to "da namcu" in terms of its instantiation (and indeed mathematics requires it to have meaning since "Let X be a number" requires da namcu. ) 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.