Received: from mail-qk0-f192.google.com ([209.85.220.192]:33492) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bsXza-0000li-AA for lojban-list-archive@lojban.org; Fri, 07 Oct 2016 09:27:30 -0700 Received: by mail-qk0-f192.google.com with SMTP id n189sf24820145qke.0 for ; Fri, 07 Oct 2016 09:27:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=Cv2GmZtWlBc8NMyjbZwRka7IuApGHnl6si7YHQCALtc=; b=PJYEvj+fDSgVcGTKcsncYPtgHrN9V8FRYkXfw4u5yiEPTpkfObJpPcYuvBCqlhhOnM EMENrp2zXB36Un69ZtalSVI1M9A73/Uzjbsi1XC3YF41Jb1Xmxvr6ilisI+nbbaj0tWd 57HJ/pXQFBCsyHIURLax6xydysm5ST3Noi+8vqo5GxOMtn5NHyIHAaGpIHppZzeEc24P s0w5g8Rp4S7eooAHe7W+aQDsIcdon+08falwbnu7mK4mfbgxHFXaZZjJMNWca7XGkoXz gZdv/JqHTH/VpioCeM/SKQgT9FhVV3qq1j2JR2aYyrddQmLEU06G9lTeQ2hy9bNomap2 20ug== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=Cv2GmZtWlBc8NMyjbZwRka7IuApGHnl6si7YHQCALtc=; b=g2+CdD381puRh/ysApwFGjtUlQbZXA6RgGCIOvnxMXoRDnB8vC/eecq2xHM6+Oik7w H38RZzQFJ/40fzY+WdPKkqWkCWHZ4f4GarC/B1TAApbUjOFmxfJVFeR20kBqO7hS+yBY NTLQPF3+TUQOOWpeM6FikHqT27hMn1+Ly4WSt+EyiY1/NsLpPH7hi4NEVUX4GpzM9p7m SVRLfzKHa1viFqMSugi+/on7LjLPW3KdzrjRU4OTumBGk79vwheie6P6p6eCM4etDsBt Z8VIfvWn3ATI5b+UehLNbX1lsjwhlH9Ibgjw+57QG/606O1qF8moc4j73dfgmwXAQ/C/ i5FQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=Cv2GmZtWlBc8NMyjbZwRka7IuApGHnl6si7YHQCALtc=; b=cy/cdsc8rsiipAw/+MmY8ZQE7wqwiDU4EP4u+Qh/jEX7cmRgRMW+44dWzQSEM9r9nc CBixC5h5RKwZQ6H2wOU233HKPxbNFI5+H/Jiie6l5KmCAdgClEeFieMq6uTiMUKBbDgY wMVg53oQOSwBKH0fQbGx1SAdSZddwSQDmFvlxTrMdOeLUhdkLnumtWzUOxMVo2c2bGtM 6UlH62T5qGmWou1aM4L7flezaywAxsfR/KH29Bf1mTGZRMxLk0x9+56n416R6zJUZN/Y 5UvSbda4t328LWH/0Fg5GSI5dbaFLiw8fSYRMfb2hP2itQhsvvZMv8QvF5FO6k3AhMdH nuHg== Sender: lojban@googlegroups.com X-Gm-Message-State: AA6/9RkwA2wee3/RIy2GiGEPKoz50yYBgNwnN8tqlQDSh8Zf+HABh2S7MHFzxp3dCZrVng== X-Received: by 10.157.11.146 with SMTP id 18mr2212573oth.13.1475857640140; Fri, 07 Oct 2016 09:27:20 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.157.35.106 with SMTP id k39ls4987844otd.3.gmail; Fri, 07 Oct 2016 09:27:19 -0700 (PDT) X-Received: by 10.157.51.3 with SMTP id f3mr2214531otc.4.1475857639811; Fri, 07 Oct 2016 09:27:19 -0700 (PDT) Date: Fri, 7 Oct 2016 09:27:19 -0700 (PDT) From: gleki.is.my.name@gmail.com To: lojban Message-Id: <029f288a-19dd-4fcd-baca-410337df7f8f@googlegroups.com> In-Reply-To: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> Subject: [lojban] Re: A Simpler Quantifier Logic (blog article) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1851_331381219.1475857639589" X-Original-Sender: gleki.is.my.name@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: - ------=_Part_1851_331381219.1475857639589 Content-Type: multipart/alternative; boundary="----=_Part_1852_96142839.1475857639590" ------=_Part_1852_96142839.1475857639590 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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=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.=20 > > 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.=20 > > 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.=20 > > https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/=20 > =20 > One thing is that it says that under singular logic "nobody is gathering"= =20 is impossible but why not use {selcmi}. That's of course beside the point= =20 of the article. That section is clearly called "singular meets plural",=20 which some readers might forget about, though. Phrasing {na ku su=E2=80=99oi jbopre na ku remna} might make the reader thi= nk=20 whether the scope is affected by plural quantifiers or not (since {su'oi}= =20 is in the middle but later it's asserted that plural {re} and {ci} aren't= =20 affected by scope). Also it'd be nice to explain one mysterious particle of class LE one day=20 since it's (for obvious reasons) absent from the proposal in this article. And singular/plural looks like an obsession with Pythagorean number, which= =20 rule the world.=20 E.g. such quantifier as "various" in "People talk to each other in various= =20 languages" is roughly {so'i} and precisely based on {vrici} and=20 non-distributive (or sometimes is distributive) but is a quantifiers that= =20 quantifies other predicates. Such quantifiers are unfortunately often=20 forgotten. --=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_1852_96142839.1475857639590 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Em sexta-feira, 7 de outubro de 2016 15:09:59 UTC+= 3, selpa'i escreveu:
In th= is article I will take a closer look 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/2= 5/a-simpler-quantifier-logic/

One thing is that it says that under s= ingular logic "nobody is gathering" is impossible but why not use= {selcmi}. That's of course beside the point of the article. That secti= on 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 think whether the scope = is affected by plural quantifiers or not (since {su'oi} is in the middl= e but later it's asserted that plural {re} and {ci} aren't affected= by scope).

Also it'd be nice to explain one m= ysterious 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= , which rule the world.=C2=A0
E.g. such quantifier as "vario= us" in "People talk to each other in various languages" is r= oughly {so'i} and precisely based on {vrici} and non-distributive (or s= ometimes is distributive) but is a quantifiers that quantifies other predic= ates. 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+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.
------=_Part_1852_96142839.1475857639590-- ------=_Part_1851_331381219.1475857639589--