Received: from mail-qt0-f190.google.com ([209.85.216.190]:33002) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1btG5e-0001EZ-Sp for lojban-list-archive@lojban.org; Sun, 09 Oct 2016 08:32:44 -0700 Received: by mail-qt0-f190.google.com with SMTP id g45sf2225484qte.0 for ; Sun, 09 Oct 2016 08:32:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender:subject:to:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding :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=Sd8XvHRivr6dj7sjBw9C2vVuVuJLvWjSRoZo46xaq/k=; b=TJ37wTH69nfIS53E5F2B391sEiVsylCT4R0ZIDpoyc5H8MFWkmxx0JrcRX7ZNAglQS nkAobKXzclQeZxC0j5IL6LwIVuuYvB7TdXEh+lbmtCNrzqgSW6icoH7hFc1NDQd0A6eN Ys/BugF53RvfNi0EegoHr8+o1nFPfYfRRBr9CVLdiX5ZTIDlAcjXrG+gDwd/1vJmy8iZ 0rO250MHzKoxw2Wc2wq8xQU1zDN8f0MMCxwj+Eg/v71ACtC+hg1IhZeEzx7LHDKppnJQ nvhvSRU/srI83Osr9TgcJ4QeSlQNd+xruTBOkXszQpKGlcJwjSK8voeen+60yaQSU8NO T8MQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state:subject:to:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-transfer-encoding :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=Sd8XvHRivr6dj7sjBw9C2vVuVuJLvWjSRoZo46xaq/k=; b=nC3sTLY1WddLY8IEnYuiwn73iILnNnaB2R248f2EgZOIapYntI/ZPt1mzjUNpxem1g toJl4UaBBiMbLLiXd7SwHvdIWnqvtF05GhozO/L74MzKrv/BPkiUks9TcH2rMxvuFSib cHu8gJdl7QM35TPP6/MMyZiQwQ04IDkwh2Bo1huzdwVI4QDBivebhUNMuaebKdR2n1oP KnWYLUIxE84VGI9xkOKxukc5YD+zxNGFfXGxtGdnUoWPhM/Ki+mxq0oIEstM6w1VWZvR 9GsZeo9rSSTvEGfx2eRkAEtq0l/Y4WRcP+E/4Xe6C71P2ASGG64GdtXp/gXaIznVqLrX UzKA== Sender: lojban@googlegroups.com X-Gm-Message-State: AA6/9RnaROdo/op+AfQAbWru59+9c9ys1vn6uukgIuuMwmfQ6AvYPlZi57ijEWO03TTVrQ== X-Received: by 10.36.111.147 with SMTP id x141mr283105itb.6.1476027152294; Sun, 09 Oct 2016 08:32:32 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.178.80 with SMTP id b77ls2688340iof.47.gmail; Sun, 09 Oct 2016 08:32:30 -0700 (PDT) X-Received: by 10.66.180.45 with SMTP id dl13mr6287333pac.150.1476027150052; Sun, 09 Oct 2016 08:32:30 -0700 (PDT) Received: from mout.gmx.net (mout.gmx.net. [212.227.17.22]) by gmr-mx.google.com with ESMTPS id p131si2505065vkf.1.2016.10.09.08.32.29 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 09 Oct 2016 08:32:29 -0700 (PDT) Received-SPF: pass (google.com: domain of seladwa@gmx.de designates 212.227.17.22 as permitted sender) client-ip=212.227.17.22; Received: from [127.0.0.1] ([79.192.164.11]) by mail.gmx.com (mrgmx101) with ESMTPSA (Nemesis) id 0MdFwl-1bbJSp2slP-00IS5J for ; Sun, 09 Oct 2016 17:32:28 +0200 Subject: Re: [lojban] A Simpler Quantifier Logic (blog article) To: lojban@googlegroups.com References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> <20161008212830.GA23876@gonzales.net> From: selpahi Message-ID: Date: Sun, 9 Oct 2016 17:32:50 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: <20161008212830.GA23876@gonzales.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Antivirus: avast! (VPS 161009-0, 09.10.2016), Outbound message X-Antivirus-Status: Clean X-Provags-ID: V03:K0:TR4neSZKk0A9ZniB5DOsOaXkR2+vAtjbdieoEetQRk3eb7HFTHU n1KJrgbqb8OLDwnOzxY0aErztAr4SJHE7mJuetGc8apsF55gSxaZSSGjoAR63kUPtBjjjvC sVOQSDJaWSp57prM/VrZNxtAVvRA8ss4TX1F7tUMKf0U/w9Pn1yA99DjXsZS6CPxkuaNjea O6RjXLlrtBxDHFN6uf9XQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:g2955dGwas8=:0ZYVXTXUZlpP+Ok8APbXPl jT+d85rlKXSNcdIa/+71JRmblPWrIUw3VMKtu5M+YxcsFRec1NIJt17Tmn7wOWmsLOQB0olZb nQmf1jDpypEb+hCgcl+Uaxdk3TKq9SN1J7IVnhgGY5DJKS2gbnQ7gWfv4z5CgyNnG6mrRIjQ+ HBCBVDoMc8k+ANG1Yt3pgXeJsfPOk6xe2sqn2RiyaDHWiJd809ncv7qWaBu56Ufkj8jF0MXGK d5F9Ua1w60cuC/f0e4ZVoxK66YgQ2mcEC1FmvM6xLz1BG/9qBfzDZl5Fqgii4iwbCcNEGptze 5ICEihs20xJ5+hH7PdDv5tA0xi3ie+uqYIDfQsZgZjHxgjhpwHKDaMFnRVgpoq1ycjGflZa4P PZdpLnq3mL/ckrFAxS+/J8PsCrRUhfYsFXbPe8eezYtT4TAUE+hcsq5ReAnyG3rNjI9yqaiPO ltHECstGz3UgIpB5WcVQ1PNbYOqVbUEiTkA0zfXkALToLmbfpZ8UAr7V9AGRKOHC79eeGq6Kn Vn4yEiQGKFAXg1qjcSJTXeiqev/avTHv0FW6Kf/TrDUEu/Ok7SsW6Zm43fSQaLZVOI1bs5xxZ 1oWBifIlvy9lMXcPcPe+Kpw7n6d/mzpjzVSiM12nSdJ2vC2zs9HKjq1OC6GbCeuLam+XJHpSD taGrPz9b9G6u45JLprGIqPZQ4x+dfav2ySISsgFUeMbyGHDlxnk1ml7mgXc8Tcha0iRihIhUf B7uTvC3ykom4aspIWgvkO0ZzreZoewL/Xr6GpGnXgaO+5qif1lIj+efJKBu2VS4Z2Yq1xXPjD uKaCLtd X-Original-Sender: seladwa@gmx.de X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of seladwa@gmx.de designates 212.227.17.22 as permitted sender) smtp.mailfrom=seladwa@gmx.de 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.7 (-) X-Spam_score: -1.7 X-Spam_score_int: -16 X-Spam_bar: - On 08.10.2016 23:28, Martin Bays wrote: > * Friday, 2016-10-07 at 14:10 +0200 - selpahi : > >> 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 The relationship between plural logic and mass nouns, specifically the=20 idea that mass nouns are just plurals, is something that I've been very=20 interested in recently. (and relatedly, the relationship between kinds=20 and plurals) Chierchia (1998), for example, is a nice read. I agree masses (mass nouns) should not be ignored, but I think the topic=20 of mass nouns is specific enough to be a topic unto itself, for a=20 different article, which maybe someone else would like to write? :) ~~~mi'e la solpa'i --- Diese E-Mail wurde von Avast Antivirus-Software auf Viren gepr=C3=BCft. https://www.avast.com/antivirus --=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.