Received: from mail-it0-f59.google.com ([209.85.214.59]:44559) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1eDxgv-0001Nr-PX for lojban-list-archive@lojban.org; Sun, 12 Nov 2017 11:13:15 -0800 Received: by mail-it0-f59.google.com with SMTP id n134sf6412242itg.9 for ; Sun, 12 Nov 2017 11:13:13 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1510513987; cv=pass; d=google.com; s=arc-20160816; b=VVf4ezkZaDTtugIqMsBJkivaSj/ZLRIfzSK7XN+A8IpbWVCMdkwxlNtYZ2znyT8W4R RwvSImDBL/9XdfoCU/LEhNIqVAROwvTuShMipTl7beuSMYiQUrFYmLUiIvauUWD5QzUF 9gZdI53kCeDSw3rZH3ezXuw2YM6sK1kDyLSWbhCol9Eap8RmiR3ayAXoh2q0iGVM5Xl2 fHjpdYxjP1wDnpezSIb00K2jgGwohasvgE0yDghNQej+QZ3FkKdtXiB2mL9Hx3XMofxv vLZJDyJYyts/ViPU2tipEUfex0+UjNPv7h9tlT2MVL35ml6AWGBi90cmXjhcnMcVXp1g hw9A== 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:mime-version:subject :references:in-reply-to:message-id:to:from:date :arc-authentication-results:arc-message-signature:dkim-signature :arc-authentication-results; bh=VthzWGNtQjNGxrv9Xc8n4pD7Y7mhKpPDc5pQVZ4Rr2w=; b=iduwI88ETgkjMvrkwFuIHs+OsKGD+KAfRpekZSNB2da6LD9XlPBn5/z2nFymWeSoye LEim++u0Yr/738AF6YFaanXdFKH2rmGIOW+jzgqoT9SP3tQ2HmmZANQ/+DnDLo0p1T/o agDD/3VdJCbviL/u5I1qRVGMcGumqhJmmWTPNEfmaYIblUhsJGnxeloQYpx7MPLSiXhQ govAXRhldgN+shu9kWMv6Fpfd46rMu+cPY5AiQEcuVHqQpEPuNJrVSfVogeiBu4hTre6 IuNzgWFnKOVYdV8KOseV5wEJSGMQ97s7sI0Z/cHYY/ClzIywB2VGFHU+yMsOpVusO9X/ B06Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@yahoo.com header.s=s2048 header.b=gibmMleD; spf=pass (google.com: domain of kali9putra@yahoo.com designates 74.6.133.42 as permitted sender) smtp.mailfrom=kali9putra@yahoo.com; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=yahoo.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :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=VthzWGNtQjNGxrv9Xc8n4pD7Y7mhKpPDc5pQVZ4Rr2w=; b=QLQ8icHhrDJNmt5aAizM/HnvP1TOgTsbacZP7N5xlrFHhBjzKeaORQpVnywrrfMqj2 rnvifwnuChKvh0eUh8G05Z/mqdFk11nHV2wi4giWy5Zq0Dg7hXA8bbAlXX68Cv+0ZzAz LpY4KhhXJ7b0dbF3qeSKPWREf5/3sjLvjfot6xZp4G+lkuJeyUWklgcvAgzJSW/4BZJa 8XpLs9I/c1s3h6PMRlVFn7AXmdjnoitsJBZ1UHkJ4Bqp0Tv6usEOsHJj7v+81b3QtZh/ 7GBSp+veH2ZDZKzPrYCm/yVTCTRoccMU+i/A4wYEr1P3Mh1+VXt8N7ZaatwS6P4SpAqI VLTQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version: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=VthzWGNtQjNGxrv9Xc8n4pD7Y7mhKpPDc5pQVZ4Rr2w=; b=dJOHhGpzwb+L3pgiL+RBdDSWtyZ6OPclBxgc6e6U+jaQ9rk3MMhsKc28T9v6OChnU6 PxRJdbYzF9hijLo+HQ9bJj0Ljr1NLcz8Vw1Gq69rjvKPVLLuQbUAi5S7HkjIPkOpYkVh 2hiGlROmKoEZJ5Gv6UDCMKx88FUwyX6WbQGAXgyv23YLtr8RdsriS8YxT9sJQX2feyB7 gnZMHudaBHAmgsC9qYela5ERDc87SobxbfScBd3XQHfyjK/iysWQfVxZDN7gG5A34Z42 8TiUo5kC4yYLz39S8iN/I+heUdZH7KzUVcGS55MjLnpBcaSWoJbvCSmJks4igvLsIhd3 6wpQ== X-Gm-Message-State: AJaThX6TuOe/A+OS7h0Npvtbq2G4pykSHb8Iy5r1r6HMI7pOgbWdDu8H JgcclCcxMm0R2i9sfxAp56o= X-Google-Smtp-Source: AGs4zMZhFLydsGWNEfERG6gXrZK7B/mxd62662IXXQhXPUFPtWEH54OzPft1ChBaSPKNmIrQL9sehA== X-Received: by 10.36.121.69 with SMTP id z66mr103499itc.5.1510513987500; Sun, 12 Nov 2017 11:13:07 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.98.137.7 with SMTP id v7ls8442127pfd.7.gmail; Sun, 12 Nov 2017 11:13:06 -0800 (PST) X-Received: by 10.99.170.70 with SMTP id x6mr5021502pgo.115.1510513986962; Sun, 12 Nov 2017 11:13:06 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1510513986; cv=none; d=google.com; s=arc-20160816; b=WKQSz2VMJ/ybAc/CvalQ7WZY6bTTUv1fJuLNGmS/pGPSE+7WJTJXHZtciD6hfBB77W wTASx8Pd/XxBKQA3sajV2/x8NqtFks12bRO3nO58k6wKzZlcDfJ6YUVVNAOzokg6WRZw sgz4FiotV18eId+MrytGmiVOi1t+PHc9f9v5C67BKk5ht6hmZasx28yrr4Z3NLzeAXeV l5hNQNQgqBuF7qPEPVECgj++fsr4p4nQzqTzIG8FY/ZVoKZy3fk7FjYfAYz35d8C2Ir1 a3tN2nfiw5uxnRJIm3xHXN3v3yB6RXNnDyHCArao0w59Th44Tvhiqy4wYo1Lj0i0ob6/ Gq0A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:subject:references:in-reply-to:message-id:to:from:date :dkim-signature:arc-authentication-results; bh=p+ysQVvzqO7BLCqLtJhmMtP1IzhByhXeSdDdd6cBG/E=; b=B8qI6/UiuHkKhM/M9x6XDpnnb1wro1D0BvjUmDctxaZqhmaIJItkGwkqygVn8k6BA/ 2kHe+/VQ69I8sisUikzfvdVNy0L2R3+PjsV8bn6+AjGtnK49HNzJuLKp1CIiXRVRp405 P5kdhPo9C3tOOtarmO7Piw4UyB/nw2w19R0ZnyWW/l8fpsSvtNbOpJVacVrlx3CWzNaW H9O7lyryw4f2lEqNzBkCcKrkN1TdkoWUwf5od42Cn4DMhEcYwI1nZ5F0EwZxqtdojwtv 8lXEfR4I975eY3GJuXTeKTr9/lzoUicXPmK5Vo3wh1r8TQIb3eVMMg5mgnfnzo4xdRLF 7xuQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@yahoo.com header.s=s2048 header.b=gibmMleD; spf=pass (google.com: domain of kali9putra@yahoo.com designates 74.6.133.42 as permitted sender) smtp.mailfrom=kali9putra@yahoo.com; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=yahoo.com Received: from sonic305-3.consmr.mail.bf2.yahoo.com (sonic305-3.consmr.mail.bf2.yahoo.com. [74.6.133.42]) by gmr-mx.google.com with ESMTPS id w4si789795plp.5.2017.11.12.11.13.06 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 12 Nov 2017 11:13:06 -0800 (PST) Received-SPF: pass (google.com: domain of kali9putra@yahoo.com designates 74.6.133.42 as permitted sender) client-ip=74.6.133.42; X-YMail-OSG: 6IViBGgVM1mYRj2xFbLzwraPQ6Vy5fiVDSveD0XXQURxwdMzR.nEAc7LcsvKimj oCG9XP5AbCwZObsQp9AqGBs13lga53s8VtOsktOBm9aRy3a13Lu6TYDkLZOrIp3Cn5iJobCp.5fM 7wlDxRecYyT1xw3XlhCr5xOsJd6frE9upQpizB4.QCcTAM9554uy0spw6ZOCBA.Q22ewaeS4TcS. cwMhM7JKzmc8A9hyIp5MMshuZS_cMVjWx7XSMg6mgS_0hO4GyPzb3zHWkcuQDUoOJTo55XssxGRo BzChddceVsfAjctT6PFNtUPaUhAAyws_vX41MEGCDYUigu.FApf4X8Q4l8oltmRV3JE7IFxg4T.k mcNZ3MRodMgTKwpe6JP9jbAzrfg6j3NbgrbaT1WSis173kOn0iYpF8pk0ihkkEFzmuZrDWQX.k.b 23Dzr0dH9_F51Xhs6Zuhq.GzS.6he2YCsCAEk7zDgGKWX3_PEu_UsrtpEe8tK7gefUpa1RMBHxqa Y8JTnP70- Received: from sonic.gate.mail.ne1.yahoo.com by sonic305.consmr.mail.bf2.yahoo.com with HTTP; Sun, 12 Nov 2017 19:13:05 +0000 Date: Sun, 12 Nov 2017 19:12:51 +0000 (UTC) From: "'John E Clifford' via lojban" To: Message-ID: <360002055.605089.1510513971875@mail.yahoo.com> In-Reply-To: <20171112121530.GA6511@SDF.ORG> References: <38c97c6d-7f22-48da-a55e-c748fbdb830f@googlegroups.com> <335313038.174144.1510412237273@mail.yahoo.com> <98db3894-350a-4361-84eb-d9033e0af862@googlegroups.com> <864278277.359141.1510451894891@mail.yahoo.com> <20171112121530.GA6511@SDF.ORG> Subject: Re: [lojban] Re: CLL and modern Lojban MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_605088_580055544.1510513971874" X-Mailer: WebService/1.1.10940 YMailNorrin Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_6) AppleWebKit/604.3.5 (KHTML, like Gecko) Version/11.0.1 Safari/604.3.5 Content-Length:10630 X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@yahoo.com header.s=s2048 header.b=gibmMleD; spf=pass (google.com: domain of kali9putra@yahoo.com designates 74.6.133.42 as permitted sender) smtp.mailfrom=kali9putra@yahoo.com; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=yahoo.com X-Original-From: John E Clifford 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: -0.4 (/) X-Spam_score: -0.4 X-Spam_score_int: -3 X-Spam_bar: / ------=_Part_605088_580055544.1510513971874 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Well, let=E2=80=99s see.1. =C2=A0No one is suggesting a lexed version of F= OPL or HOIL as a language, although, as one who spoke one fairly regularly = for thirty-some years, I can say that it is not too bad (certainly not wors= e than Lojban in the areas both cover). =C2=A0The biggest problem is repeti= tion, since you have to say everything the same way every time. =C2=A0So, t= he first steps in deriving a language from =C2=A0formulae, unequivocal repe= tition replacement: fusion and prowords, mainly. After that, the rest is ic= ing. =C2=A0Oh, and adding a bunch of conversational expressions. =C2=A0=C2= =A02. =C2=A0The theory goes that every sentence in any language derives by = a series of transformations from a semantic representation, viewed as a for= mula in an adequate HOIL. =C2=A0A correct parse, then, is one that gets bac= k to that original formula (up to the relevant logical equivalence). Practi= cally, this seems to mean that the derivations involved are all biunique. = =C2=A0Of course, none of this discussion applies to Lojban, since it does n= ot define its sentences against a semantic base (though, of course, it has = one).3. =C2=A0The descriptions of languages used in the discussion of SWH a= re those of surface phenomena as described in the first half of the 20th ce= ntury and bear very little relation to what a linguist might do today (one = would hope). In particular, all sentences of all languages have the same so= rt of underlying representation and differ only in the selection of transfo= rmation used to get to them, so the SAE etc. classifications, have no profo= und reality. =C2=A0Nor do they reflect different ways of viewing the world,= as revealed in non-linguistic tests. =C2=A04. =C2=A0As noted, Nyaya Sanskr= it is as formal a language as FOPL, just written in Sanskrit words not non-= linguistic symbols. Spoken FOPL is in English (etc.) words but not the less= formal for that. Nyaya could be symboized in a HOIL fairly easily, I think= (I stopped that dissertation before I got that far, alas), so could be enf= olded in Lojban, if Lojban were actually based on HOIL (or even a suitably = extended version of FOPL).=C2=A05. =C2=A0I confess that, aside from constan= tly fiddling with minutiae, I have no idea what reformers have as a vision = for Lojban 2.0 or whatever. =C2=A0Does it still aim at the old goals, has i= t dropped some, has it added others, is it totally different? Of course, ov= er the years even the goals of the CLL fundamentalists have become increasi= ngly less clear as even they diddle with this cmavo or that, even this. sel= ma=E2=80=99o or that. =C2=A0All ultimately to no particularly interesting p= oint, so far as I can see from what is floating around now. =C2=A0 On Sunday, November 12, 2017, 6:15:37 AM CST, Martin Bays wrote: =20 =20 * Sunday, 2017-11-12 at 12:55 +0100 - Ilmen : > Incidentally, there is a work-in-progress piece of software that aim to > translate back and forth between Lojban and a custom logical notation ; t= he > project is called Tersmu: https://gitorious.org/tersmu/tersmu/ I should probably clarify that work on it isn't really in progress any more, at least not by its original author (me). I'll try to maintain it, but I can't imagine getting back to working on it seriously any year soon. So I encourage anyone interested in developing the project further to fork it. --=20 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 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. =20 --=20 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 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. ------=_Part_605088_580055544.1510513971874 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Well, let=E2=80=99s see.
1.  No one is sugg= esting a lexed version of FOPL or HOIL as a language, although, as one who = spoke one fairly regularly for thirty-some years, I can say that it is not = too bad (certainly not worse than Lojban in the areas both cover).  Th= e biggest problem is repetition, since you have to say everything the same = way every time.  So, the first steps in deriving a language from  = ;formulae, unequivocal repetition replacement: fusion and prowords, mainly.= After that, the rest is icing.  Oh, and adding a bunch of conversatio= nal expressions.   
2.  The theory goes that every= sentence in any language derives by a series of transformations from a sem= antic representation, viewed as a formula in an adequate HOIL.  A corr= ect parse, then, is one that gets back to that original formula (up to the = relevant logical equivalence). Practically, this seems to mean that the der= ivations involved are all biunique.  Of course, none of this discussio= n applies to Lojban, since it does not define its sentences against a seman= tic base (though, of course, it has one).
3.  The descriptio= ns of languages used in the discussion of SWH are those of surface phenomen= a as described in the first half of the 20th century and bear very little r= elation to what a linguist might do today (one would hope). In particular, = all sentences of all languages have the same sort of underlying representat= ion and differ only in the selection of transformation used to get to them,= so the SAE etc. classifications, have no profound reality.  Nor do th= ey reflect different ways of viewing the world, as revealed in non-linguist= ic tests.  
4.  As noted, Nyaya Sanskrit is as formal a= language as FOPL, just written in Sanskrit words not non-linguistic symbol= s. Spoken FOPL is in English (etc.) words but not the less formal for that.= Nyaya could be symboized in a HOIL fairly easily, I think (I stopped that = dissertation before I got that far, alas), so could be enfolded in Lojban, = if Lojban were actually based on HOIL (or even a suitably extended version = of FOPL). 
5.  I confess that, aside from constantly fi= ddling with minutiae, I have no idea what reformers have as a vision for Lo= jban 2.0 or whatever.  Does it still aim at the old goals, has it drop= ped some, has it added others, is it totally different? Of course, over the= years even the goals of the CLL fundamentalists have become increasingly l= ess clear as even they diddle with this cmavo or that, even this. selma=E2= =80=99o or that.  All ultimately to no particularly interesting point,= so far as I can see from what is floating around now.  
=20
=20
On Sunday, November 12, 2017, 6:15:37 AM CST, Marti= n Bays <mbays@sdf.org> wrote:


* Sunday, 2017-11-12 at 12:55 +0100 - Ilmen <ilmen.pokebip@gmail.com>:
=
> Incidentally, there is a work-in-progress piece of = software that aim to
> translate back and forth betwee= n Lojban and a custom logical notation ; the
> project= is called Tersmu: https://gitorious.org/tersmu/tersmu/

I should probably clarify that work on it isn'= t really in progress any
more, at least not by its origin= al author (me). I'll try to maintain
it, but I can't imag= ine getting back to working on it seriously any
year soon= . So I encourage anyone interested in developing the project
further to fork it.


--
You received this me= ssage 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+unsubscri= be@googlegroups.com.
To post to this group, send emai= l 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.
------=_Part_605088_580055544.1510513971874--