Received: from mail-wm0-f58.google.com ([74.125.82.58]:34143) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1eEH8H-0003za-21 for lojban-list-archive@lojban.org; Mon, 13 Nov 2017 07:58:47 -0800 Received: by mail-wm0-f58.google.com with SMTP id l188sf5597593wma.1 for ; Mon, 13 Nov 2017 07:58:44 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1510588718; cv=pass; d=google.com; s=arc-20160816; b=udohhr86OH2QqBh43Ssq2xWePo/sWhkTMZvGzFIdwwb/IjONDw2OCSmk9STmR2MCon zPgFb19vJLjW+3nv23lcRarD0R0giTSaw5dkLqXOXJG018P0mSgYVS0Q34bCVTLYskOL 7WLKN9NEtDeRf6h5TOyPZ+qtWpxgNKJydKWq2OrD9dV3Qpt4CYDj8kubjPyKUXkv/ccD hqOmI7nY5Fowu0JRy7qX1BOxXQPAUnfwWPxLp3AyrIy+ftWQHhEUAjDpkuh1VLPl/9XO dGAodVR8uKHcCHZOcegQ2N04vGPs8d867NbkvhFCNn6P0CSaUdVuBhwuqLlvhNf5cQyN RByQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:subject:message-id:date :from:references:in-reply-to:mime-version:arc-authentication-results :arc-message-signature:sender:dkim-signature:dkim-signature :arc-authentication-results; bh=bZxhoaEWmMl8bRaUWUz7grFfjgJDiV5Wh79K0eQSxCw=; b=w/h1835pE4Z6JsjVxVmxPTAFdS9AOHCrFCET7Uk9KLQNt3cDpPZkjSgMYF8pZX4Wtl hGPo4Q7qeEX/VAzu4eXuT4lOrzcnACkckUn7DC8fDn4/dUdFSB3lO/drC4cvdaWs9p45 g6sqlHO+TDFwMDOt5jV5zbNjYQXw/JNUMbKoXUz3gcnnBOOfZY/ZE10i2SqEa/hlZJkW 5poOxcRN5lxJYF2VgXyKpD9CnZMm75kRKAemPZYlz5gfuAHPCv7/Jsz0ialAne/y6tnU FZvEISOQr7i2vgocgBcI1zKUMYwPcn+DmrBfmSupSOiSJtilv0pbBEAYuATRgsg24RA6 iQPw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=itjyUenc; spf=pass (google.com: domain of rdentato@gmail.com designates 2a00:1450:400c:c0c::22e as permitted sender) smtp.mailfrom=rdentato@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:in-reply-to:references:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=bZxhoaEWmMl8bRaUWUz7grFfjgJDiV5Wh79K0eQSxCw=; b=T4x8f3ebZ+x6ZDGB9lZfQ1fOI7PtYELs+QMSw2VGn2m1L/HTIgzFzwyQDqBqv8ed0/ +DbEINvQGSgn40ah+J+kMl9UEfjKKp73H6lgWwo+Gnfpckp6eW0XEUqPgNa3lvwnIY7U XoJE0DXSAbDSUrzvfCYAwtGNJ8Sh/q/WgTmOnUzVv7kPKQp0ip/TPxhVvLD6N1ug+TU9 1cm6AOKR6q1JoS2+h73AUzw+BWPD+CWG/B6G4XSX+lMY7/hZZF3+PR9EREyZt2yjrI9x 7G1tE7S0U1CcX5vgwZO0I61wuc8T5Gw6pIrnThyQ7fuV53PoOexVNZK4IrclOVFugehD N35g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=bZxhoaEWmMl8bRaUWUz7grFfjgJDiV5Wh79K0eQSxCw=; b=id+dItilbT91EXev+QjQ9fdvlx6RFZIOst/yOZwmMzvgFHkBCMm8YAmAbMWaQV+4ZI S3PMgqBRjOxiG/QL1c3MNUOiiWCrqaNanPujLQoifhGAfI6Ji43//24KjNuR1sRswaGh LOiZzLGuatxCyb8+Cpe3SBEOvgVE9JV/zrXbutjavqqdlU5lCl+ADH5wyucsSe/V6MC8 hr1vj+xNu2BydcyGTp24QmUmSxzCbp9q4vi7/n06R0rzP2uiWRKWG7Wb9ouOdx5fuBh5 Y9RKRV+Uc5quTY8zrJI6p7aO5DECDo61w8YN0wAagEvlD0td+ofBhe22pSURHuvaqT2c /j+g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=bZxhoaEWmMl8bRaUWUz7grFfjgJDiV5Wh79K0eQSxCw=; b=XQsA/LjE2gC/CPBrSYkjt1B+7LR3PbEDcnlY1RumqhtlqwG5V2n6mJLwyh9Wtf0K/z Ab9iEAcYMvmeS0FNUlk+PrRr7S1IQoS285z1SxMOPn3UmO4N2GO/SKdugFGMI3jxCwZe YMOJJtug1o4jKu52/hTZx0vg5A4IfNL0RUa7RG0CqS1ojvEXBp8TRFETiQmsGtEvywpI RhT2WO72qd/1e1h/UX8P1DnZNFrKtTaVDyUNYVNYGJ2MQab5/BbaspvhfOQCJWSpknIY ubpgwOZeBqx87nZmT0y184F69vvrQJCXkh5ScM+/jR+f27K87t0KKvtKONIlQSVZAu1R RIYw== Sender: lojban@googlegroups.com X-Gm-Message-State: AJaThX7/RKGEA3wVNN8tSi4pJfPYEo/covnAORpecNt3MdANvQw0oaQc /MPZtwRF29A86ssSZiowS6A= X-Google-Smtp-Source: AGs4zMYVZhAN9rD23dy2gWzyw1wULk8F1a4lbaXE7YM7XOO8DqGxTYw/mqAoKUMlInJ9zfpIXrDkbw== X-Received: by 10.28.199.8 with SMTP id x8mr71232wmf.1.1510588718407; Mon, 13 Nov 2017 07:58:38 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.28.193.142 with SMTP id r136ls1046571wmf.5.canary-gmail; Mon, 13 Nov 2017 07:58:37 -0800 (PST) X-Received: by 10.223.166.129 with SMTP id t1mr1494484wrc.32.1510588717708; Mon, 13 Nov 2017 07:58:37 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1510588717; cv=none; d=google.com; s=arc-20160816; b=AW5kS0w/BzKRQ1VKFi8amOVfrlKR5T9r51CX4TVHbWq65tX+M2OD6cvewmEY1+zZKb lHoSvXy5Q7+6quJnjxFPaFJSWFbnsCaXQ7JODoqkcDbQ1R6q1cdHqJAGyvZeED8tRQof t9XPn0moRD6cAFp1pd7beuf9lqgc6kbuKFK8FB3lfGUWuzvmj2jWWlEY8WY4WGsJiu0x fR39WeBOvjPpM3DfUJ+v2EgtJtyW/9bpvvql4npkHyY7v3Ru6CTJ8o5DYUG3L1bCwgd3 Ueydy/M7Dxo9Ys/BuDOIVJvS+9egznAzkBqOkRWMTpvXLwF/wWBgR00G05sQLEYl+WVz OKAg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=PDwzUZCqLnjXqLGK8rOMcdg+lspAjapckcHcat+tkd4=; b=YHGRO6/dVJzCGsl7fk/GnRDYnesI+1bA+Odg3bsQjiPzk2fTQudVZVHoGXtGskVATb gWr8/oCujfPkBzLGOotG0Qfeml8tm9qaBTqgWO6GG9se0s+QMJYUJ4ePXLKt+ssAmLX9 mcdebGHOzlv165rJYoUoZOsoA5y6cF11xWDNPnEG9Av23XIUtpxcakcZ1ucWBy5miHR5 oPK1WdAXETyGOrLKRBMEnHNM3LL8MnKzgM2QhZs2kaV8uT5c3p4p+JfUqI0iiSrVKq5g bGzd+Icna5sfwl5ocmGNoJ6+ETqxICIlNMMwcRhj4KyWqEbiO8iqEIi9UkUSWNuQBnFg Fo/A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=itjyUenc; spf=pass (google.com: domain of rdentato@gmail.com designates 2a00:1450:400c:c0c::22e as permitted sender) smtp.mailfrom=rdentato@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: from mail-wr0-x22e.google.com (mail-wr0-x22e.google.com. [2a00:1450:400c:c0c::22e]) by gmr-mx.google.com with ESMTPS id b8si1065396wrf.5.2017.11.13.07.58.37 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 Nov 2017 07:58:37 -0800 (PST) Received-SPF: pass (google.com: domain of rdentato@gmail.com designates 2a00:1450:400c:c0c::22e as permitted sender) client-ip=2a00:1450:400c:c0c::22e; Received: by mail-wr0-x22e.google.com with SMTP id y42so14870738wrd.3 for ; Mon, 13 Nov 2017 07:58:37 -0800 (PST) X-Received: by 10.223.173.67 with SMTP id p61mr7056220wrc.226.1510588716691; Mon, 13 Nov 2017 07:58:36 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.136.149 with HTTP; Mon, 13 Nov 2017 07:58:35 -0800 (PST) In-Reply-To: References: <78156dc5-1fb3-4e9d-992c-a8f30facc4fd@googlegroups.com> From: Remo Dentato Date: Mon, 13 Nov 2017 16:58:35 +0100 Message-ID: Subject: Re: [lojban] Re: CLL and modern Lojban To: lojban Content-Type: multipart/alternative; boundary="f403045cf798dc3627055ddf5743" X-Original-Sender: rdentato@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=itjyUenc; spf=pass (google.com: domain of rdentato@gmail.com designates 2a00:1450:400c:c0c::22e as permitted sender) smtp.mailfrom=rdentato@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -2.5 (--) X-Spam_score: -2.5 X-Spam_score_int: -24 X-Spam_bar: -- --f403045cf798dc3627055ddf5743 Content-Type: text/plain; charset="UTF-8" Adopting the connective system proposed by selpahi, imho, is one of the first proposal to be evaluated. I really believe that CLL system is far too unpractical for common usage. That would be a clear move toward a "modern" version of Lojban. On Mon, Nov 13, 2017 at 4:44 PM, And Rosta wrote: > > > On 8 Nov 2017 12:54, "Timothy Lawrence" edu.au> wrote: > > *> We have long known that CLL Lojban is not logically unambiguous, is not > internally consistent,* > > What do you mean? > > > CLL does not give complete and consistent rules for unambiguously mapping > Lojban sentences to logical forms. For folk for whom Lojban's purportedly > being a logical language is its paramount property, that is a big deal. > > > Is there something that documents this? > > > I don't know. It's certainly there in the mail archives and antique wiki > pages. Selpahi read through 25 years of email and wiki discussion in order > to understand the issues. > > My sense is that the folk who care about logic are more interested simply > in mending the language rather than in creating documents that focus on > explaining in one place all the problems with CLL Lojban, but there may > well be newer expository stuff I don't know about. > > A complicating factor is that not only is the community divided into those > who care about logic and those who don't (and can therefore favour CLL > Lojban), those who care about logic are in turn divided into those who want > to make the minimum changes to CLL Lojban to sort out the logical issues > and those who think that if you're going to make any changes at all then > you might as well fix some of the most egregious design flaws in order to > make the language much more user-friendly. Essentially the two positions > weigh the effort invested by the few people who have learnt CLL thoroughly > against the much larger but more hypothetical number who might learn and > use Lojban in future. > > > > *> is not complete,* > > I agree and would like to help complete it. > > > This is the job of the BPFK, but not much progres is visible from that > group. > > In my view, xorxes and selpahi should simply define bodies of candidate > new rules and changes and the rest of the BPFK or community or LLG should > vote on them by some suitably intelligent voting method. You could make it > more democratic by allowing anyone to submit proposed changes, but I would > be inclined to vote for exactly whatever xorxes and selpahi propose. Those > innovations elected would be deemed to supersede CLL where there is > incompatibility. And then textbook writers can write it up. Admittedly, > that already happened for xorlo, but nobody has yet textbooked it. > > --And. > > -- > 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 https://groups.google.com/group/lojban. > For more options, visit https://groups.google.com/d/optout. > -- 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 https://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --f403045cf798dc3627055ddf5743 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Adopting the connective system proposed by selpahi, i= mho, is one of the first proposal to be evaluated.=C2=A0 I really believe t= hat CLL system is far too unpractical for common usage.
=C2=A0That= would be a clear move toward a "modern" version of Lojban.


On Mo= n, Nov 13, 2017 at 4:44 PM, And Rosta <and.rosta@gmail.com> wrote:


On 8 = Nov 2017 12:54, "Timothy Lawrence" <timothy.lawrence@connect.qut= .edu.au> wrote:

> We have long known that= CLL Lojban is not logically unambiguous, is not internally consistent,

What do you mean?

CLL does not give c= omplete and consistent rules for unambiguously mapping Lojban sentences to = logical forms. For folk for whom Lojban's purportedly being a logical l= anguage is its paramount property, that is a big deal.=C2=A0


Is there something= that documents this?

I don't know. It's = certainly there in the mail archives and antique wiki pages. Selpahi read t= hrough 25 years of email and wiki discussion in order to understand the iss= ues.=C2=A0

My sense is t= hat the folk who care about logic are more interested simply in mending the= language rather than in creating documents that focus on explaining in one= place all the problems with CLL Lojban, but there may well be newer exposi= tory stuff I don't know about.

A complicating factor is that not only is the community divided = into those who care about logic and those who don't (and can therefore = favour CLL Lojban), those who care about logic are in turn divided into tho= se who want to make the minimum changes to CLL Lojban to sort out the logic= al issues and those who think that if you're going to make any changes = at all then you might as well fix some of the most egregious design flaws i= n order to make the language much more user-friendly. Essentially the two p= ositions weigh the effort invested by the few people who have learnt CLL th= oroughly against the much larger but more hypothetical number who might lea= rn and use Lojban in future.



> is not complete,=

I agree and would like to help complete it.

= This is the job of the BPFK, but not much progres is visible from that grou= p.

In my view, xorxes an= d selpahi should simply define bodies of candidate new rules and changes an= d the rest of the BPFK or community or LLG should vote on them by some suit= ably intelligent voting method. You could make it more democratic by allowi= ng anyone to submit proposed changes, but I would be inclined to vote for e= xactly whatever xorxes and selpahi propose. Those innovations elected would= be deemed to supersede CLL where there is incompatibility. And then textbo= ok writers can write it up. Admittedly, that already happened for xorlo, bu= t nobody has yet textbooked it.

--And.
<= /span>

--
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 https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--
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+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http= s://groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--f403045cf798dc3627055ddf5743--