Received: from mail-qy0-f189.google.com ([209.85.216.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PrwE5-0006F7-DJ; Tue, 22 Feb 2011 09:40:45 -0800 Received: by qyk36 with SMTP id 36sf7249272qyk.16 for ; Tue, 22 Feb 2011 09:40:35 -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:cc :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=z5oMdBhsniU3QVLb0fHSDkEty68G31/EbbvrbhkIgKQ=; b=Us4650LC8PIdti8oGWJ0Q+eK3uJxXAb6O1WMLJ5XhRQDteigYk4pjXyfI9Wtmu8BCA qz4ZxsUvyTUOwrEibJ+cBKjgwa7WbBO29fc1brJI9axj5lVw9Ab8hisqGNZDImz0R2LP TdRTQhF9YvvNGTpyarpsq0qpAdmq7NmRHhpn4= 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:cc: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=iYjPZl+anoC1hEgf0ZI3r+/MLgHG+ij1eZ7rWKAVVySMnd5OW9hwdb48gbl0pHlHzW AG+d1Kqqd8kPw12WYzzN7mSz2RM5SZhBK5SeVmnKX1qLjsMM5z5NSkwpMg0xlKAPVnVr TDS6AfHHxsLg9118PCDJd61LxEvtPl1tUmR5A= Received: by 10.229.15.16 with SMTP id i16mr379908qca.43.1298396427307; Tue, 22 Feb 2011 09:40:27 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.229.137.149 with SMTP id w21ls16837qct.0.p; Tue, 22 Feb 2011 09:40:25 -0800 (PST) Received: by 10.229.14.158 with SMTP id g30mr299829qca.8.1298396422542; Tue, 22 Feb 2011 09:40:22 -0800 (PST) Received: by 10.229.14.158 with SMTP id g30mr299828qca.8.1298396422515; Tue, 22 Feb 2011 09:40:22 -0800 (PST) Received: from mail-qw0-f50.google.com (mail-qw0-f50.google.com [209.85.216.50]) by gmr-mx.google.com with ESMTPS id i16si1416932qco.11.2011.02.22.09.40.22 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 22 Feb 2011 09:40:22 -0800 (PST) Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 209.85.216.50 as permitted sender) client-ip=209.85.216.50; Received: by mail-qw0-f50.google.com with SMTP id 3so2012150qwk.9 for ; Tue, 22 Feb 2011 09:40:22 -0800 (PST) MIME-Version: 1.0 Received: by 10.229.238.82 with SMTP id kr18mr2325509qcb.98.1298396422182; Tue, 22 Feb 2011 09:40:22 -0800 (PST) Received: by 10.229.222.15 with HTTP; Tue, 22 Feb 2011 09:40:21 -0800 (PST) In-Reply-To: References: <201102171403.40004.phma@phma.optus.nu> <201102171622.02738.phma@phma.optus.nu> Date: Tue, 22 Feb 2011 12:40:21 -0500 Message-ID: Subject: Re: [lojban-beginners] Question about {roda} From: Michael Turniansky To: lojban-beginners@googlegroups.com Cc: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= 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.50 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=0016e64b03b6859858049ce2791c Content-Length: 9312 --0016e64b03b6859858049ce2791c Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 2011/2/22 Jorge Llamb=EDas > On Tue, Feb 22, 2011 at 10:36 AM, Ian Johnson > wrote: > > Except that domain of discourse in general is quite explicit in logical > or > > mathematical contexts. That is to say, you walk into (for example) an > > undergrad real analysis class and it is usually very explicit that that > "for > > all x" means "for all x in R". When it isn't, it's always specified in > one > > way or another; the original statement of the theorem you're discussing > may > > be talking about a domain that is a compact interval, and then the "for > all > > x" quantifies over that interval, since you're handing x to f. In more > > general contexts, such as set theory, "for all x" quantifies over > literally > > everything that the theory causes to exist, such as the entire collecti= on > of > > sets. > > > > These things don't bring up Lindar's issue of "which everything are we > > talking about?". If they did, mathematicians and logicians would be doi= ng > > something else to alleviate it. > > Indeed. > > > By contrast, in a general conversation, that universe of discourse is > > perhaps not some absolute one, but it is a very very large one, because= a > > conversation could take twists and turns very very easily by comparison > with > > a real analysis class. Thus the universe of discourse has to be an > > appropriate size to compensate for that. > > The domain of discourse takes twists and turns together with the > discourse. Just look at any conversation in any natlang and see how > often "everybody" is meant to include the speaker, George Washington, > everybody that will be born in the year 2017, Sherlock Holmes, Santa > Claus, and anything else that qualifies as "prenu". I would say not > very often. So whatever problems anyone has with "ro da" they will > find the same type of problems with "ro prenu". > > > I really think it isn't so hard, if you want to be lazy, to simply use > {ro > > srana} and {da poi srana} (I forget, would {lo srana} suffice?). If you > need > > a binding, {ro da poi srana} or {ro srana goi ko'a} work too. > > We only need to wait and see what happens in practice. You can't have > a rule that says that the domain of discourse must always include > Sherlock Holmes as one of the values that variables may take, and you > can't have a rule that says that Sherlock Holmes is a value that > variables may never take (at least I don't think either of those rules > can work in practice) so it's almost inevitable that you will need > context to determine what the universe of discourse is. > > If "ro prenu" can, in some contexts, refer to the 6 or 7 billion > people alive that make up the human population of the Earth today, > then it can just as well refer, in a different context, to the 6 or 7 > people in the room now. There are, in both cases, an infinite number > of potential values being left out that may turn up in another > context. > > I don't understand what is so onerous about simply SAYING "ro le prenu" i= f that's what you mean. You are arbitrarily restricting it to mean exaclty whatever it is you think it should be retricted, and explicitly saying so. So instead of the listener having to ponder, "Oh, I wonder if the speaker i= s really intended to mean everything, or if he is intending to restrict it to some context, and if the latter, what context is it?" He already KNOWS the answer to the first part (restricted), and simply has to figure out the second part. Whereas if you say "ro prenu" you mean exactly that -- "all people, everywhere" No further pondering necessary. --gejyspa --=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. --0016e64b03b6859858049ce2791c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable


2011/2/22 Jorge Llamb=EDas <= ;jjllambias@gmail.com>
On Tue, Feb 22, 2011 at 10:36 AM, Ian Johnson <blindbravado@gmail.com> wrote:> Except that domain of discourse in general is quite explicit in logic= al or
> mathematical contexts. That is to say, you walk into (for example) an<= br>> undergrad real analysis class and it is usually very explicit that = that "for
> all x" means "for all x in R". When i= t isn't, it's always specified in one
> way or another; the original statement of the theorem you're discu= ssing may
> be talking about a domain that is a compact interval, and= then the "for all
> x" quantifies over that interval, sinc= e you're handing x to f. In more
> general contexts, such as set theory, "for all x" quantifies= over literally
> everything that the theory causes to exist, such as= the entire collection of
> sets.
>
> These things don= 9;t bring up Lindar's issue of "which everything are we
> talking about?". If they did, mathematicians and logicians would = be doing
> something else to alleviate it.

Indeed.

> By contrast, in a general conversation, that uni= verse of discourse is
> perhaps not some absolute one, but it is a ve= ry very large one, because a
> conversation could take twists and tur= ns very very easily by comparison with
> a real analysis class. Thus the universe of discourse has to be an
= > appropriate size to compensate for that.

The domain of di= scourse takes twists and turns together with the
discourse. Just look at= any conversation in any natlang and see how
often "everybody" is meant to include the speaker, George Washing= ton,
everybody that will be born in the year 2017, Sherlock Holmes, Sant= a
Claus, and anything else that qualifies as "prenu". I would = say not
very often. =A0So whatever problems anyone has with "ro da" they = will
find the same type of problems with "ro prenu".

> I really think it isn't so hard, if you want= to be lazy, to simply use {ro
> srana} and {da poi srana} (I forget,= would {lo srana} suffice?). If you need
> a binding, {ro da poi sran= a} or {ro srana goi ko'a} work too.

We only need to wait and see what happens in practice. You can= 9;t have
a rule that says that the domain of discourse must always inclu= de
Sherlock Holmes as one of the values that variables may take, and you=
can't have a rule that says that Sherlock Holmes is a value that
var= iables may never take (at least I don't think either of those rules
= can work in practice) so it's almost inevitable that you will need
context to determine what the universe of discourse is.

If "ro = prenu" can, in some contexts, refer to the 6 or 7 billion
people al= ive that make up the human population of the Earth today,
then it can ju= st as well refer, in a different context, to the 6 or 7
people in the room now. There are, in both cases, an infinite number
of = potential values being left out that may turn up in another
context.
=A0
=A0
=A0 I don't understand what is so onerous about simply SAYING &quo= t;ro le prenu" if that's what you mean.=A0 You are arbitrarily res= tricting it to mean exaclty whatever it is you think it should be retricted= , and explicitly saying so.=A0 So instead of the listener having to ponder,= "Oh, I wonder if the speaker is really intended to mean everything, o= r if he is intending to restrict it to some context, and if the latter, wha= t context is it?"=A0 He already KNOWS the answer to the first part (re= stricted), and simply has to figure out the second part.=A0Whereas if you s= ay "ro prenu" you mean exactly that -- "all people, everywhe= re"=A0 No further pondering necessary.
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 --gejyspa
=A0

--
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.
--0016e64b03b6859858049ce2791c--