From lojban+bncCJ2UzZHuDRCeiKjpBBoEKRc3Iw@googlegroups.com Sun Jan 09 10:53:33 2011 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pc0OO-0007F9-9b; Sun, 09 Jan 2011 10:53:33 -0800 Received: by wwb34 with SMTP id 34sf20855821wwb.16 for ; Sun, 09 Jan 2011 10:53:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=yhxs2ivCq8+tYmmL4VsWEPC/NpmeyuW+3xKrlZmUgJU=; b=ozo7Mv8kujjJeRNHM4COoHgSmZFbt8tjuCmWvbJfwzl91N5JizEZ9ZGblUz3CIbRwu OidQbSXx+ohhewg+feHyAp6+NJYLKPA+SA/fcXDbRHzhWSdFTWiqazxjsZDMKE4pGDPW n1ag3WrX3WKJk+EBZuN49ZwlKcmgvuAwyfFK4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; b=QrnAZF7itr4PwSFLZLN8dKrOdlV6Kf/I879W3LpX3roJH8yoUsI0T8XCnr99xCuddL ipHQQjJ/4umF4UracPT4tZnpsaNElcDfUe3Ex0K8W9C0LcCNRpxM63vuQFQGQlLtpv4/ 1m7/soC5fT0TIDzWxLtrPmV/U+Er1OZ9kWTHs= Received: by 10.217.3.13 with SMTP id q13mr188124wes.5.1294599198272; Sun, 09 Jan 2011 10:53:18 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.227.6.216 with SMTP id a24ls5426451wba.2.p; Sun, 09 Jan 2011 10:53:17 -0800 (PST) Received: by 10.227.143.146 with SMTP id v18mr978819wbu.15.1294599197102; Sun, 09 Jan 2011 10:53:17 -0800 (PST) Received: by 10.227.143.146 with SMTP id v18mr978818wbu.15.1294599197069; Sun, 09 Jan 2011 10:53:17 -0800 (PST) Received: from mail-wy0-f171.google.com (mail-wy0-f171.google.com [74.125.82.171]) by gmr-mx.google.com with ESMTP id m15si4413108wbg.5.2011.01.09.10.53.16; Sun, 09 Jan 2011 10:53:16 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.171 as permitted sender) client-ip=74.125.82.171; Received: by wyb38 with SMTP id 38so19093761wyb.30 for ; Sun, 09 Jan 2011 10:53:16 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.152.71 with SMTP id f7mr17672320wbw.144.1294599134284; Sun, 09 Jan 2011 10:52:14 -0800 (PST) Received: by 10.227.54.72 with HTTP; Sun, 9 Jan 2011 10:52:14 -0800 (PST) In-Reply-To: <4D29FF11.4080306@gmail.com> References: <9114501.161.1294150198377.JavaMail.geo-discussion-forums@yqhy19> <673286.9022.qm@web81303.mail.mud.yahoo.com> <294930.94884.qm@web81304.mail.mud.yahoo.com> <4D299D75.9090608@lojban.org> <4D29FF11.4080306@gmail.com> Date: Sun, 9 Jan 2011 15:52:14 -0300 Message-ID: Subject: Re: [lojban] Re: Cake, Pie or Ice Cream? From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.171 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sun, Jan 9, 2011 at 3:31 PM, And Rosta wrote: > Jorge Llamb=EDas, On 09/01/2011 14:44: >> >> You don't spell out the solution. Presumably it was something like: >> >> =A0 do djica ma poi cmima ... ce ... ce ... ce ... >> >> But you don't really need to use sets, you could also say: >> >> =A0 do djica ma poi me ... .a ... .a ... .a ... > > Symmetrical connectives reduce logically to quantification over sets. > "A or B (or C)" =3D "at least one from {A,B(,C)}" > "A and B (and C)" =3D "each one from {A,B(,C)}" Yes. > "A xor B (xor C)" =3D "exactly one from {A,B(,C)}" Not really. At least it's not very clear what you mean by "A xor B (xor C)" If A, B and C are propositions, and "xor" is the usual binary connective, then "A xor B xor C", with either left or right grouping, means "either exactly one or all three of A, B, C". (More generally, adding more "xor"s, any odd number of the propositions.) But probably "... xor ... xor ..." is not meant to be the composition of two binary connectives. > alternatival OR is: > > "A alt-or B (alt-or C)" =3D "which one(s) from {A,B(,C)}" > and for the alternatival exclusive OR: > "A alt-xor B (alt-xor C)" =3D "which one from {A,B(,C)}" > > So I'd argue that "do djica ma poi cmima ... ce ... ce ... ce ..." is > logically the most basic. I'm not sure I understand the argument. "ma poi cmima X" and "ma poi me Y", where X is the set of referents of Y, are exactly equivalent. Why is one more basic than the other? mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.