Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::22a as permitted sender) client-ip=2607:f8b0:400c:c03::22a;
MIME-Version: 1.0
In-Reply-To: <a337096c-d88e-4387-a3d7-9642195e72af@googlegroups.com>
References: <CAN2DD_E0QBcidfV+rp=N+rW1YeYtOanugo172BbgwFmswA2-SA@mail.gmail.com>
	<52F26B9E.2090001@gmx.de>
	<5e023b9a-515c-432b-a389-8f9af4766b51@googlegroups.com>
	<52F29ED8.1050607@gmx.de>
	<a337096c-d88e-4387-a3d7-9642195e72af@googlegroups.com>
Date: Thu, 6 Feb 2014 19:22:09 -0200
Message-ID: <CAO7tK2fqC3RQkHDE5unLx-z+5U4VU2nWempwEnzDAcpyB810pw@mail.gmail.com>
Subject: Re: [lojban] Individuals and xorlo
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=001a1136b2624fb14804f1c37753
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

--001a1136b2624fb14804f1c37753
Content-Type: text/plain; charset=ISO-8859-1

On Thu, Feb 6, 2014 at 1:34 AM, guskant <gusni.kantu@gmail.com> wrote:

>
> Although it will become out of topic, I have another suggestion related to
> the BPFK page of gadri.
>
> "Any term without an explicit outer quantifier is a constant" should be
> changed to
> "Any term without an explicit outer quantifier can be a constant",
> because an usual predicate logic has an axiom on a constant c that "F(c)
> {inaja} there is at least one (individual) x such that F(x)";
>

That applies to singular constants, whereas unquantified terms need not be
singular, but the version with plural quantifiers will still be valid.


> this means that the sentence "any term without an explicit outer
> quantifier is a constant" automatically implicates an outer quantifier
> {su'o},
>

It shouldn't implicate that. "F{c} -> Ex F(x)" does not mean that "F(c)"
and "Ex F(x)" have the same meaning, nor that "c" is just a shorthand for
"Ex ...x...". Similarly xorlo says that "lo broda" is not just shorthand
for "su'o lo broda".


> and it contradicts to xorlo itself that there are no default quantifiers.
>

Not just no default quantifiers. No implicit hidden quantifiers at all, The
point is that "lo broda" is not a quantification of the bridi it appears
in, the way "su'o lo broda" is.

mu'o mi'e xorxes

-- 
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 email 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/groups/opt_out.

--001a1136b2624fb14804f1c37753
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Thu, Feb 6, 2014 at 1:34 AM, guskant <span dir=3D"ltr">&lt;<a href=3D"ma=
ilto:gusni.kantu@gmail.com" target=3D"_blank">gusni.kantu@gmail.com</a>&gt;=
</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><br><div>Although it will become out of t=
opic, I have another suggestion related to the BPFK page of gadri.</div>
<div><br></div><div>&quot;Any term without an explicit outer quantifier is =
a constant&quot; should be changed to=A0</div><div>&quot;Any term without a=
n explicit outer quantifier can be a constant&quot;,</div><div>because an u=
sual predicate logic has an axiom on a constant c that &quot;F(c) {inaja} t=
here is at least one (individual) x such that F(x)&quot;;</div>
</div></blockquote><div><br></div><div>That applies to singular constants, =
whereas unquantified terms need not be singular, but the version with plura=
l quantifiers will still be valid.<br></div><div>=A0</div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;bo=
rder-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir=3D"ltr"><div>this means that the sentence &quot;any term without a=
n explicit outer quantifier is a constant&quot; automatically implicates an=
 outer quantifier {su&#39;o},</div></div></blockquote><div><br></div><div>
It shouldn&#39;t implicate that. &quot;F{c} -&gt; Ex F(x)&quot; does not me=
an that &quot;F(c)&quot; and &quot;Ex F(x)&quot; have the same meaning, nor=
 that &quot;c&quot; is just a shorthand for &quot;Ex ...x...&quot;. Similar=
ly xorlo says that &quot;lo broda&quot; is not just shorthand for &quot;su&=
#39;o lo broda&quot;.<br>
</div><div>=A0</div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0=
px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);borde=
r-left-style:solid;padding-left:1ex"><div dir=3D"ltr"><div>and it contradic=
ts to xorlo itself that there are no default quantifiers.</div>
</div></blockquote><div><br></div><div>Not just no default quantifiers. No =
implicit hidden quantifiers at all, The point is that &quot;lo broda&quot; =
is not a quantification of the bridi it appears in, the way &quot;su&#39;o =
lo broda&quot; is.</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></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 lojban+unsubscribe@googlegroups.com.<br />
To post to this group, send email to lojban@googlegroups.com.<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/groups/opt_out=
">https://groups.google.com/groups/opt_out</a>.<br />

--001a1136b2624fb14804f1c37753--