Received: from mail-yh0-f60.google.com ([209.85.213.60]:36410) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1ToEjD-0001yk-Ru; Thu, 27 Dec 2012 06:46:47 -0800 Received: by mail-yh0-f60.google.com with SMTP id q11sf5424361yhf.5 for ; Thu, 27 Dec 2012 06:46:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:x-received:received-spf :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-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=LvwZw8yvA41hGXZ4/K85ZlgafkzKDtdAFr9RmENgPXI=; b=bGjnYhKfW2EbTPPFpTZ+3eB3roqkUel2L8SIFGMqJAmQahqbBrTgEAP8k0zEDabrfQ XWP4azP5vKV8i3VWPcgmyW6Ts2YxTGsf7aDgYHYeuBJLEUxHCfDbEe/fiCBAfULXnsl/ mGXs0ggVkZxSWe/a7IhAXdoBqK3Ykdgzx3OFfGAiJl4aY54DdtMfLR93GG3t1rln2ERx RNoBqznUAJIb8t6W1+51xBO/U8cp1RJHffsviE5lm2TYERe+OBTtxITNZkpUPkT2dvnu efC88D/T57kSrF8pd1LS80KGUH9E2YlqqeldpW6AG3YJroPJypE4bsGkIDSjVic3gh6A LdnA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:x-received:received-spf :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-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=LvwZw8yvA41hGXZ4/K85ZlgafkzKDtdAFr9RmENgPXI=; b=AjqU1zzHqsEwVZBcjw3mZ7zvq9ZJ4C/bg0n1NvSB9qgW+1gJCZacCXOJDy3e+0OiVu Ee2/0lLU1yn98RN5rJtxeXmwN6QtRA2jNb/pYjwcRs19DXD2hkCKRCt9CFh0go5veeR/ XdhvRTImKOksE4/OVyI8pokmL/g31AfBvlvtMjDG4UrqMRILL0irGO8JTShD3NAxIIDf Tzi1KOt8ObdAyJur+Np3hry9DdK5Dkpiej8HjJziMI1M/4QUUeyjIvcz6r7byQpzMBlk qKtn1JWKya1YVRluSNVhEyz+VRKVOfONGm7k/30iIdL+KYeZoUWV+xl89gp8pr0z06jr d2gw== X-Received: by 10.182.89.101 with SMTP id bn5mr432075obb.35.1356619588134; Thu, 27 Dec 2012 06:46:28 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.182.113.67 with SMTP id iw3ls753219obb.15.gmail; Thu, 27 Dec 2012 06:46:27 -0800 (PST) X-Received: by 10.58.216.100 with SMTP id op4mr15231890vec.25.1356619587456; Thu, 27 Dec 2012 06:46:27 -0800 (PST) X-Received: by 10.58.216.100 with SMTP id op4mr15231889vec.25.1356619587443; Thu, 27 Dec 2012 06:46:27 -0800 (PST) Received: from mail-vc0-f173.google.com (mail-vc0-f173.google.com [209.85.220.173]) by gmr-mx.google.com with ESMTPS id h20si9328413vdg.3.2012.12.27.06.46.27 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 27 Dec 2012 06:46:27 -0800 (PST) Received-SPF: pass (google.com: domain of lytlesw@gmail.com designates 209.85.220.173 as permitted sender) client-ip=209.85.220.173; Received: by mail-vc0-f173.google.com with SMTP id f13so9813897vcb.4 for ; Thu, 27 Dec 2012 06:46:27 -0800 (PST) Received: by 10.52.176.6 with SMTP id ce6mr40881345vdc.57.1356619587303; Thu, 27 Dec 2012 06:46:27 -0800 (PST) MIME-Version: 1.0 Received: by 10.58.75.232 with HTTP; Thu, 27 Dec 2012 06:45:56 -0800 (PST) In-Reply-To: References: <44e6fb5c-91f3-47ba-817c-8560c9c6ca14@googlegroups.com> <50DB3C14.9060303@gmx.de> <20121226185805.GH7855@samsa.fritz.box> <3641882.8sMyCj0ouv@caracal> From: MorphemeAddict Date: Thu, 27 Dec 2012 09:45:56 -0500 Message-ID: Subject: Re: [lojban] "Any" and {ro} To: lojban@googlegroups.com X-Original-Sender: lytlesw@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lytlesw@gmail.com designates 209.85.220.173 as permitted sender) smtp.mail=lytlesw@gmail.com; dkim=pass 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: multipart/alternative; boundary=bcaec51a80ca98b93704d1d69c5f X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --bcaec51a80ca98b93704d1d69c5f Content-Type: text/plain; charset=ISO-8859-1 On Wed, Dec 26, 2012 at 11:01 PM, Jacob Errington wrote: > The "exactly" comes from what quantifiers *do* in the case of quantified > variables. In Lojban, quantifiers are exact, such that if you say .i mi > dasni pa cutci when you're really wearing two, you're *lying*. It's only lying if the intent is to deceive. Otherwise it's simply being wrong. stevo > You can verify the CLL to check, but I know this to be true, so I won't > bother looking it up for you. > > -- 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. --bcaec51a80ca98b93704d1d69c5f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Wed, Dec 26, 2012 at 11:01 PM, Jacob = Errington <nictytan@gmail.com> wrote:
The "exactly" comes from what quantifiers *do* in the case of qua= ntified variables. In Lojban, quantifiers are exact, such that if you say .= i mi dasni pa cutci when you're really wearing two, you're *lying*.=

It's only lying if the intent is to deceive. Otherw= ise it's simply being wrong.=A0

stevo
=A0
You can verify the CLL to check, but I know this to be true, so I won't= bother looking it up for you.

=A0

--
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.
--bcaec51a80ca98b93704d1d69c5f--