From lojban-beginners+bncCJ2UzZHuDRCHxvvqBBoEPF26BQ@googlegroups.com Fri Feb 18 13:22:36 2011 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PqXma-00064h-OC; Fri, 18 Feb 2011 13:22:35 -0800 Received: by wwb34 with SMTP id 34sf3476051wwb.16 for ; Fri, 18 Feb 2011 13:22:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature: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; bh=7RdKhQBALQmYcDHDXP1HChR0+8K4PnIf5b7bmFQEpUM=; b=JfYDilAD8iry2It+emtUcxFHdUyTL7CRbd6C3EaBIerWyi/VCblc2WakIN8N3QK5uw EXRvHd4XTu10hFtU2oCQkTzyJWoz0vikyYTxK9qN64V7CwIYoB+AOwoqIwA/us+253Xr M1H8ZXlX369D6PIKzsY9euEOAMxAgn6q7iMUM= 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=QnlANbNN7JgKETYz/Hi4lH1CkqinhK+5pshWPY8iTbJTxmNTBhsFFw3to7lay55zBT PdArbQ6PC99W6sZS4KnOTboXxvYn9I/FT+v9+jGvm6/To7rZxcv+wYslDNyqJJAm6/Rk d7yLZNZCIZNaA8+suDgZa5FhRSGhQL7xEvTP0= Received: by 10.216.38.84 with SMTP id z62mr722083wea.29.1298064135065; Fri, 18 Feb 2011 13:22:15 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.216.189.234 with SMTP id c84ls1487359wen.2.p; Fri, 18 Feb 2011 13:22:13 -0800 (PST) Received: by 10.216.19.143 with SMTP id n15mr151771wen.6.1298064133905; Fri, 18 Feb 2011 13:22:13 -0800 (PST) Received: by 10.216.19.143 with SMTP id n15mr151770wen.6.1298064133888; Fri, 18 Feb 2011 13:22:13 -0800 (PST) Received: from mail-wy0-f182.google.com (mail-wy0-f182.google.com [74.125.82.182]) by gmr-mx.google.com with ESMTPS id q45si318935weh.8.2011.02.18.13.22.13 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 18 Feb 2011 13:22:13 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.182 as permitted sender) client-ip=74.125.82.182; Received: by wyf19 with SMTP id 19so4364912wyf.27 for ; Fri, 18 Feb 2011 13:22:13 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.132.149 with SMTP id b21mr1155265wbt.48.1298064133731; Fri, 18 Feb 2011 13:22:13 -0800 (PST) Received: by 10.227.54.10 with HTTP; Fri, 18 Feb 2011 13:22:13 -0800 (PST) In-Reply-To: References: <201102171403.40004.phma@phma.optus.nu> <201102171622.02738.phma@phma.optus.nu> Date: Fri, 18 Feb 2011 18:22:13 -0300 Message-ID: Subject: Re: [lojban-beginners] Question about {roda} From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban-beginners@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.182 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Feb 18, 2011 at 5:23 PM, Michael Turniansky wrote: > > =A0 roda su'ode zo'u ganai da=A0 taxfu gi de ka'e dasni da > (true or false, the claim "everything that is a garment must be potential= ly > wearable by something" is an example where roda has its intended use) Do you agree that "ro prenu cu xebni mi" is equivalent to "ro da poi prenu cu xebni mi"? Do you agree that they are also equivalent to "ro da zo'u ganai da prenu gi da xebni mi"? If you do, I don't see what distinction you want to make between universal claims that use a bindable variable and those that don't. The bindable variable "da" is the least important part of those claims, it's just used for bookkeeping, it has no content of its own. The content is in the predicates and the quantifier. mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@= googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban= -beginners?hl=3Den.