Received: from mail-vn0-f57.google.com ([209.85.216.57]:33424) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1ZJbZN-0004gg-Am for lojban-list-archive@lojban.org; Sun, 26 Jul 2015 23:07:33 -0700 Received: by vnct143 with SMTP id t143sf25776374vnc.0 for ; Sun, 26 Jul 2015 23:07:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:cc: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=kIA9FMUL6RCIuK5+22MOnHNXltAPQOkNNsOxNzoRPpQ=; b=ss7xlVZnf/ieRSkOyayf8lJlJ9v08uqn6E2rgN3uEhXluDwPkUWRkbvCsDngHIIFR6 Z/mtVP1IRbVttEOpBa55KWGQu0BQJOo23F2E6DkBOBWIdH3GgRYjPCtPR3jQGXlZbvHs LJL82Pe9JDAG0WG5ssEVj9Opp39c4LZiP/GwSQaJQrIR8V6+RaH0XMpT6WHj3l53Rhz/ t7s3GBRojF5m2PuTO1cGr9WD4wuvxxQ8mP+1S7ssBMLFYb+w2neQUTGkkzOPUXElRQoY 5Tdq5Kg65cuh7GKUUY6ue+t93eNa3KcH93prEi2fLeAitb8Hlk5vtrnXK0r2Tyf1zTjk Orpg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc: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=kIA9FMUL6RCIuK5+22MOnHNXltAPQOkNNsOxNzoRPpQ=; b=pFDTnNF7Mg+xzLU9oIeBd9oXsOcbqGLD7dw5Sv/rhmDDeDVk7/FoY04Of+BqM8ALAt b0IPbSONVyYgNrK2f5QzJ5/tg9VnzXAhWD/zhpxjMcnj1CareeXQgGXfLORFrUUp7XD/ fvm6xh4qKWnGqQTo8NppILDK5AKTD3kmaJb/ngWNM5RQyomOusMMBv9o7o6CKave3Pzm tg0pRZEEcv+OTcUDLEHhPW1VEPLQkCJHvWbba3OzeesqhDw3HlvtWZba1623Fh15YIYd 3Z+nysMNGJl8QnllbJziUQCqHOMTlHrJECEuJnUmFE63TsXw/zSM/fGdsH44yHgxrxxB 3swQ== X-Received: by 10.50.85.40 with SMTP id e8mr150579igz.1.1437977239181; Sun, 26 Jul 2015 23:07:19 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.137.81 with SMTP id l78ls1623274iod.80.gmail; Sun, 26 Jul 2015 23:07:18 -0700 (PDT) X-Received: by 10.50.17.2 with SMTP id k2mr151295igd.11.1437977238909; Sun, 26 Jul 2015 23:07:18 -0700 (PDT) Date: Sun, 26 Jul 2015 23:07:17 -0700 (PDT) From: guskant To: lojban Cc: jjllambias@gmail.com Message-Id: <8420a2a0-7fe2-43e7-84a1-34d1e3fa057e@googlegroups.com> In-Reply-To: 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> <8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com> <3c04f416-2d4d-4d3f-8d55-a090d799090f@googlegroups.com> <55B162F5.8070302@gmail.com> <88204a7b-4228-4563-811a-14e4583cf8bd@googlegroups.com> <55B55267.9060603@gmail.com> <6a46c64c-b828-4be8-a1e9-5a4bf41255e6@googlegroups.com> Subject: Re: [lojban] xoi and new soi as bridi relative clause MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_272_1300717266.1437977237662" 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: -1.8 (-) X-Spam_score: -1.8 X-Spam_score_int: -17 X-Spam_bar: - ------=_Part_272_1300717266.1437977237662 Content-Type: multipart/alternative; boundary="----=_Part_273_1811397300.1437977237662" ------=_Part_273_1811397300.1437977237662 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le lundi 27 juillet 2015 00:02:32 UTC, xorxes a =C3=A9crit : > > > > Why do I seem to be against it? I agree with Ilmen's expansions, and=20 > notice that he does have a prenex in a poi clause in one of the steps. > > mu'o mi'e xorxes > > What Ilmen showed in the first formation is giving a model to the nested=20 {poi}-clause: that is a meta-linguistic formation mentioning truth value.= =20 You said that the internal bound variables in {poi}-clause have nothing to= =20 do with universe of discourse, and I thought you meant the truth value of= =20 the internal bridi of {poi}-clause has nothing to do with the truth value= =20 of the outer bridi. Then it is against the formation of Ilmen that connects= =20 the truth value of inner and outer of {poi}-clause.=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_273_1811397300.1437977237662 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Le lundi 27 juillet 2015 00:02:32 UTC, xorxes a = =C3=A9crit=C2=A0:


Why do I s= eem to be against it? I agree with Ilmen's expansions, and notice that = he does have a prenex in a poi clause in one of the steps.

mu'o mi'e xorxes



What Ilmen showed in the= first formation is giving a model to the nested {poi}-clause: that is a me= ta-linguistic formation mentioning truth value. You said that the internal = bound variables in {poi}-clause have nothing to do with universe of discour= se, and I thought you meant the truth value of the internal bridi of {poi}-= clause has nothing to do with the truth value of the outer bridi. Then it i= s against the formation of Ilmen that connects the truth value of inner and= outer of {poi}-clause.=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_273_1811397300.1437977237662-- ------=_Part_272_1300717266.1437977237662--