From lojban+bncCJ2UzZHuDRCb76vxBBoEl2rFeA@googlegroups.com Sat Jul 23 09:32:41 2011 Received: from mail-vx0-f189.google.com ([209.85.220.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Qkf82-0000g1-DW; Sat, 23 Jul 2011 09:32:40 -0700 Received: by vxg38 with SMTP id 38sf1621172vxg.16 for ; Sat, 23 Jul 2011 09:32:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; 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:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=DrXwDjZpAs2cxDJTACVOdkFoDXv8w/fmM6Jna93bEHM=; b=HEL6rYPdlxTakSYK3ALQrjf+xi1msAzyM9go9YledR4ClqkS1TArFFdmEsagdd3bad E1M5/jpYwComFfwRD1vgn30ofWRRacsdITix5p1Jg1NV1QfsPrUORjSTGjW1sAf54eXw i7sb7VUrsloUy1GITNCSHcLTNcW5qa69Jmmzs= Received: by 10.220.9.209 with SMTP id m17mr235798vcm.56.1311438747904; Sat, 23 Jul 2011 09:32:27 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.220.200.12 with SMTP id eu12ls424164vcb.0.canary; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) Received: by 10.52.100.39 with SMTP id ev7mr601809vdb.26.1311438746938; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) Received: by 10.52.100.39 with SMTP id ev7mr601807vdb.26.1311438746929; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) Received: from mail-vx0-f175.google.com ([209.85.220.175]) by gmr-mx.google.com with ESMTPS id dp3si2852194vdb.3.2011.07.23.09.32.26 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 23 Jul 2011 09:32:26 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.220.175 as permitted sender) client-ip=209.85.220.175; Received: by vxh2 with SMTP id 2so2394759vxh.6 for ; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.73.163 with SMTP id m3mr2649129vdv.244.1311438746822; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) Received: by 10.52.111.198 with HTTP; Sat, 23 Jul 2011 09:32:26 -0700 (PDT) In-Reply-To: <1311434824.30343.YahooMailRC@web81304.mail.mud.yahoo.com> References: <17303618-716D-4777-BAA4-1E69836AF175@yahoo.com> <1311434824.30343.YahooMailRC@web81304.mail.mud.yahoo.com> Date: Sat, 23 Jul 2011 13:32:26 -0300 Message-ID: Subject: Re: [lojban] Meaning of multiple negations 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 209.85.220.175 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: X-Google-Group-Id: 1004133512417 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 Sat, Jul 23, 2011 at 12:27 PM, John E Clifford wr= ote: > I suspect the problem comes at the beginning, knowing what connectives co= unt and > what don't. Not sure what you mean. The logical connectives are "ge bridi1 gi bridi2" and the same with ga, go, gu and the na/nai versions. And then there are the short hand and afterthought versions, (".e", "gi'e", ".ije") which have purely mechanical transformations to the former. By those that don't count do you mean tanru connectives? I agree that those don't count, since they don't correspond to anything in predicate logic. >=A0This is particularly the case for quantifiers, which don't have an > even vaguely specified RHE in Lojban, but must have one in logic. What's a RHE? "su'o da zo'u" is an exact match for "Ex", and the same for the rest. > Negations seem > less of a problem, unless they are incorporated into a quantifier. =A0Of = course, > we could add explicit parentheses, but we don't. I still don't see what problem you see. 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.