Re: [lojban] A Simpler Quantifier Logic (blog article)

["'John E Clifford' via lojban" <lojban@googlegroups.com>]

Well, mereology is strictly the logic of the part/whole relationship and turns out to be isomorphic to full-fledged plural quantification, so we get all that just by changing our spectacles.  (Indeed, set-theory and singular 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.)  We can reconstruct the goo and slice notion of mass but as derivative within the great semi-lattices the basic logic.  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). 

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

* 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.

-- 
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.