From lojbab@lojban.org Wed Jan 29 19:34:25 2003 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_3); 30 Jan 2003 03:34:25 -0000 Received: (qmail 43467 invoked from network); 30 Jan 2003 03:34:25 -0000 Received: from unknown (66.218.66.217) by m7.grp.scd.yahoo.com with QMQP; 30 Jan 2003 03:34:25 -0000 Received: from unknown (HELO lakemtao01.cox.net) (68.1.17.244) by mta2.grp.scd.yahoo.com with SMTP; 30 Jan 2003 03:34:25 -0000 Received: from lojban.lojban.org ([68.100.206.153]) by lakemtao01.cox.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with ESMTP id <20030130033423.WKXL16369.lakemtao01.cox.net@lojban.lojban.org> for ; Wed, 29 Jan 2003 22:34:23 -0500 Message-Id: <5.2.0.9.0.20030129215340.034cf800@pop.east.cox.net> X-Sender: rlechevalier@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 Date: Wed, 29 Jan 2003 22:34:34 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: loi preti be fi lo nincli zo'u tu'e In-Reply-To: References: <20030129225247.GI28812@digitalkingdom.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: Robert LeChevalier X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab X-Yahoo-Message-Num: 18418 At 02:00 AM 1/30/03 +0000, Martin Bays wrote: >What I want to know is: for each of the three types of sumbasti - DA, >lerfu-word and KOhA - under what circumstances are they interpreted as > (a) referring to a previous assignment > or (b) being assigned anew (according to quantification and > restrictive relative clauses) > or (c) being ungrammatical/incomprehensible > or (d) something else Assuming that John in CLL doesn't override something I say here: DA always is implicitly presumed to be quantified in some prenex, whether that prenex is explicitly stated or not. The rules for what scope level an implicit prenex is at, should be in CLL. Only DA and DA-with-subscripts are inherently presumed to be bound (quantified) variables. An explicit prenex (or the implicit prenex generated by the scope rules) has scope over the shortest-scope sentence/bridi it is attached to, though this scope can be formally extended in afterthought using I+JE (the connection implied by I alone may or may not be a logical one, which is why it is considered "informal"), or in forethought using TUhE/TUhU. lerfu and KOhA, which are not inherently bound (quantified) variables remain assigned indefinitely, until reassigned using GOI or an explicit prenex citation or released using a DAhO or a NIhO-construct of the level wherein the value was first assigned (i.e. if the text is marked with ni'oni'o, then ni'o alone does not release the values.) >for each of the following uses > (i) [sumbasti] ninmu > (ii) [sumbasti] poi remna cu ninmu In these circumstances, KOhA/lerfu are not presumed to be quantified variables, but are merely names/symbols for some fixed assignments. > (iii) [sumbasti] zo'u [sumbasti] ninmu > (iv) [sumbasti] poi remna zo'u [sumbasti] ninmu For these circumstances, KOhA lerfu should have scope determined as per any other prenex variable - determined by the scope of the prenex. >And also - I'm assuming that plain [sumbasti] is equivalent to su'o pa >[sumbasti]. If not, what difference does putting a quantifier before the >[sumbasti] make? For DA that is correct. Since lerfu/KOhA are unbound, and presumed already-defined, I think they have implicit quantifier "ro" I guess that you COULD use a lerfu as a bound variable by *explicitly* quantifying it in a prenex. > - Does using {[sumbasti] bi'u} change anything? How about >{sumbasti da'o}? bi'u was intended primarily to deal with "le" descriptions, I think to deal with the sorts of things we convey in English with "a"/"the" in alternation. > - In the case of lerfu-words, does previous assignment with goi >have a different effect from previous assignment just by use of a >word/phrase with the right initial letters? Only with goi is assignment explicitly defined. Implicit assignment by using the right letters is informal and subject to whatever misunderstandings the listener might make as for whether a given lerfu is being reassigned or not. Normally we don't use informal initials (without GOI) except for very short term ad-hoc situations where there will be no confusion what the referent is. >Personally, I think the position which makes most sense is to say that for >all three types and all four usages: if (already assigned) then (a) else >(b). But that's really annoying for doing maths, where things are *much* >more comprehensible if you can quantify over letterals without worry. >Having to keep track of multiple DAs is just icky, as is assigning first >to a DA then with goi to a lerfu-word. The rules are different for bound and unbound variables. 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