From lojban-beginners+bncCMHEmaCOBhCR4ITrBBoEt5-7Vg@googlegroups.com Sun Feb 20 07:15:48 2011 Received: from mail-yx0-f189.google.com ([209.85.213.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PrB0i-00036q-5G; Sun, 20 Feb 2011 07:15:47 -0800 Received: by yxd5 with SMTP id 5sf1919153yxd.16 for ; Sun, 20 Feb 2011 07:15:38 -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=OgvfGZLGxfCpvfj9VBlGZPuMAYDBZPGyjt0oCL1BLsI=; b=HuIv+0/GsuoW3IAweRhWMCAVbEbuT++4BIogzEAPLDuQOt+68GQd1Yv9aKSL69X1lv pEO+UiYZC1bVlyKhHLAf3wwpwUMfz0M/woiv/47PZtLSlobA0k+7MJKcVkTV73oX5onO nZlJtzd0bPHN4vriHFKx5oLW4ix6OmEwHHfEU= 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=RtRkD74FtGoGs2ucEldv4fg4VguUGQ9NeQcI7yHr4wp+ntX7aglqdbn5+E1PPRMGyH S7LEdYtdeG4eGpZ8Dh8R26HNlK6G20Q9fXUs98bzDqZNKalJ0ZQNnFjHkMokwTAzFaLu Zo5qSvq1C3oxfJIlKY1AlV4xYhqY4+LGdZcaM= Received: by 10.100.154.20 with SMTP id b20mr23577ane.76.1298214929962; Sun, 20 Feb 2011 07:15:29 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.231.57.97 with SMTP id b33ls4176793ibh.0.p; Sun, 20 Feb 2011 07:15:29 -0800 (PST) Received: by 10.231.208.71 with SMTP id gb7mr120589ibb.3.1298214929139; Sun, 20 Feb 2011 07:15:29 -0800 (PST) Received: by 10.231.208.71 with SMTP id gb7mr120588ibb.3.1298214929088; Sun, 20 Feb 2011 07:15:29 -0800 (PST) Received: from mail-iy0-f170.google.com (mail-iy0-f170.google.com [209.85.210.170]) by gmr-mx.google.com with ESMTPS id m30si951490ibu.2.2011.02.20.07.15.28 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 20 Feb 2011 07:15:28 -0800 (PST) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.210.170 as permitted sender) client-ip=209.85.210.170; Received: by iyb12 with SMTP id 12so553305iyb.1 for ; Sun, 20 Feb 2011 07:15:28 -0800 (PST) MIME-Version: 1.0 Received: by 10.231.39.199 with SMTP id h7mr359196ibe.157.1298214927835; Sun, 20 Feb 2011 07:15:27 -0800 (PST) Received: by 10.231.200.198 with HTTP; Sun, 20 Feb 2011 07:15:27 -0800 (PST) In-Reply-To: <201102200803.35938.phma@phma.optus.nu> References: <201102200803.35938.phma@phma.optus.nu> Date: Sun, 20 Feb 2011 08:15:27 -0700 Message-ID: Subject: Re: [lojban-beginners] Question about {roda} From: Jonathan Jones To: lojban-beginners@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 209.85.210.170 as permitted sender) smtp.mail=eyeonus@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=002215048f679da1a0049cb8375f --002215048f679da1a0049cb8375f Content-Type: text/plain; charset=ISO-8859-1 How about (ba'e roda} for "EVERYTHING"? On Sun, Feb 20, 2011 at 6:03 AM, Pierre Abbat wrote: > On Sunday 20 February 2011 03:57:31 Remo Dentato wrote: > > The easiest, quick&dirty solution that come to my mind is to mandate > that > > an unboud {di} is NOT context dependent while {da} and {de} might be > > context dependent. The "EVERYTHING" in logic sense $\forall x : > > isapple(x)$ would be {rodi plise}. I don't particularly like it, but it > > seems rather harmless to me. > > "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". > > > I mean that the case when "all" is bound from the context is much more > > common than the case where it means "EVERYTHING". > > Note how we have to use the uppercase trick to specify we do not mean > the > > usual "everything" but a specific "everything" whose meaning, by the way, > > is specified by the context of the discussion we are having. > > 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? > > Pierre > -- > lo ponse be lo mruli po'o cu ga'ezga roda lo ka dinko > > -- > 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. > > -- mu'o mi'e .aionys. .i.a'o.e'e ko cmima le bende pe lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) -- 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. --002215048f679da1a0049cb8375f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable How about (ba'e roda} for "EVERYTHING"?

On Sun, Feb 20, 2011 at 6:03 AM, Pierre Abbat <phma@phma.optus.nu> wrote:
On Sunday 20 February 2011 03:57:31 Remo Dentato wrote:
> =A0 The easiest, quick&dirty solution that come to my mind is to m= andate that
> an unboud {di} is NOT context dependent while {da} and {de} might be > context dependent. The "EVERYTHING" in logic sense =A0 $\for= all x :
> isapple(x)$ would be {rodi plise}. I don't particularly like it, b= ut it
> seems rather harmless to me.

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

> =A0I mean that the case when "all" is bound from the context= is much more
> common than the case where it means "EVERYTHING".
> =A0Note how we have to use the uppercase trick to specify we do not me= an the
> usual "everything" but a specific "everything" who= se meaning, by the way,
> is specified by the context of the discussion we are having.

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 wh= at you
meant?

Pierre
--
lo ponse be lo mruli po'o cu ga'ezga roda lo ka dinko

--
You received this message because you are subscribed to the Google Groups &= quot;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@googlegr= oups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.




--
mu'o mi= 'e .aionys.

.i.a'o.e'e ko cmima le bende pe lo pilno be = denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I= am your father. :D )

--
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.
--002215048f679da1a0049cb8375f--