Received: from mail-ey0-f184.google.com ([209.85.215.184])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRDc-YrrBBoEy2vW8w@googlegroups.com>)
	id 1PrbYV-0007qv-Q5; Mon, 21 Feb 2011 11:36:27 -0800
Received: by eyf6 with SMTP id 6sf118541eyf.1
        for <multiple recipients>; Mon, 21 Feb 2011 11:36:17 -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=tybS8YfQSdApilazPwrbLQzVU7il3ruD0869d37VjJI=;
        b=hJ0aU8qxcumIs22fmn1P0MpKcyGzwYhLM7gWvu/b64J7/SuAZkL8AQ3TyD9Qef9Vsu
         qvaeA7bhuGise3iHpDz0r40BYJGPWYFqxz3jMbwPC9i4wm+L8P61G+C8r5QOSSCYfHBv
         fSlh76/+rFYx7JJ3434YM95U9GRZdwMZCXhy8=
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=Hn+PRrHwoMhy2XaKk5sPmc8R4A60/7+/nUHIRa302TDaGC+K1J23kZ9XbaZ23t60Cx
         6JJHDNdXNhYiFDap2kHL9BxljAJpg79I+lApLFUaRbCadtuOT8Vp3ViUxkxmDx2EqLso
         AThlDTCzaheQNtfNXtkmTGxQO1IcAuEqrrUeA=
Received: by 10.213.14.75 with SMTP id f11mr1551070eba.0.1298316508599;
        Mon, 21 Feb 2011 11:28:28 -0800 (PST)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.213.23.5 with SMTP id p5ls31411ebb.3.p; Mon, 21 Feb 2011
 11:28:27 -0800 (PST)
Received: by 10.216.172.198 with SMTP id t48mr175775wel.10.1298316507632;
        Mon, 21 Feb 2011 11:28:27 -0800 (PST)
Received: by 10.216.172.198 with SMTP id t48mr175774wel.10.1298316507604;
        Mon, 21 Feb 2011 11:28:27 -0800 (PST)
Received: from mail-wy0-f181.google.com (mail-wy0-f181.google.com [74.125.82.181])
        by gmr-mx.google.com with ESMTPS id h6si697653wes.11.2011.02.21.11.28.27
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 21 Feb 2011 11:28:27 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.181 as permitted sender) client-ip=74.125.82.181;
Received: by mail-wy0-f181.google.com with SMTP id 42so447039wyb.40
        for <lojban-beginners@googlegroups.com>; Mon, 21 Feb 2011 11:28:27 -0800 (PST)
MIME-Version: 1.0
Received: by 10.227.54.203 with SMTP id r11mr1560208wbg.106.1298316507307;
 Mon, 21 Feb 2011 11:28:27 -0800 (PST)
Received: by 10.227.54.10 with HTTP; Mon, 21 Feb 2011 11:28:26 -0800 (PST)
In-Reply-To: <AANLkTin4Qb9UGKJuRE8r6Dx6ZNiVwaDq4nHDd6xAjT5f@mail.gmail.com>
References: <AANLkTimpzxxJpOSRnmX1s-wuoTJNYEU9YP3ZjXATitgF@mail.gmail.com>
	<201102171403.40004.phma@phma.optus.nu>
	<AANLkTimQYOAwhcRs8FDk88VJPB-fGADYwKwGTRmt2hrR@mail.gmail.com>
	<201102171622.02738.phma@phma.optus.nu>
	<AANLkTi=iZFZ2JDxSo0AeOsYzmT87mYeVBww621dQHxEx@mail.gmail.com>
	<AANLkTimCbx34wn76g3vVR-dLjCxyb6HS7+b+HQVwHoA-@mail.gmail.com>
	<AANLkTimXRCuu30WT4--zw5Zw+JTmG3yPknUXzgPnPT9B@mail.gmail.com>
	<AANLkTimGF7m4Butpq0AWNEd-v13AgEk=zGP9=v__tapF@mail.gmail.com>
	<AANLkTimjSFDdKAr3Q2yFy+kD-tz7ivd2DDQngT=k2mf0@mail.gmail.com>
	<AANLkTik6QQt3prhiF=pH_xa8MBi+u2_w=UMCZLZQOs6d@mail.gmail.com>
	<AANLkTi=awoQpSVrYKygAS42RWeRcfrZLutg1PHKXtVaX@mail.gmail.com>
	<AANLkTikvEDJBtBvR-CPXuGe3xY13q38nfNdGf4hHLphQ@mail.gmail.com>
	<AANLkTikQBvUyfzSmb3fxf7KJXUe2D=uM74wZu8ndpKWF@mail.gmail.com>
	<AANLkTimWqL4fEc9bDYS-mCXN=jy6r29tSF=aaK7usUNi@mail.gmail.com>
	<AANLkTinm_k=UAsqaa0J7ZMYJ+sT6DL5iMpRAMUBSisn0@mail.gmail.com>
	<AANLkTin4Qb9UGKJuRE8r6Dx6ZNiVwaDq4nHDd6xAjT5f@mail.gmail.com>
Date: Mon, 21 Feb 2011 16:28:26 -0300
Message-ID: <AANLkTimLnMB8JKBhrtz9bnfsMZwS4t0qrwmXPoG3EkTK@mail.gmail.com>
Subject: Re: [lojban-beginners] Question about {roda}
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
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.181 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: <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-Transfer-Encoding: quoted-printable
Content-Length: 2325

On Mon, Feb 21, 2011 at 4:14 PM, Luke Bergen <lukeabergen@gmail.com> wrote:
> My only concern is that if {roda} has an implicite {poi co'e} then I'm no=
t
> sure what you could put in for that {co'e} that gets you back to the stro=
ng
> EVERYTHING that logicians want.

What exactly is this strong everything? In Logic there is always a
domain of discourse for the variables to take their values from. See
for example http://en.wikipedia.org/wiki/Quantification

"In logic, quantification is the binding of a variable ranging over a
domain of discourse. The variable thereby becomes bound by an operator
called a quantifier."

Or: http://en.wikipedia.org/wiki/Domain_of_discourse

"In the formal sciences, the domain of discourse, also called the
universe of discourse (or simply universe), is the set of entities
over which certain variables of interest in some formal treatment may
range. The domain of discourse is usually identified in the
preliminaries, so that there is no need in the further treatment to
specify each time the range of the relevant variables."

You can't really do quantification without a domain of discourse.

> lojban makes it very easy to narrow a concepts meaning (with tanru, with
> poi/noi, with further bridi, etc...), but there are very few ways (none t=
hat
> my fever-addled brain can think of at the moment anyway) that expand a
> concepts meaning. =A0So if we take something as widely expanded as {ro} a=
nd
> say "oh, but it's not really universal all the time" then what CAN you sa=
y
> that is consistently universal?

"ro" says that the bridi is true for ALL the values in the universe of
discourse that the variable bound by the quantifier can take. Of
course it's consistently universal.

The problem seems to be that some people believe that there is some
absolute universal universe of discourse that includes all possible
universes of discourse or something like that, but there isn't.

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.