Received: from mail-vw0-f61.google.com ([209.85.212.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCK7Yk5CUCxDR64TrBBoEotdFwQ@googlegroups.com>)
	id 1PrBOR-0002jw-Rh; Sun, 20 Feb 2011 07:40:21 -0800
Received: by vws1 with SMTP id 1sf249115vws.16
        for <multiple recipients>; Sun, 20 Feb 2011 07:40:10 -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=+sdBtOnA8R1eCkmhUmM+maoJKAZonLk3tDInBHYZAaM=;
        b=I/GBh4NkGBct13owCXQ3/WNU7f7q72NGdxyZiFySU6iBBnjJV8EhSVTu/QJRmGEeeC
         UMNqeDUbRSm+ReP2XBWiUoFk/EvIY34TS/sbutfRzpt1hQR9DA0NMh0ZH8ixuyjiAFOM
         1Cmq9gT0k2yZ5oUrP+N3zJL5pk6qef3G0hsvM=
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=dk3ZB5XWB7UZKN7Bs/T4/N8QcCfF9LhEu3G+a2h2uKZwiLKe+GoM9PNuEzcShnLI/L
         0ZmkokECO5hBQjZ72CGJtItgYHLORuvD0sMnlCci36d/MOaNPz2ow+eojAniKRI8XT3k
         nDZC4NDmGf89PLNIW3jBhLa1YHF070gjPNi2U=
Received: by 10.220.190.75 with SMTP id dh11mr27345vcb.21.1298216401764;
        Sun, 20 Feb 2011 07:40:01 -0800 (PST)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.220.89.83 with SMTP id d19ls1099757vcm.5.p; Sun, 20 Feb 2011
 07:40:00 -0800 (PST)
Received: by 10.52.161.226 with SMTP id xv2mr63971vdb.15.1298216400906;
        Sun, 20 Feb 2011 07:40:00 -0800 (PST)
Received: by 10.52.161.226 with SMTP id xv2mr63970vdb.15.1298216400892;
        Sun, 20 Feb 2011 07:40:00 -0800 (PST)
Received: from mail-qy0-f171.google.com (mail-qy0-f171.google.com [209.85.216.171])
        by gmr-mx.google.com with ESMTPS id b16si761991vby.2.2011.02.20.07.40.00
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 20 Feb 2011 07:40:00 -0800 (PST)
Received-SPF: pass (google.com: domain of rdentato@gmail.com designates 209.85.216.171 as permitted sender) client-ip=209.85.216.171;
Received: by qyj19 with SMTP id 19so1008841qyj.16
        for <lojban-beginners@googlegroups.com>; Sun, 20 Feb 2011 07:40:00 -0800 (PST)
MIME-Version: 1.0
Received: by 10.229.99.130 with SMTP id u2mr293431qcn.211.1298216399688; Sun,
 20 Feb 2011 07:39:59 -0800 (PST)
Received: by 10.229.191.21 with HTTP; Sun, 20 Feb 2011 07:39:59 -0800 (PST)
In-Reply-To: <201102200803.35938.phma@phma.optus.nu>
References: <AANLkTimpzxxJpOSRnmX1s-wuoTJNYEU9YP3ZjXATitgF@mail.gmail.com>
	<AANLkTi=ydjqu3Up9fV1v3mrAiq7z8E47vWAKRV7aOjtu@mail.gmail.com>
	<AANLkTinx0OpQ8fKG5r4++jDUzRyxqQNZWkqQf=KuRrv9@mail.gmail.com>
	<201102200803.35938.phma@phma.optus.nu>
Date: Sun, 20 Feb 2011 16:39:59 +0100
Message-ID: <AANLkTikGDZeXcBo_No7foO7togywWt95YTUw6TJd+K-2@mail.gmail.com>
Subject: Re: [lojban-beginners] Question about {roda}
From: Remo Dentato <rdentato@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: rdentato@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rdentato@gmail.com designates 209.85.216.171 as permitted sender)
 smtp.mail=rdentato@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: <lojban-beginners.googlegroups.com>
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 1715

On Sun, Feb 20, 2011 at 2:03 PM, Pierre Abbat <phma@phma.optus.nu> wrote:

> "da", "de", and "di" all mean the same except that they're different
> variables. If you want to be context dependent, you can say "ro zo'e".
Yes, {da} {de} and {di} are the same at the moment. My suggestion was
that if we really really want to make one of them having the same
meaning as $\forall x$ we could use {rodi}.  I can't remember reading
anything with {de} in and I would bet that there's no trace of {di}
anywhere in the corpus of lojban texts. Well, except when talking
about {di} itself :).

> I think that your "is specified by the context of the discussion" means the
> same as my "universe of discourse". For example, if Matthew 14:20 said "ro da
> citka gi'e tolxagjybi'o", I would understand that the people, the bread, the
> fish, the boat, the sea, and maybe even John the Baptist's head all ate and
> were satisfied, but not the earth's core or the star Sirius. Is that what you
> meant?

Yes, in that case, I would hardly understand {da} to include the
bread, the boat and the sea. And certainly not the head of John the
Baptist. But I would get that "everything we were talking about that
could eat and could be satisfied, it was".

So an unbound {da} to me, is referring to everything we were talking
about and could reasonably fill the {da} place.

-- 
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=en.