Received: from mail-vk0-f63.google.com ([209.85.213.63]:33427) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bsY62-0001UE-QJ for lojban-list-archive@lojban.org; Fri, 07 Oct 2016 09:34:10 -0700 Received: by mail-vk0-f63.google.com with SMTP id 2sf23075582vkb.0 for ; Fri, 07 Oct 2016 09:34:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender:mime-version:in-reply-to:references:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=0uJ4zUwT2ndLw9OEU74sDnAGO59tO1BS1gsxnRfrFTU=; b=HvgLFgM3cwEahHygxw6KHUIHlH0eTe88XBd4bG3/pMtYEoharkfloSLUjaEHbS6eRI N49EsnfCNNe+yrw/KUBWruwd8QYrau8vyE8Gh1qTGoXZ4ui46evQGss9G8+ydX884fBP YWKVSZCAU1PeljATbTO4mLDejs50GKBhRAPfUUcLvNu8ofi5gIUaADVmZwwvvpxD80Cg AZXRfCLDaWY6SUMsGUMEKaYqgweX2jQn5ibPNlC3JIqdjOXzImbU2rIx4QhpN/XrMJNK 9Zmw5BN3z/dOay8ms1jrQftILPfjsHH3pM0aq/cfj76sYwMZuKJsASqnxGcPisDXGvpg v33g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=0uJ4zUwT2ndLw9OEU74sDnAGO59tO1BS1gsxnRfrFTU=; b=c+FunPe/fFc/q8mkhbG9Kv6EfOe7eVvexrjLh0v+rkBboAgrySwt4Wndow/4KXdURA CGox2cypcO5F2HMowMVauleuTI8Vv8ZMpdlK9PwtdtjqJ1jfkeVkmabgU4C+U2CFbOaF c/r7gUP8sTpW2fuS/GXEaQ0BQEoO2rCVMgEzc/GiCaYRwjgWEj9U2eH3m0X4wRoN43Qv C1e863sySiVGV4PDnY9o+ctaOsZspfXp5VZJpZksXVsyvsb8wX4HgiHs0vQMQW3epNx0 CZqSTBmVKsPtKwFzvBiVdQXBfaMq3Q4YoyoyXOcJikpVtpo67Uh4W/ODvfjoq7H+JZL1 Sh6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=0uJ4zUwT2ndLw9OEU74sDnAGO59tO1BS1gsxnRfrFTU=; b=JBQcDSlEtwCbToRtCCyjnirweEVFBLcBOe5bjJ5fZ/1r72gUcImg7Hix3KVzTngSXG q/O0MgpEdWifXB+Nq3uJoJ+v99ikTFcgthPec5h2WYcAU6tkwuUTzFLMu96YxLWXUiRe rebaU2Aw5Ye+jPXp9WjUGTUd50Pu235B0FJsyEyc7yKDcBXzOaTdkRZlk9wDFTskuTGm 5DU+CHiq9A+0zQLrFEPk8n6kaK+PPPZNYgHZSfEIRqVWrWM15PVoQog7haAJcU82ePHw AAohp6EqcwtK2Y9DLUq+haA282JkgYDi2L4GO5rgH0V4EIGvIUOHqTHWkMqx5T8qy+zj qBIg== Sender: lojban@googlegroups.com X-Gm-Message-State: AA6/9RkBHk1BD3nG1imXPJ78TdYdYA3ReDQRhIJS7Td3eVfjiME0hEcfP/nJLixfSJ2osA== X-Received: by 10.157.7.111 with SMTP id 102mr657722ote.17.1475858040707; Fri, 07 Oct 2016 09:34:00 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.157.10.12 with SMTP id 12ls5841382otg.13.gmail; Fri, 07 Oct 2016 09:34:00 -0700 (PDT) X-Received: by 10.129.112.149 with SMTP id l143mr5069232ywc.20.1475858040377; Fri, 07 Oct 2016 09:34:00 -0700 (PDT) Received: from mail-io0-x232.google.com (mail-io0-x232.google.com. [2607:f8b0:4001:c06::232]) by gmr-mx.google.com with ESMTPS id u125si256236itc.0.2016.10.07.09.34.00 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 07 Oct 2016 09:34:00 -0700 (PDT) Received-SPF: pass (google.com: domain of rdentato@gmail.com designates 2607:f8b0:4001:c06::232 as permitted sender) client-ip=2607:f8b0:4001:c06::232; Received: by mail-io0-x232.google.com with SMTP id j37so52146749ioo.3 for ; Fri, 07 Oct 2016 09:34:00 -0700 (PDT) X-Received: by 10.107.17.133 with SMTP id 5mr24566404ior.207.1475858040067; Fri, 07 Oct 2016 09:34:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.50.100.69 with HTTP; Fri, 7 Oct 2016 09:33:59 -0700 (PDT) In-Reply-To: <029f288a-19dd-4fcd-baca-410337df7f8f@googlegroups.com> References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> <029f288a-19dd-4fcd-baca-410337df7f8f@googlegroups.com> From: Remo Dentato Date: Fri, 7 Oct 2016 18:33:59 +0200 Message-ID: Subject: Re: [lojban] Re: A Simpler Quantifier Logic (blog article) To: lojban Content-Type: multipart/alternative; boundary=001a113f224a379b2a053e48fa69 X-Original-Sender: rdentato@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of rdentato@gmail.com designates 2607:f8b0:4001:c06::232 as permitted sender) smtp.mailfrom=rdentato@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.8 (-) X-Spam_score: -1.8 X-Spam_score_int: -17 X-Spam_bar: - --001a113f224a379b2a053e48fa69 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I've not be able to fully grok the articles but I really like this series of "Simpler". I really look forward to see the one on "Morphology". Remo On Fri, Oct 7, 2016 at 6:27 PM, wrote: > > > Em sexta-feira, 7 de outubro de 2016 15:09:59 UTC+3, selpa'i escreveu: >> >> In this article I will take a closer look at the quantifier logic >> currently present in (post-xorlo) Lojban. I will identify logical >> problems as well as practical disadvantages. Finally, I will offer a >> solution that addresses both. >> >> Not only is the current system both impractical and unintuitive, its >> introduction also left behind one major logical flaw as Lojban made the >> move from singular logic to plural logic. >> >> Read on to find out what singular logic and plural logic are, how they >> are related to xorlo, and why the current situation is not tenable. >> >> https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/ >> >> > > One thing is that it says that under singular logic "nobody is gathering" > is impossible but why not use {selcmi}. That's of course beside the point > of the article. That section is clearly called "singular meets plural", > which some readers might forget about, though. > > Phrasing {na ku su=E2=80=99oi jbopre na ku remna} might make the reader t= hink > whether the scope is affected by plural quantifiers or not (since {su'oi} > is in the middle but later it's asserted that plural {re} and {ci} aren't > affected by scope). > > Also it'd be nice to explain one mysterious particle of class LE one day > since it's (for obvious reasons) absent from the proposal in this article= . > > > And singular/plural looks like an obsession with Pythagorean number, whic= h > rule the world. > E.g. such quantifier as "various" in "People talk to each other in variou= s > languages" is roughly {so'i} and precisely based on {vrici} and > non-distributive (or sometimes is distributive) but is a quantifiers that > quantifies other predicates. Such quantifiers are unfortunately often > forgotten. > > -- > 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. > --=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. --001a113f224a379b2a053e48fa69 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I've not be able to fully grok the articles but I= really like this series of "Simpler".
I really look forward t= o see the one on "Morphology".

Remo

On Fri, Oct 7, 2016 at 6= :27 PM, <gleki.is.my.name@gmail.com> wrote:


Em se= xta-feira, 7 de outubro de 2016 15:09:59 UTC+3, selpa'i escreveu:In this article I will take a closer loo= k at the quantifier logic=20
currently present in (post-xorlo) Lojban. I will identify logical=20
problems as well as practical disadvantages. Finally, I will offer a=20
solution that addresses both.

Not only is the current system both impractical and unintuitive, its=20
introduction also left behind one major logical flaw as Lojban made the= =20
move from singular logic to plural logic.

Read on to find out what singular logic and plural logic are, how they= =20
are related to xorlo, and why the current situation is not tenable.

https://solpahi.wordpress.com/2016/09/25/a-simpler-quantif= ier-logic/

One thing is that it says that = under singular logic "nobody is gathering" is impossible but why = not use {selcmi}. That's of course beside the point of the article. Tha= t section is clearly called "singular meets plural", which some r= eaders might forget about, though.

Phrasing {na ku= su=E2=80=99oi jbopre na ku remna} might make the reader think whether the = scope is affected by plural quantifiers or not (since {su'oi} is in the= middle but later it's asserted that plural {re} and {ci} aren't af= fected by scope).

Also it'd be nice to explain= one mysterious particle of class LE one day since it's (for obvious re= asons) absent from the proposal in this article.

<= br>
And singular/plural looks like an obsession with Pythagorean = number, which rule the world.=C2=A0
E.g. such quantifier as "= ;various" in "People talk to each other in various languages"= ; is roughly {so'i} and precisely based on {vrici} and non-distributive= (or sometimes is distributive) but is a quantifiers that quantifies other = predicates. Such quantifiers are unfortunately often forgotten.

--
You received this message because you are subscribed to the Google Groups &= quot;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.

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