Received: from mail-lb0-f184.google.com ([209.85.217.184]:58380) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1Xghjj-0007A0-IC for lojban-list-archive@lojban.org; Tue, 21 Oct 2014 15:17:09 -0700 Received: by mail-lb0-f184.google.com with SMTP id p9sf184191lbv.21 for ; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=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:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=jjQkACW2iiEOTRyzPOuUAZeGl7SNppUgOvMCrIMsj60=; b=yuzop8Ip2he7mw0C1NKs4rSmw/Jku1DOyI9ZowiJgkXWq3awQcSFGNRufepZEZLQVu Ek1F0xTfWYbtFHpAC7HX5O09bvjfAGbAw0DeO/YKav07MDuvJFoAZn+B3aui3LfLPivG 5F2wXJtTBiLxkTITDlKtoBaDDu/Sh20eWtZ4rlyQKZ+j2p552Kwcoilax5yipnXp5q5W uhr+Z+xvipsBC9liW3nKB/PrSeKLWWhIA2dHfkAm4LII3JYH8BJoI0gqludcF86afi9T Jn/7Zx4JcyJIjBwNdLRyL1ctSsP4fiMjPFbOaBxdgB+hGh9q6pLqVy8Sl+OcaLYsx13/ 7WJg== X-Received: by 10.180.75.73 with SMTP id a9mr7633wiw.18.1413929815770; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.180.81.10 with SMTP id v10ls189840wix.49.gmail; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) X-Received: by 10.180.93.35 with SMTP id cr3mr174190wib.2.1413929815228; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) Received: from mail-wi0-x22c.google.com (mail-wi0-x22c.google.com. [2a00:1450:400c:c05::22c]) by gmr-mx.google.com with ESMTPS id gk3si20708wib.1.2014.10.21.15.16.55 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 21 Oct 2014 15:16:55 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::22c as permitted sender) client-ip=2a00:1450:400c:c05::22c; Received: by mail-wi0-f172.google.com with SMTP id bs8so2358397wib.5 for ; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.84.194 with SMTP id b2mr33389446wiz.57.1413929815116; Tue, 21 Oct 2014 15:16:55 -0700 (PDT) Received: by 10.217.105.201 with HTTP; Tue, 21 Oct 2014 15:16:54 -0700 (PDT) In-Reply-To: <20141021010639.GB11705@gonzales> References: <20141014010742.GF19061@gonzales> <20141015005542.GC3713@gonzales> <20141018004531.GE20049@gonzales> <20141018180946.GF20049@gonzales> <20141018233648.GA29040@gonzales> <20141021010639.GB11705@gonzales> Date: Tue, 21 Oct 2014 19:16:54 -0300 Message-ID: Subject: Re: [lojban] Re: tersmu 0.2 From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::22c as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=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-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=f46d04426b985e12880505f63037 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --f46d04426b985e12880505f63037 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Mon, Oct 20, 2014 at 10:06 PM, Martin Bays wrote: > * Saturday, 2014-10-18 at 22:27 -0300 - Jorge Llamb=C3=ADas < > jjllambias@gmail.com>: > > > > And if we take them as primitive, the strange thing is that they form > > a small closed class, so you could not do with most functions what you > > could do with them. > > Could you rephrase that? I don't see what you mean. > Not sure what I meant now. I think I meant that you couldn't do with most functions (i.e. lo-functions) what you could do with the closed class of LAhE-functions, in terms of scope. (You can do it indirectly by using the prenex, of course.) But anyway: technically the class isn't actually closed, because of {na'u}! > Would "na'u broda" be an open class of functions but not "lo broda"? "na'u" seems to be an inside-of-mex equivalent of "lo". We could say that "lo broda"=3D"li na'u broda mo'e zo'e/zi'o". > > There are also scope questions. Probably we don't want > {ro danlu cu jbena gi'e ba bo morsi} to be equivalent to > {ro danlu cu jbena .i ba bo ro danlu cu morsi}? > "ro danlu" has scope over "gi'e" so it would be: ro da poi danlu zo'u ge ge da jbena gi da morsi gi lo nu da morsi cu balvi lo nu da jbena > If the logical connective isn't {je}, probably the tag relation should > only apply when the connectands are both true, i.e. corresponding > events/facts occur/hold. This seems sensible, and is supported by CLL > Chapter 10 Verse 17.10. > So ".i je nai [tag] bo" is always false? I never could make much sense of "tag bo" with connectives other than "je". > Firstly, we need a way to assign an event/fact variable to a proposition > without changing its semantics. {fi'o du} lets us do this; {fi'o du ko'a > broda} means that broda occurs/holds and ko'a is equal to the > event/fact of this. Let's make this a primitive in the logic, writing it > as "=3D.", so e.g. "{ko'a}=3D. broda()". (So technically "[term]=3D." is > a modal operator.) > I had never considered "fi'o du", it sounds useful. Maybe we want "fi'o ca'e du" if it's an assignment to a variable, rather than a claim. Or maybe it should be "sei ca'e ko'a du'u no'a", although I'm not sure whether "no'a" gets the right bridi. (I write the above paragraph as if I'm sure it makes sense, but I'm not. > If there are many events of brodaing in the situation, is {fi'o du ko'a > broda} true when ko'a is any of those events, or only when it's the > "intended" one? I would say it assigns to "ko'a" the intended ones, i.e. the ones you are describing with this proposition. > The below makes sense in either case, but with subtly > different results. If instead tags work such that {fi'o du ko'a broda} > isn't true for *any* ko'a in such a situation, then there's a problem!) > If there's no referent to assign to ko'a, the assignment will fail in the same way that a "goi" assignment could fail Then we can handle tagged conjunction by quantifying over events: > ro danlu cu jbena gi'e ba bo morsi -> > FA x1:(danlu(_)). EX x2. (x2=3D. jbena(x1) /\ (ba)(x2). morsi(x1)) > ro da poi ke'a danlu ku'o su'o de zo'u ge fi'o du de zo'u da jbena > gi ba de zo'u da morsi > , which is I think a natural and useful way to interpret it. > To be clear, that's intended to be equivalent to the following more > symmetric form: > FA x1:(danlu(_)). EX x2. EX x3. ((x2=3D. jbena(x1) /\ x3=3D. morsi(x1= )) > /\ {ba}(x2,x3)) > ro da poi danlu ku'o de di zo'u ge ge fi'o du de da jbena gi fi'o du > di da morsi gi de xo'i ba di > > Now for connectives other than conjunction, I'm not seeing a neater > solution than to "skim off" the TT case (if there is one); so e.g. to > consider {broda .i na ja ba bo brode} to be equivalent to > { na broda .i ja broda .i je ba bo brode}, where the tagged conjunction > is interpreted as above. > > Not very pretty. I'd be happy to hear of alternative possibilities. > > (When working on tersmu, I somehow convinced myself that the above > handling of tagged conjunction would go through unchanged for other > tagged connectives. So that's what's implemented. But thinking about it > now, I see that this is quite wrong.) > The fact that it only works well with "je" suggests there's something wrong with the "jek tag bo" construction. > It's odd however to have to read "li no pi'i mo'e ro namcu cu du li no" > > differently than "lo pilji be li no bei ro namcu cu du li no" > > Is it? I don't know. > > To analogise: I think the english pair > "zero times any number is equal to zero" and > "the product of zero and every number is equal to zero" > conveys the two meanings, using roughly the same structures. > But that's purely due to the different scopes of any/every, not to the variation between times/product-of. If you had "zero times every number is equal to zero" and "the product of zero and any number is equal to zero" you'd get the opposite result. mu'o mi'e xorxes --=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 http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --f46d04426b985e12880505f63037 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Mon, Oct 20, 2014 at 10:06 PM, Martin Bays <mbays@sdf.org> wrote:
* Saturday, 2014-10-18 at 22:27 = -0300 - Jorge Llamb=C3=ADas <jjl= lambias@gmail.com>:
>
> And if we take them as primitive, the strange thing is that they form<= br> > a small closed class, so you could not do with most functions what you=
> could do with them.

Could you rephrase that? I don't see what you mean.

Not sure what I meant now. I think I meant that you= couldn't do with most functions (i.e. lo-functions) what you could do = with the closed class of LAhE-functions, in terms of scope. (You can do it = indirectly by using the prenex, of course.)

But anyway: technically the class isn't actually closed, because of {na= 'u}!

Would "na'u broda&quo= t; be an open class of functions but not "lo broda"? "na'= ;u" seems to be an inside-of-mex equivalent of "lo". We coul= d say that "lo broda"=3D"li na'u broda mo'e zo'e= /zi'o".=C2=A0
=C2=A0

There are also scope questions. Probably we don't want
{ro danlu cu jbena gi'e ba bo morsi} to be equivalent to
{ro danlu cu jbena .i ba bo ro danlu cu morsi}?

"ro danlu" has scope over "gi'e" so it wou= ld be:

ro da poi danlu zo'u ge ge da jbena gi = da morsi gi lo nu da morsi cu balvi lo nu da jbena
=C2=A0
If the logical connective isn't {je}, probably the tag relation should<= br> only apply when the connectands are both true, i.e. corresponding
events/facts occur/hold. This seems sensible, and is supported by CLL
Chapter 10 Verse 17.10.

So ".i je = nai [tag] bo" is always false? I never could make much sense of "= tag bo" with connectives other than "je".=C2=A0
= =C2=A0
Firstly, we need a way to assign an event/fact variable to a proposition without changing its semantics. {fi'o du} lets us do this; {fi'o du= ko'a
broda} means that broda occurs/holds and ko'a is equal to the
event/fact of this. Let's make this a primitive in the logic, writing i= t
as "=3D.", so e.g. "{ko'a}=3D. broda()". (So techni= cally "[term]=3D." is
a modal operator.)

I had never consider= ed "fi'o du", it sounds useful. Maybe we want "fi'o = ca'e du" if it's an assignment to a variable, rather than a cl= aim. Or maybe it should be "sei ca'e ko'a du'u no'a&qu= ot;, although I'm not sure whether "no'a" gets the right = bridi.

(I write the above paragraph as if I'm sure it makes sense, but I'm= not.
If there are many events of brodaing in the situation, is {fi'o du ko&#= 39;a
broda} true when ko'a is any of those events, or only when it's the=
"intended" one?

I would say it a= ssigns to "ko'a" the intended ones, i.e. the ones you are des= cribing with this proposition.
=C2=A0
The below makes sense in either case, but with subtly
different results. If instead tags work such that {fi'o du ko'a bro= da}
isn't true for *any* ko'a in such a situation, then there's a p= roblem!)

If there's no referent to = assign to ko'a, the assignment will fail in the same way that a "g= oi" assignment could fail

Then we can handle tagged conjunction by quantifying over events:
ro danlu cu jbena gi'e ba bo morsi ->
=C2=A0 =C2=A0 FA x1:(danlu(_)). EX x2. (x2=3D. jbena(x1) /\ (ba)(x2). morsi= (x1))
=C2=A0 =C2=A0 ro da poi ke'a danlu ku'o su'o de zo'u ge fi&= #39;o du de zo'u da jbena
=C2=A0 =C2=A0 gi ba de zo'u da morsi
, which is I think a natural and useful way to interpret it.

To be clear, that's intended to be equivalent to the following more
symmetric form:
=C2=A0 =C2=A0 FA x1:(danlu(_)). EX x2. EX x3. ((x2=3D. jbena(x1) /\ x3=3D. = morsi(x1))
=C2=A0 =C2=A0 =C2=A0 =C2=A0 /\ {ba}(x2,x3))
=C2=A0 =C2=A0 ro da poi danlu ku'o de di zo'u ge ge fi'o du de = da jbena gi fi'o du
=C2=A0 =C2=A0 di da morsi gi de xo'i ba di

Now for connectives other than conjunction, I'm not seeing a neater
solution than to "skim off" the TT case (if there is one); so e.g= . to
consider {broda .i na ja ba bo brode} to be equivalent to
{ na broda .i ja broda .i je ba bo brode}, where the tagged conjunction
is interpreted as above.

Not very pretty. I'd be happy to hear of alternative possibilities.

(When working on tersmu, I somehow convinced myself that the above
handling of tagged conjunction would go through unchanged for other
tagged connectives. So that's what's implemented. But thinking abou= t it
now, I see that this is quite wrong.)

T= he fact that it only works well with "je" suggests there's so= mething wrong with the "jek tag bo" construction.
=C2= =A0

> It's odd however to have to read "li no pi'i mo'e ro = namcu cu du li no"
> differently than "lo pilji be li no bei ro namcu cu du li no"= ;

Is it? I don't know.

To analogise: I think the english pair
"zero times any number is equal to zero" and
"the product of zero and every number is equal to zero"
conveys the two meanings, using roughly the same structures.

But that's purely due to the different scopes of = any/every, not to the variation between times/product-of.=C2=A0 If you had = "zero times every number is equal to zero" and "the product = of zero and any number is equal to zero" you'd get the opposite re= sult.=C2=A0

mu'o mi'e xorxes

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