Received-SPF: pass (google.com: domain of kali9putra@yahoo.com designates 98.139.213.154 as permitted sender) client-ip=98.139.213.154;
Date: Sat, 8 Oct 2016 21:45:05 +0000 (UTC)
From: "'John E Clifford' via lojban" <lojban@googlegroups.com>
Reply-To: lojban@googlegroups.com
To: "lojban@googlegroups.com" <lojban@googlegroups.com>
Message-ID: <1783533772.670601.1475963105722@mail.yahoo.com>
In-Reply-To: <20161008212830.GA23876@gonzales.net>
References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> <20161008212830.GA23876@gonzales.net>
Subject: Re: [lojban] A Simpler Quantifier Logic (blog article)
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_670600_1305845739.1475963105718"
Content-Length: 7069
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_670600_1305845739.1475963105718
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Well, mereology is strictly the logic of the part/whole relationship and tu=
rns out to be isomorphic to full-fledged plural quantification, so we get a=
ll that just by changing our spectacles.=C2=A0 (Indeed, set-theory and sing=
ular quantification raised as I was, I always thought of pq in mereological=
 terms, with L-sets -- except occasionally, when I wanted an empty set, in =
terms of C-sets.)=C2=A0 We can reconstruct the goo and slice notion of mass=
 but as derivative within the great semi-lattices the basic logic.=C2=A0 Wh=
en the cop drives his Hummer into the protesters, he gets protester all ove=
r his wheels and windscreen, just "lo protester" (with a fairly strange nod=
e as referent).=C2=A0=20
=20

    On Saturday, October 8, 2016 4:29 PM, Martin Bays <mbays@sdf.org> wrote=
:
=20

 * Friday, 2016-10-07 at 14:10 +0200 - selpahi <seladwa@gmx.de>:

> https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/

Very nice.

One thing which might be worth mentioning: we shouldn't forget about
masses.

(Here, I mean 'masses' in the mereological sense: things which
can't be counted, as in "mass noun". I'm not talking about {gunma}.)

But working mereologically/{me}reologically, i.e. basing everything on
{me}, means we essentially get masses for free. e.g. {ru'o djacu poi
nenri lo kabri cu lenku} gets the expected meaning. And with your
proposed redefinition of numerical quantifiers, {za'u [no]} would work
as the existential quantifier.

.e'u nai ro pa me ro tadni poi sruri lo dinju cu ba se sruri za'u djacu

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


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

------=_Part_670600_1305845739.1475963105718
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body><div style=3D"color:#000; background-color:#fff; f=
ont-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, =
sans-serif;font-size:16px">Well, mereology is strictly the logic of the par=
t/whole relationship and turns out to be isomorphic to full-fledged plural =
quantification, so we get all that just by changing our spectacles.&nbsp; (=
Indeed, set-theory and singular quantification raised as I was, I always th=
ought of pq in mereological terms, with L-sets -- except occasionally, when=
 I wanted an empty set, in terms of C-sets.)&nbsp; We can reconstruct the g=
oo and slice notion of mass but as derivative within the great semi-lattice=
s the basic logic.&nbsp; When the cop drives his Hummer into the protesters=
, he gets protester all over his wheels and windscreen, just "lo protester"=
 (with a fairly strange node as referent).&nbsp; <br><div id=3D"yui_3_16_0_=
1_1475962266876_8153"><span></span></div> <div class=3D"qtdSeparateBR"><br>=
<br></div><div class=3D"yahoo_quoted" style=3D"display: block;"> <div style=
=3D"font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Gr=
ande, sans-serif; font-size: 16px;"> <div style=3D"font-family: HelveticaNe=
ue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size:=
 16px;"> <div dir=3D"ltr"><font size=3D"2" face=3D"Arial"> On Saturday, Oct=
ober 8, 2016 4:29 PM, Martin Bays &lt;mbays@sdf.org&gt; wrote:<br></font></=
div>  <br><br> <div class=3D"y_msg_container">* Friday, 2016-10-07 at 14:10=
 +0200 - selpahi &lt;<a shape=3D"rect" ymailto=3D"mailto:seladwa@gmx.de" hr=
ef=3D"mailto:seladwa@gmx.de">seladwa@gmx.de</a>&gt;:<br clear=3D"none"><br =
clear=3D"none">&gt; <a shape=3D"rect" href=3D"https://solpahi.wordpress.com=
/2016/09/25/a-simpler-quantifier-logic/" target=3D"_blank">https://solpahi.=
wordpress.com/2016/09/25/a-simpler-quantifier-logic/</a><br clear=3D"none">=
<br clear=3D"none">Very nice.<br clear=3D"none"><br clear=3D"none">One thin=
g which might be worth mentioning: we shouldn't forget about<br clear=3D"no=
ne">masses.<br clear=3D"none"><br clear=3D"none">(Here, I mean 'masses' in =
the mereological sense: things which<br clear=3D"none">can't be counted, as=
 in "mass noun". I'm not talking about {gunma}.)<br clear=3D"none"><br clea=
r=3D"none">But working mereologically/{me}reologically, i.e. basing everyth=
ing on<br clear=3D"none">{me}, means we essentially get masses for free. e.=
g. {ru'o djacu poi<br clear=3D"none">nenri lo kabri cu lenku} gets the expe=
cted meaning. And with your<br clear=3D"none">proposed redefinition of nume=
rical quantifiers, {za'u [no]} would work<br clear=3D"none">as the existent=
ial quantifier.<br clear=3D"none"><br clear=3D"none">.e'u nai ro pa me ro t=
adni poi sruri lo dinju cu ba se sruri za'u djacu<div class=3D"yqt894502607=
7" id=3D"yqtfd02212"><br clear=3D"none"><br clear=3D"none">-- <br clear=3D"=
none">You received this message because you are subscribed to the Google Gr=
oups "lojban" group.<br clear=3D"none">To unsubscribe from this group and s=
top receiving emails from it, send an email to lojban+<a shape=3D"rect" yma=
ilto=3D"mailto:unsubscribe@googlegroups.com." href=3D"mailto:unsubscribe@go=
oglegroups.com.">unsubscribe@googlegroups.com.</a><br clear=3D"none">To pos=
t to this group, send email to <a shape=3D"rect" ymailto=3D"mailto:lojban@g=
ooglegroups.com." href=3D"mailto:lojban@googlegroups.com.">lojban@googlegro=
ups.com.</a><br clear=3D"none">Visit this group at https://groups.google.co=
m/group/lojban.<br clear=3D"none">For more options, visit https://groups.go=
ogle.com/d/optout.<br clear=3D"none"></div><br><br></div>  </div> </div>  <=
/div></div></body></html>

<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"https://groups.google.com/group/lojban">http=
s://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 />

------=_Part_670600_1305845739.1475963105718--