Received: from mail-qw0-f61.google.com ([209.85.216.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCK7Yk5CUCxCyjYvrBBoEsZMVDw@googlegroups.com>)
	id 1Prc5g-00089C-JV; Mon, 21 Feb 2011 12:10:43 -0800
Received: by qwk3 with SMTP id 3sf4037848qwk.16
        for <multiple recipients>; Mon, 21 Feb 2011 12:10:34 -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=UGudz1lijzZpvCMWJph3ORPqlG++q7NM7HO8fBzKCBQ=;
        b=iK4hl5WlHnRBKkRjbOXa+kDdoulY+YfpgSj2S7W+x9Uhfnx8Fb/rMtJk82blOtXWDp
         ONyZjAVE1fIe+7i+d5zNRya1huPa2YotZmpsRv8cyJfIjV7mqoIv0FmLLMM1rXEEAV4v
         00za4OVeX4MLLD2RWvfGKll0vkB9W3hQryQjc=
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=rzpkz/RtTzWFUEJI4zHTDLw6oWL6duEUTpP7N5rcy/k5sPSZzhur1z5zljjCiw7n8t
         uMcqy5kYh6SabTAKC3NwqYoyL7LU/rNIZPxSkJ/BxAIAvN0R0GWlRxVmPFnwbaS+3R+F
         tW82Jxo4zMKe5H5PmAbyEhxsUoj7fZGKcZQuk=
Received: by 10.229.80.11 with SMTP id r11mr200822qck.39.1298319026700;
        Mon, 21 Feb 2011 12:10:26 -0800 (PST)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.229.80.196 with SMTP id u4ls305239qck.0.p; Mon, 21 Feb 2011
 12:10:25 -0800 (PST)
Received: by 10.229.136.81 with SMTP id q17mr156576qct.28.1298319025757;
        Mon, 21 Feb 2011 12:10:25 -0800 (PST)
Received: by 10.229.136.81 with SMTP id q17mr156575qct.28.1298319025731;
        Mon, 21 Feb 2011 12:10:25 -0800 (PST)
Received: from mail-qy0-f173.google.com (mail-qy0-f173.google.com [209.85.216.173])
        by gmr-mx.google.com with ESMTPS id 19si1189308qci.1.2011.02.21.12.10.25
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 21 Feb 2011 12:10:25 -0800 (PST)
Received-SPF: pass (google.com: domain of rdentato@gmail.com designates 209.85.216.173 as permitted sender) client-ip=209.85.216.173;
Received: by qyk36 with SMTP id 36so1794153qyk.4
        for <lojban-beginners@googlegroups.com>; Mon, 21 Feb 2011 12:10:25 -0800 (PST)
MIME-Version: 1.0
Received: by 10.229.219.136 with SMTP id hu8mr1321268qcb.249.1298319025528;
 Mon, 21 Feb 2011 12:10:25 -0800 (PST)
Received: by 10.229.191.21 with HTTP; Mon, 21 Feb 2011 12:10:25 -0800 (PST)
In-Reply-To: <AANLkTikTeqbvCuhwjtAmZu=QLD6FbVUeG_YNFQigfK-B@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>
	<AANLkTimLnMB8JKBhrtz9bnfsMZwS4t0qrwmXPoG3EkTK@mail.gmail.com>
	<AANLkTikTeqbvCuhwjtAmZu=QLD6FbVUeG_YNFQigfK-B@mail.gmail.com>
Date: Mon, 21 Feb 2011 21:10:25 +0100
Message-ID: <AANLkTinfe8FE4is4j_DCfdJzHVeGW2H975yXEOL2J0bG@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.173 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-Transfer-Encoding: quoted-printable
Content-Length: 1977

On Mon, Feb 21, 2011 at 8:46 PM, Luke Bergen <lukeabergen@gmail.com> wrote:
> oh, maybe that's where my confusion lies. =A0So if I'm a logician and I'm
> trying to talk about "for every X if X is human than X is mortal" how wou=
ld
> you do that? =A0How do you say in a prenex that "ok, {roda} here is actua=
lly
> everything, our universe of discourse is.... everything".

Sorry Luke, I don't get your point.  If in logic you say $\forall x
\forall y : isfather(x,y) iff isson(y,x)$ are you talking about books
and stars? Yes you may include in the universe also those but then you
would have difficulties in interpreting the predicates "isfather" and
"isson".

The point is that in logic you need to provide an "interpretation" of
your symbols. There are worlds in which an assertion is true and
worlds in which the same assertions is false or even non-sensical.
That is "the context" or the "universe of discourse" I'm talking
about.

When speaking normally, you do the same every time. In "Everybody ran
away" you are restricting that "everybody" to those things that are
able to ran away some how. And if you were speaking of a group of
children, you most probably meant them!

My point is that I would like to use Lojban as a language for humans
and that when used this way, we should not impose semantic
restrictions that make it difficult.  Simple usages should be simple,
more complex uses (like the EVERYTHING) should be more complex. Not
the other way round where {roda} would mean something that we very
rarely need, and we had to spend words and words for the most common
use of it.

remo

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