Received: from mail-qk0-f183.google.com ([209.85.220.183]:33437) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1btHgZ-0000wW-5N for lojban-list-archive@lojban.org; Sun, 09 Oct 2016 10:14:55 -0700 Received: by mail-qk0-f183.google.com with SMTP id n189sf2768050qke.0 for ; Sun, 09 Oct 2016 10:14:51 -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=wKpQPWy9XzkQN458LnYUk08AP0jE58P7tbxFxFMlZWQ=; b=YrTse+aZj26RapNuSTXA4U77sl9/yDDz1zvByd+/W9iS+jV3FpkK5+fLyTx2Rq0i73 l0LUf8uFABabY1fbGnu2Nh4S+x2TErkqWJWLibkdI2FhjHN3nPTp9UTnOUIgjrKwXnfd EXCe86rZ1Xkq1TF+JywbhYt487JHT0x8A0d2pyO6sxjm2AB6dYNkcDhCtMKQmgwsfqZn Y42dNMsAdjowpzv0Odpc7Axyit+CaWXtzPCs6UppYadMke1gKrPQ297sLDAmLbfM41E9 +6iKSDb2sAiQ/OkMwhLhojdRljHA2yMTcUGomLtv0X7o+5pd/g/oYrXAA+5H4GSnPbKt QvkQ== 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=wKpQPWy9XzkQN458LnYUk08AP0jE58P7tbxFxFMlZWQ=; b=OZkWFLoH81y3o25+/ZLBLjHOl0Q72T81iRf9K97s4o7ftZctU/z56ONBk/uwkN7RWN s6CjX9YbvopczuVQfyFlwmPZfScFefKfZbqG92qYayEwPBfSgjB1jzKn8slNKlD6Kabj /+g3foxiILAzlkpc68XBuqQ16to6hd+QneNk9dQm+DUBLx2ObrKqqLmt0zNIrhZAib7s WRFbA5yrnURxlBijxInwvOFF3bon2okhJFPrBNBtz1cpFPdwEZqnRfn6CFJnEDxvbPll OjbpjYVxhfHM3TmuNT5Es2RL7nkTHi0FVvVkIzgsFnWADGpo7NNP98hf03s9W+WWwjbv eAVw== 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=wKpQPWy9XzkQN458LnYUk08AP0jE58P7tbxFxFMlZWQ=; b=lyuDf6FmxDoNuySId8uc+ARc4XXkFecj2MgHeKUsR5Rfvqjsk0yl5a8xj1WTHjZAsH jcOizJcIptcWloTMAjwc15YfOd3HQCUW9KlNLb+5Lq8AH/zBNK3Ofxw0jXzZPIpIFaL3 KgOGhu0zQAWt1to3k4uAegoMFE4bkXpce5srfwKRhwzdMkaqKvjDQ9yWoidiLJmjrrWU S/G6mkp5c28cIRng7d2jzG9DI4yxJ45F37WdOTXqaEUqMkfeaPaV5XS+0xKnOj3on3Jr HGsBlzbpwB80PI2bx7FdGPaHTVcpSQsrZ71Apqu8HuNZavzbuI8NBRqiEYCoJsfzknRu yzQw== Sender: lojban@googlegroups.com X-Gm-Message-State: AA6/9RlP5rJhYugM34uUflwoVKDsDR1Zg4Ef9xRP5k35vvOIpVX/GzoC/d1C5UQ6bzcKJA== X-Received: by 10.157.20.6 with SMTP id h6mr1257629oth.18.1476033285084; Sun, 09 Oct 2016 10:14:45 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.157.17.56 with SMTP id g53ls8551446ote.32.gmail; Sun, 09 Oct 2016 10:14:44 -0700 (PDT) X-Received: by 10.129.108.132 with SMTP id h126mr7714461ywc.173.1476033284761; Sun, 09 Oct 2016 10:14:44 -0700 (PDT) Received: from mail-yw0-x236.google.com (mail-yw0-x236.google.com. [2607:f8b0:4002:c05::236]) by gmr-mx.google.com with ESMTPS id g8si616141ywe.2.2016.10.09.10.14.44 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 09 Oct 2016 10:14:44 -0700 (PDT) Received-SPF: pass (google.com: domain of and.rosta@gmail.com designates 2607:f8b0:4002:c05::236 as permitted sender) client-ip=2607:f8b0:4002:c05::236; Received: by mail-yw0-x236.google.com with SMTP id t193so58838785ywc.2 for ; Sun, 09 Oct 2016 10:14:44 -0700 (PDT) X-Received: by 10.129.159.194 with SMTP id w185mr4829782ywg.179.1476033284491; Sun, 09 Oct 2016 10:14:44 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.65.136 with HTTP; Sun, 9 Oct 2016 10:14:43 -0700 (PDT) Received: by 10.37.65.136 with HTTP; Sun, 9 Oct 2016 10:14:43 -0700 (PDT) In-Reply-To: <34331450-8689-5c39-2e45-991095de8e8a@gmx.de> References: <3cb1fc04-c3d0-3535-099e-30b8b120f219@gmx.de> <34331450-8689-5c39-2e45-991095de8e8a@gmx.de> From: And Rosta Date: Sun, 9 Oct 2016 18:14:43 +0100 Message-ID: Subject: Re: [lojban] A Simpler Quantifier Logic (blog article) To: lojban@googlegroups.com Content-Type: multipart/alternative; boundary=94eb2c0c0126994dbd053e71c7de X-Original-Sender: and.rosta@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of and.rosta@gmail.com designates 2607:f8b0:4002:c05::236 as permitted sender) smtp.mailfrom=and.rosta@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: - --94eb2c0c0126994dbd053e71c7de Content-Type: text/plain; charset=UTF-8 On 9 Oct 2016 16:22, "selpahi" wrote: > (Getting rid of {so'e} entirely is possible, but I'm too lazy to type it out. The proportion is >0.5) "Most" works for proportions of groups of infinite cardinality, but does ">0.5"? Better is ">0.5 of any typical group of". I remember that we discussed this 15--20 years ago, but do not remember any outcome. --And. -- 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. --94eb2c0c0126994dbd053e71c7de Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

On 9 Oct 2016 16:22, "selpahi" <seladwa@gmx.de> wrote:
>=C2=A0 (Getting rid of {so'e} entirely is possible, but I'm too= lazy to type it out. The proportion is >0.5)

"Most" works for proportions of groups of infinite= cardinality, but does ">0.5"? Better is ">0.5 of any = typical group of". I remember that we discussed this 15--20 years ago,= but do not remember any outcome.

--And.

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