From lojban+bncCJ2UzZHuDRCbsqvxBBoEQlzrDA@googlegroups.com Sat Jul 23 07:22:33 2011 Received: from mail-qw0-f61.google.com ([209.85.216.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Qkd65-0006PR-Rd; Sat, 23 Jul 2011 07:22:32 -0700 Received: by qwh5 with SMTP id 5sf3020514qwh.16 for ; Sat, 23 Jul 2011 07:22:23 -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; bh=GMuOC73rOuONlzhBSe5dEL1jNYgxQw2Lxp/rllCTDeg=; b=ZLW9cTU7mC+WKMx+E4v0mw3tGBbinJVYvLTedPXR2CduT+LR8hbcjFFS8HHYGUmXnU 2Kfz9xIR7sXobB4oxa/OohEqqr+0WgeQPYkIjfJm8O2+XLDeOgl4PrMvHqy73f5IA51E plKr+4oYcTHFlyHb4PGRNRlFowWekcN74qBW4= Received: by 10.224.210.194 with SMTP id gl2mr321930qab.23.1311430939650; Sat, 23 Jul 2011 07:22:19 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.224.176.211 with SMTP id bf19ls735644qab.3.gmail; Sat, 23 Jul 2011 07:22:19 -0700 (PDT) Received: by 10.224.9.144 with SMTP id l16mr2107989qal.26.1311430939160; Sat, 23 Jul 2011 07:22:19 -0700 (PDT) Received: by 10.224.9.144 with SMTP id l16mr2107988qal.26.1311430939149; Sat, 23 Jul 2011 07:22:19 -0700 (PDT) Received: from mail-vw0-f53.google.com (mail-vw0-f53.google.com [209.85.212.53]) by gmr-mx.google.com with ESMTPS id ix17si3044531qcb.3.2011.07.23.07.22.19 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 23 Jul 2011 07:22:19 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.53 as permitted sender) client-ip=209.85.212.53; Received: by vws13 with SMTP id 13so2707764vws.40 for ; Sat, 23 Jul 2011 07:22:18 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.68.138 with SMTP id w10mr2695931vdt.43.1311430938653; Sat, 23 Jul 2011 07:22:18 -0700 (PDT) Received: by 10.52.111.198 with HTTP; Sat, 23 Jul 2011 07:22:18 -0700 (PDT) In-Reply-To: References: <17303618-716D-4777-BAA4-1E69836AF175@yahoo.com> Date: Sat, 23 Jul 2011 11:22:18 -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.212.53 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 On Fri, Jul 22, 2011 at 11:38 PM, John E. Clifford wrote: > There are many cases where that simple approach doesn't work satisfactorily, mainly with longer scopes or more buried ones. I'm not aware of any such cases, at least as long as we are talking about quantifiers, logical connectives and negation. If you are talking about some other ill defined operators, we may not have everything worked out, but for those basic three types the translation of any Lojban sentence into logical notation can be done in a completely mechanical way. mu'o mi'e xorxes -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.