Received: from mail-qg0-f58.google.com ([209.85.192.58]:34421) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1ZHkSf-0007nf-HY for lojban-list-archive@lojban.org; Tue, 21 Jul 2015 20:13:36 -0700 Received: by qgdf45 with SMTP id f45sf53953035qgd.1 for ; Tue, 21 Jul 2015 20:12:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe; bh=xS2shrZjJ8tmjkn6V+OEeNf+/uMV33226VrAgo0svCY=; b=RbXThOdnrxUbARhbeeeyq0OeXr3CRE5ihdlxIYUo9ofjhq5a44b025JHE6P4yCzU6X qQnzTpprv38YlFhNEINxVIhTgKz93JURF1AJ/NpvVk5FaD/22FKfFHS0kzp3v0gD5dyG jephH/a0HeGyzXoDZQFsSgmr+8JHOwnFwtQlEsQt/pFQgozdi9fL2Tg0Bce3hEQ+lxlo jnLWxpsootYDP/yYKCJ3Y5TwWuBPkBMr1yB2UT/dn4dWam5AXfCgZv4R7EdrX62i+MgA /vF2UjHJn/akTuQZ8cYo3jtuTjR40G9FaOKjojiStccQ5CZ9haLU9TC1bD5pRTKEUg4Z QB4A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe; bh=xS2shrZjJ8tmjkn6V+OEeNf+/uMV33226VrAgo0svCY=; b=bnU5z66bpqcwx8JlSVSZmmeE/EOZmbRbI9oTa7u48YThwvPhtA8waEtcDeHyga9sAY 5dULnaXP9aVXwh+a5t8g30VOdt8PDqg0144hqPpuR+1rzKKA4/JzjZjC02hORrmi3Nsu 9iB16RVjYuOOeg5pysdqtqVLMFsJa+X+SARMrmzXWAzBRtdXWI20RzyLHl6FARUrdtp9 P7trW4Nl00gKEgSV80Fep8rbVY0ie3P3vryLyxOB4WDvgrrbgTJoeWdQfvMEkCJ774tD U5pHWjNp0xU2qu9AEsfVEENSwIiORqi+5L93ENe1bTr2faSnD1b0BUi7Fo/dXKnUnvuI gznw== X-Received: by 10.50.142.39 with SMTP id rt7mr386436igb.17.1437534763474; Tue, 21 Jul 2015 20:12:43 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.137.81 with SMTP id l78ls129198iod.80.gmail; Tue, 21 Jul 2015 20:12:43 -0700 (PDT) X-Received: by 10.50.126.35 with SMTP id mv3mr25314igb.17.1437534763159; Tue, 21 Jul 2015 20:12:43 -0700 (PDT) Date: Tue, 21 Jul 2015 20:12:41 -0700 (PDT) From: guskant To: lojban Message-Id: <8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com> In-Reply-To: <55AE616F.9040509@gmx.de> References: <1c2a3b64-07b1-4023-a740-362deb17da34@googlegroups.com> <55AD070D.5020903@gmx.de> <55AE1142.5090807@gmx.de> <8bab9435-5f94-4742-b74a-8cceac2c8a60@googlegroups.com> <55AE616F.9040509@gmx.de> Subject: Re: [lojban] xoi and new soi as bridi relative clause MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_281_1364522532.1437534761699" X-Original-Sender: gusni.kantu@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.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- ------=_Part_281_1364522532.1437534761699 Content-Type: multipart/alternative; boundary="----=_Part_282_1123421868.1437534761700" ------=_Part_282_1123421868.1437534761700 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le mardi 21 juillet 2015 15:12:47 UTC, selpa'i a =C3=A9crit : > > la .guskant. cu cusku di'e=20 > > (B) lo prenu poi ro da zo'u ke'a djica lo nu ke'a viska da=20 > > "people that are such that for all X, they want to see X"= =20 > >=20 > > zo'u in this fragment is logically meaningless because of lack of main= =20 > > bridi. If there were main bridi, the prenex could be put out:=20 > >=20 > > roda zo'u ko'a prenu ije ko'a djica lo nu ko'a viska da=20 > >=20 > > And then it becomes logically analyzable.=20 > > Prenex in noi-clause is only a pseudo-prenex that is logically=20 > meaningless.=20 > > Why should the relative clause care about the main bridi? The relative=20 > clause in (B) is like a predicate that attaches to {prenu} with {je}.=20 > {poi ro da zo'u ...} could be rewritten {poi ckaji lo ka ro da zo'u=20 > ...}, and (B) could be rewritten as {lo prenu je ckaji be lo ka ...}.=20 > > At what point do you think does it stop being equivalent?=20 > > Relative clauses should care about the main bridi, because the bridi in=20 relative clauses share their universe of discourse with the main bridi.=20 About this example of fragment, I said only "logically meaningless", but it= =20 does not bring any problem by itself.=20 The problem occurs in the case that plural relative clauses appears with=20 their own prenex, sometimes nested in logical connectives. Which prenex is= =20 the outmost? How can the negations, numbers and logical connectives are=20 transformed into a prenex normal form? > > (D) ma'a ca ro xavdei lo ka vokta'a cu simxu, soi ku'i na ku r= o=20 > da=20 > > poi jbopre zo'u lo nu da pagzu'e ke'a cu dikni=20 > > "On every Saturday we have vocal chats, which however is= =20 > such=20 > > that not every Lojbanist is such that their taking part in them=20 > occurs=20 > > regularly."=20 > >=20 > > No problem here. My main problem was this:=20 > > what if some xoi-clauses and soi-clauses in a sentence have each prenex= ?=20 > > which prenex will be regarded as outmost?=20 > >=20 > > However, considering (D), I understood the logical property of=20 > > xoi/soi-clause.=20 > > They are statements independent of the main bridi. Logically, {soi},=20 > > {xoi} and {se'u} plays the same role as {to} {toi}.=20 > > This may be true for {soi}, but I'm not at all sure it's true for {xoi}.= =20 > There are two options for {xoi}: it's either restrictive or=20 > non-restrictive. If it is one of the two, then we don't have a word for= =20 > the other and vice versa. There should really be two {xoi}. Let's call=20 > them {Pxoi} and {Nxoi}. There is an important difference between (E) and= =20 > (F):=20 > > (E) so'i verba cu krixa Pxoi fanza=20 > "Many children are yelling annoyingly."=20 > (There may be children there whose yelling isn't annoying)=20 > > (F) so'i verba cu krixa Nxoi fanza=20 > "Many children are yelling, which is annoying."=20 > (Every yelling child is annoying)=20 > > Which one is {xoi} supposed to be?=20 > > If (E), xoi-clause encloses a sentence, not a statement. If (F) can be=20 expressed by soi-clause, then (E) for xoi is useful, though I don't know=20 which the creator of the word think of. =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 http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. ------=_Part_282_1123421868.1437534761700 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Le mardi 21 juillet 2015 15:12:47 UTC, selpa'i a =C3=A9crit=C2= =A0:
la .guskant. cu cusku di&#= 39;e
> =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(B) lo prenu poi ro da zo'u = ke'a djica lo nu ke'a viska da
> =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"people that = are such that for all X, they want to see X"
>
> zo'u in this fragment is logically meaningless because of lack= of main
> bridi. If there were main bridi, the prenex could be put out:
>
> roda zo'u ko'a prenu ije ko'a djica lo nu ko'a vis= ka da
>
> And then it becomes logically analyzable.
> Prenex in noi-clause is only a pseudo-prenex that is logically mea= ningless.

Why should the relative clause care about the main bridi? The relative= =20
clause in (B) is like a predicate that attaches to {prenu} with {je}.= =20
{poi ro da zo'u ...} could be rewritten {poi ckaji lo ka ro da zo&#= 39;u=20
...}, and (B) could be rewritten as {lo prenu je ckaji be lo ka ...}.

At what point do you think does it stop being equivalent?



Relative clauses s= hould care about the main bridi, because the bridi in relative clauses shar= e their universe of discourse with the main bridi. About this example of fr= agment, I said only "logically meaningless", but it does not brin= g any problem by itself.=C2=A0

The problem occurs = in the case that plural relative clauses appears with their own prenex, som= etimes nested in logical connectives. Which prenex is the outmost? How can = the negations, numbers and logical connectives are transformed into a prene= x normal form?



> =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(D) = ma'a ca ro xavdei lo ka vokta'a cu simxu, soi ku'i na ku ro da
> =C2=A0 =C2=A0 poi jbopre zo'u lo nu da pagzu'e ke'a cu= dikni
> =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"On every Sat= urday we have vocal chats, which however is such
> =C2=A0 =C2=A0 that not every Lojbanist is such that their taking p= art in them occurs
> =C2=A0 =C2=A0 regularly."
>
> No problem here. My main problem was this:
> what if some xoi-clauses and soi-clauses in a sentence have each p= renex?
> which prenex will be regarded as outmost?
>
> However, considering (D), I understood the logical property of
> xoi/soi-clause.
> They are statements independent of the main bridi. Logically, {soi= },
> {xoi} and {se'u} plays the same role as {to} {toi}.

This may be true for {soi}, but I'm not at all sure it's true f= or {xoi}.=20
There are two options for {xoi}: it's either restrictive or=20
non-restrictive. If it is one of the two, then we don't have a word= for=20
the other and vice versa. There should really be two {xoi}. Let's c= all=20
them {Pxoi} and {Nxoi}. There is an important difference between (E) an= d=20
(F):

=C2=A0 =C2=A0 (E) so'i verba cu krixa Pxoi fanza
=C2=A0 =C2=A0 =C2=A0 =C2=A0 "Many children are yelling annoyingly.= "
=C2=A0 =C2=A0 =C2=A0 =C2=A0 (There may be children there whose yelling = isn't annoying)

=C2=A0 =C2=A0 (F) so'i verba cu krixa Nxoi fanza
=C2=A0 =C2=A0 =C2=A0 =C2=A0 "Many children are yelling, which is a= nnoying."
=C2=A0 =C2=A0 =C2=A0 =C2=A0 (Every yelling child is annoying)

Which one is {xoi} supposed to be?



If (E), xoi-clause encl= oses a sentence, not a statement. If (F) can be expressed by soi-clause, th= en (E) for xoi is useful, though I don't know which the creator of the = word think of.
=C2=A0

--
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.
------=_Part_282_1123421868.1437534761700-- ------=_Part_281_1364522532.1437534761699--