Received: from mail-qw0-f61.google.com ([209.85.216.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pr2wc-0007AC-2R; Sat, 19 Feb 2011 22:39:01 -0800 Received: by qwk3 with SMTP id 3sf971084qwk.16 for ; Sat, 19 Feb 2011 22:38:52 -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; bh=mdUCbOz5RCdZpV8I8YXEOin9fb5xGTubIzo98XzCfAA=; b=qTDtg0hZqo77XHVX5cxPijqYxA8xnaiqd8vZLEhVD0iz6DfApKHlKYOUWUwE3oQ5wq EMvP3PuJDqhVj4JDl9JKsAW9dSEe6EPnzkpB7t+FZAScbIuY9cZNSbN6fHKFA9ETZFuw gFOYC07K6pDGM7oOPkcz/e04k0zvXHra2WQ14= 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; b=OBDHqdz2mL7dEiTDahP380F8c8TpdCRzXbiuXEjgSMJPNr+S57wbC7UMN4DGfmGjsn Nd7IXrC3v4H5KoxqI7ALQLP3saI7bn44AHnNPyRcACC/vOxM7vO0VVD5cSJcI7N9FeTj 8U78MXeZakaiSplaNK3WPGuCq3SV8xRj5Rf7s= Received: by 10.229.8.202 with SMTP id i10mr6357qci.22.1298183921036; Sat, 19 Feb 2011 22:38:41 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.229.69.36 with SMTP id x36ls1651881qci.3.p; Sat, 19 Feb 2011 22:38:40 -0800 (PST) Received: by 10.229.126.131 with SMTP id c3mr5184qcs.0.1298183920278; Sat, 19 Feb 2011 22:38:40 -0800 (PST) Received: by 10.229.126.131 with SMTP id c3mr5183qcs.0.1298183920256; Sat, 19 Feb 2011 22:38:40 -0800 (PST) Received: from mail-qw0-f52.google.com (mail-qw0-f52.google.com [209.85.216.52]) by gmr-mx.google.com with ESMTPS id k7si822603qcu.14.2011.02.19.22.38.40 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 19 Feb 2011 22:38:40 -0800 (PST) Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 209.85.216.52 as permitted sender) client-ip=209.85.216.52; Received: by qwf6 with SMTP id 6so9467qwf.25 for ; Sat, 19 Feb 2011 22:38:40 -0800 (PST) MIME-Version: 1.0 Received: by 10.229.221.208 with SMTP id id16mr39854qcb.62.1298183919857; Sat, 19 Feb 2011 22:38:39 -0800 (PST) Received: by 10.229.73.148 with HTTP; Sat, 19 Feb 2011 22:38:39 -0800 (PST) In-Reply-To: References: <201102171403.40004.phma@phma.optus.nu> <201102171622.02738.phma@phma.optus.nu> Date: Sun, 20 Feb 2011 01:38:39 -0500 Message-ID: Subject: Re: [lojban-beginners] Question about {roda} From: Michael Turniansky To: lojban-beginners@googlegroups.com X-Original-Sender: mturniansky@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of mturniansky@gmail.com designates 209.85.216.52 as permitted sender) smtp.mail=mturniansky@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: multipart/alternative; boundary=0016363b7d2665725b049cb0ffd0 Content-Length: 6059 --0016363b7d2665725b049cb0ffd0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 2011/2/18 Jorge Llamb=EDas > On Fri, Feb 18, 2011 at 5:23 PM, Michael Turniansky > wrote: > > > > roda su'ode zo'u ganai da taxfu gi de ka'e dasni da > > (true or false, the claim "everything that is a garment must be > potentially > > 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"? > > Yes > Do you agree that they are also equivalent to "ro da zo'u ganai da > prenu gi da xebni mi"? > Yes > 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. > I'm not asserting there is a distinction between universal claims using a bindable variable and those that don't. (Unless I'm misunderstanding your question). My problem is using a universal bindable variable without binding it, and then claiming it's something less than universal. "roda zvati it" when no, only the people that are expected to be here are, not th= e planet Jupiter, the mayor of Rio de Janeiro, or the Great Wall of China. --gejyspa > mu'o mi'e xorxes > > -- > 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. > > --=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. --0016363b7d2665725b049cb0ffd0 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable


2011/2/18 Jorge Llamb= =EDas <jjllamb= ias@gmail.com>
On Fri, Feb 18, 2011 at 5:23 PM, Michael Turniansky
<mturniansky@gmail.com> = 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 p= otentially
> wearable by something" is an example where roda has its intended = use)

Do you agree that "ro prenu cu xebni mi" is equivalent to &= quot;ro da poi
prenu cu xebni mi"?

Yes
=A0
Do you agree that they are also equivalent to "ro da zo'u ganai da=
prenu gi da xebni mi"?

Yes
=A0
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.
= =A0=A0
=A0I'm not asserting there is a distinction between universa= l claims using a bindable variable and those that don't.=A0 (Unless I&#= 39;m misunderstanding your question).=A0 My problem is using a universal bi= ndable variable without binding it, and then claiming it's something le= ss than universal. "roda zvati it" when no, only the people that = are expected to be here are, not the planet Jupiter, the mayor of Rio de Ja= neiro, or the Great Wall of China.
=A0
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 --gejyspa


mu'o mi'e xorxes

--
You received this message because y= ou are subscribed to the Google Groups "Lojban Beginners" group.<= br> To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegr= oups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.


--
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.
--0016363b7d2665725b049cb0ffd0--