From lojbab@lojban.org Fri Aug 10 15:02:44 2001 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_1); 10 Aug 2001 22:02:44 -0000 Received: (qmail 12403 invoked from network); 10 Aug 2001 22:02:44 -0000 Received: from unknown (10.1.10.27) by l8.egroups.com with QMQP; 10 Aug 2001 22:02:44 -0000 Received: from unknown (HELO stmpy-3.cais.net) (205.252.14.73) by mta2 with SMTP; 10 Aug 2001 22:02:43 -0000 Received: from user.lojban.org (218.dynamic.cais.com [207.226.56.218]) by stmpy-3.cais.net (8.11.1/8.11.1) with ESMTP id f7AM2go16335 for ; Fri, 10 Aug 2001 18:02:42 -0400 (EDT) Message-Id: <4.3.2.7.2.20010810175224.00cf9ab0@pop.cais.com> X-Sender: vir1036@pop.cais.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Fri, 10 Aug 2001 18:00:23 -0400 To: "Lojban@Yahoogroups. Com" Subject: RE: [lojban] Re: Well I guess you do learn something new every day... In-Reply-To: References: <4.3.2.7.2.20010808164027.00cf0100@pop.cais.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" X-Yahoo-Message-Num: 9404 At 02:11 AM 8/10/01 +0100, And Rosta wrote: >Lojbab: >I wouldn't expect spoken formal predicate logic to be verbose. And I would >further expect an elaborated spoken formal predicate logic to include >abbreviating shortcuts that complicate the austerely simple grammar of >pred.log. but make sentences shorter. Neither JCB nor LLG ever tried to tackle to problem from that standpoint. So whatever one means by the claim that Lojban is "logical", we were not trying to find a short sentence version of predicate logic. > > A self-referential definition is not a definition. > >Yes it is. Deixis, for example, is all self-referentially defined. And we have specific and distinct words to indicate deixis. >There is nothing meaningless about defining the semantics of nei/no'a >in terms of its syntactic configuration. > > > > > And what does "nei" convey that co'e would not? > > > > > >The meaning of nei is precide > > > > Yeah? As you define it, it means "precisely" nothing, since it is an > > anaphora for itself. > >NO, it's an anaphor to the bridi it occurs in. Since nei is not the >bridi it occurs in, nei is not an anaphor for itself. > >It's incredible that you are making such objections about this. If >I give you a sentence like "ko'a djuno le du'u ko'a broda le nei", >and I ask you "Which bridi does {nei} occur in, you have no >trouble answering "lu ko'e broda le nei li'u". Likewise, if I >ask you which bridi contains this, again you, despite your protestations >to the contrary, can identify it as lu ko'a djuno le du'u ko'a broda le >nei li'u. And if I ask you to identify, say, the x1 sumti of that >bridi, then, again, you can identify it as lu ko'a li'u. Yes, but the example sentence we were dealing with was >Pragmatically, in a bare "mi djuno ledu'u nei" I would not consider the nei >to be self representing, so the "current bridi" has to be "djuno", and no'a >refers outward from djuno, as ra refers backwards from whatever ri is >pragmatically determined to mean. and the question I address there is whether "nei" in "le du'u nei" represents itself or the bridi which djuno is the selbri of. The prior example I was responding to was an instance of le du'u no'a. If nei represents djuno, then no'a would have to go out one level from the referent of nei. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org