Received: from mail-qe0-f64.google.com ([209.85.128.64]:36828) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UlrqV-0005xm-0K for lojban-list-archive@lojban.org; Sun, 09 Jun 2013 19:28:41 -0700 Received: by mail-qe0-f64.google.com with SMTP id 1sf1897745qec.19 for ; Sun, 09 Jun 2013 19:28:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=V+Cq0Bq6s7jZKdOMJxKoEhI3y+HD5xOVeVUInloDmVQ=; b=IUbnZb4DodtHU+kZHaGt/Uo7TRq+6sdE8R2GPAP7qC+3PNAR5Xza/q53aEP+1xZBPJ GnyJi685XYvQiu+3bDkHM7001VQCs3Yt1uau0NjvH7s+ezLHN4PK3hIB5Djhk4DA/ffr Mneo4OwK6IyFxijcn+/JCWaSCKa/Ogtxw1XEWwtK8rEWRUQ17WyNUw8MRGDOFwCDLNXs 4HT/Z3B5lupidDRwb1vedhHjs7Qr2C8rdSVOOs3ylT/BQtFpyNFY8q6KLzEyrqnNr2kZ J/1mhRg2JPepMrqNMOGUvkL9GDqHauxT+bdFZ0O786fnujWl4JFa6xlXaUeakwHPSb4o IvHA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=V+Cq0Bq6s7jZKdOMJxKoEhI3y+HD5xOVeVUInloDmVQ=; b=emHjYu3jqpxXRXdexKFH9CuF2eVdaclYAWaoA+zHKY4KzNk/qxUHdaeXvKG+UgE56K CAuwKssst28+rnyZITY0GMW7pzrLdJVlLhavHEejWBbBCiEEUyaQJXjlRpmXTC84jJkL it46DPlJFbuYv38XAuWZzmKn9oS6Unm55CGu/eiugI1+72Kvev2lwYSDIKy5VBDNb/8w x71UpOWjqY3FbErjheypEFbMLLSK/c3+QWl6+T6Uao8ZhU3Lb+cJ2nLxv90CqhrAX/wT uBZxtK5367/c94q/ctbNpqFOPU6d7HRJVciTvNyXd0sirq+MpFc5j4kIedkos8Om/PHd MpBA== X-Received: by 10.50.73.196 with SMTP id n4mr546086igv.3.1370831308437; Sun, 09 Jun 2013 19:28:28 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.222.170 with SMTP id qn10ls1774054igc.6.gmail; Sun, 09 Jun 2013 19:28:28 -0700 (PDT) X-Received: by 10.42.108.133 with SMTP id h5mr6658172icp.16.1370831308050; Sun, 09 Jun 2013 19:28:28 -0700 (PDT) Received: from mail-ie0-x22f.google.com (mail-ie0-x22f.google.com [2607:f8b0:4001:c03::22f]) by gmr-mx.google.com with ESMTPS id j3si895590igx.3.2013.06.09.19.28.27 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 09 Jun 2013 19:28:28 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22f as permitted sender) client-ip=2607:f8b0:4001:c03::22f; Received: by mail-ie0-x22f.google.com with SMTP id a13so2176925iee.34 for ; Sun, 09 Jun 2013 19:28:27 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.108.70 with SMTP id hi6mr3176139igb.21.1370831307842; Sun, 09 Jun 2013 19:28:27 -0700 (PDT) Received: by 10.64.233.229 with HTTP; Sun, 9 Jun 2013 19:28:27 -0700 (PDT) In-Reply-To: <1370830982.63258.YahooMailNeo@web184401.mail.bf1.yahoo.com> References: <51A379EF.3020803@gmx.de> <51A6685C.3010505@lojban.org> <51A8680E.7040103@lojban.org> <51A8F326.2020901@lojban.org> <51A8F89D.2040408@gmx.de> <51B00097.8080004@lojban.org> <51B06D24.6020102@gmx.de> <51B46762.8080509@lojban.org> <51B47305.4020704@gmx.de> <1370811519.81380.YahooMailNeo@web184403.mail.bf1.yahoo.com> <1370813476.27765.YahooMailNeo@web184405.mail.bf1.yahoo.com> <1370830982.63258.YahooMailNeo@web184401.mail.bf1.yahoo.com> Date: Sun, 9 Jun 2013 22:28:27 -0400 Message-ID: Subject: Re: [lojban] cmevla as a class of brivla From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22f as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=089e014953e026aa6204dec3891c X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --089e014953e026aa6204dec3891c Content-Type: text/plain; charset=ISO-8859-1 On Sun, Jun 9, 2013 at 10:23 PM, John E Clifford wrote: > Alas, what you say may be practically correct, but is logically wrong. > All predicates must have all arguments in place. If we omit some at the > surface level, they have to be restored uniquely at some level before > interpretation. At the moment, Lojban does not have a way of doing this. > As you note, following CLL, sometime there just isn't something for that > slot -- which means, of course, that we have the predicate wrong, if not > the other places. On the other hand, when there is something there, we > have no clear way of saying what should go there: the obvious value (I > suppose this is sorta {zo'e}) or the any value that makes the whole true > (presumably {da}), but no rule as to which to pick (and {zo'e}'s use here > does not fit well with its use in "definitions" of gadri). > This is outright incorrect as it pertains to Lojban. {zi'o} exists to build new semi-nonce predicates that don't include places of existing predicates. mi'e la latro'a mu'o -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban?hl=en. For more options, visit https://groups.google.com/groups/opt_out. --089e014953e026aa6204dec3891c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On S= un, Jun 9, 2013 at 10:23 PM, John E Clifford <kali9putra@yahoo.com= > wrote:
Alas, what you say may be practical= ly correct, but is logically wrong.=A0 All predicates must have all argumen= ts in place.=A0 If we omit some at the surface level, they have to be resto= red uniquely at some level before interpretation.=A0 At the moment, Lojban = does not have a way of doing this.=A0 As you note, following CLL, sometime = there just isn't something for that slot -- which means, of course, tha= t we have the predicate wrong, if not the other places.=A0 On the other han= d, when there is something there, we have no clear way of saying what shoul= d go there: the obvious value (I suppose this is sorta {zo'e}) or the a= ny value that makes the whole true (presumably {da}), but no rule as to whi= ch to pick (and {zo'e}'s use here does not fit well with its use in= "definitions" of gadri).=A0
This is outright incorrect as it pertain= s to Lojban. {zi'o} exists to build new semi-nonce predicates that don&= #39;t include places of existing predicates.

mi'e la = latro'a mu'o

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban?hl=3Den.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
--089e014953e026aa6204dec3891c--