Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::22d as permitted sender) client-ip=2a00:1450:400c:c05::22d;
MIME-Version: 1.0
In-Reply-To: <3c04f416-2d4d-4d3f-8d55-a090d799090f@googlegroups.com>
References: <1c2a3b64-07b1-4023-a740-362deb17da34@googlegroups.com>
	<55AD070D.5020903@gmx.de>
	<f74f87f4-75be-4400-927c-0cf13f8a344a@googlegroups.com>
	<55AE1142.5090807@gmx.de>
	<8bab9435-5f94-4742-b74a-8cceac2c8a60@googlegroups.com>
	<55AE616F.9040509@gmx.de>
	<8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com>
	<CAO7tK2cWJ335yUO4Q+TLdCRpsdvJKdMotSEyzeVjhMv0sBzXdw@mail.gmail.com>
	<3c04f416-2d4d-4d3f-8d55-a090d799090f@googlegroups.com>
Date: Thu, 23 Jul 2015 18:15:24 -0300
Message-ID: <CAO7tK2cjcZdxcDVS6gU+BfXYt1368c8yoF94a0xNwx_EbdyUvA@mail.gmail.com>
Subject: Re: [lojban] xoi and new soi as bridi relative clause
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=047d7b86eb78c25535051b9162d1
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -1.7
X-Spam_score_int: -16
X-Spam_bar: -

--047d7b86eb78c25535051b9162d1
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Thu, Jul 23, 2015 at 5:52 PM, guskant <gusni.kantu@gmail.com> wrote:
>
> 2015-07-23 20:28 GMT+00:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>:
>> >
>> > A variable bound within a relative clause is not available to be used
>> > outside the relative clause. The scope of the quantifier is limited to
>> the
>> > relative clause only.
>>
> This understanding would solve all my problems. However, my problems come
> exactly from doubt on this understanding. Could you explain the reason fo=
r
> that a variable bound within a relative clause is not available to be use=
d
> outside the relative clause in spite of they stand on the same universe o=
f
> discourse on the outer bridi?
>

That's just how first order predicate logic works. A quantifier quantifies
a bridi. The variable is just a place-keeping device, internal to the
mechanism of quantification, it doesn't refer to anything, so it can't be
used from outside the bridi as if it referred to something. It has nothing
to do with universe of discourse.

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.

--047d7b86eb78c25535051b9162d1
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Thu, Jul 23, 2015 at 5:52 PM, guskant <span dir=3D"ltr">&lt;<a href=
=3D"mailto:gusni.kantu@gmail.com" target=3D"_blank">gusni.kantu@gmail.com</=
a>&gt;</span> wrote:<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0=
 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=3D"HOEnZb"><d=
iv class=3D"h5"><blockquote class=3D"gmail_quote" style=3D"border-left-widt=
h:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-le=
ft:1ex"><div dir=3D"ltr"><div class=3D"gmail_quote"><span style=3D"font-fam=
ily:arial,sans-serif;font-size:small">2015-07-23 20:28 GMT+00:00 Jorge Llam=
b=C3=ADas &lt;<a href=3D"mailto:jjllambias@gmail.com" target=3D"_blank">jjl=
lambias@gmail.com</a>&gt;:</span><br style=3D"font-family:arial,sans-serif;=
font-size:small"><span style=3D"font-family:arial,sans-serif;font-size:smal=
l">&gt;</span><br style=3D"font-family:arial,sans-serif;font-size:small"><s=
pan style=3D"font-family:arial,sans-serif;font-size:small">&gt; A variable =
bound within a relative clause is not available to be used</span><br style=
=3D"font-family:arial,sans-serif;font-size:small"><span style=3D"font-famil=
y:arial,sans-serif;font-size:small">&gt; outside the relative clause. The s=
cope of the quantifier is limited to the</span><br style=3D"font-family:ari=
al,sans-serif;font-size:small"><span style=3D"font-family:arial,sans-serif;=
font-size:small">&gt; relative clause only.</span></div></div></blockquote>=
</div></div><div><div>This understanding would solve all my problems. Howev=
er, my problems come exactly from doubt on this understanding. Could you ex=
plain the reason for that a variable bound within a relative clause is not =
available to be used outside the relative clause in spite of they stand on =
the same universe of discourse on the outer bridi?</div></div></blockquote>=
<div><br></div><div>That&#39;s just how first order predicate logic works. =
A quantifier quantifies a bridi. The variable is just a place-keeping devic=
e, internal to the mechanism of quantification, it doesn&#39;t refer to any=
thing, so it can&#39;t be used from outside the bridi as if it referred to =
something. It has nothing to do with universe of discourse.=C2=A0</div><div=
><br></div><div>mu&#39;o mi&#39;e xorxes</div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--047d7b86eb78c25535051b9162d1--