Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.20 as permitted sender) client-ip=192.94.73.20;
Date: Sat, 8 Oct 2016 23:28:30 +0200
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] A Simpler Quantifier Logic (blog article)
Message-ID: <20161008212830.GA23876@gonzales.net>
References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="xHFwDpU9dbj6ez1V"
Content-Disposition: inline
In-Reply-To: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de>
X-cunselcu'a-valsi: marce
User-Agent: Mutt/1.7.0 (2016-08-17)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: best guess record for domain of mbays@sdf.org designates
 192.94.73.20 as permitted sender) smtp.mailfrom=mbays@sdf.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Spam-Checked-In-Group: lojban@googlegroups.com
X-Google-Group-Id: 1004133512417
List-Post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/lojban
List-Subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>,
 <https://groups.google.com/group/lojban/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -


--xHFwDpU9dbj6ez1V
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline

* 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

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

--xHFwDpU9dbj6ez1V
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----

iEYEARECAAYFAlf5ZM4ACgkQULC7OLX7LNaYxACfSnrU4+T366JMS1tMsfSU2F2M
IMoAoIlnMgihWQMi3Q2zMdZlpH9TK48p
=S+jV
-----END PGP SIGNATURE-----

--xHFwDpU9dbj6ez1V--