Received: from mail-pb0-f56.google.com ([209.85.160.56]:60889) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1TqqKO-00028h-Nh; Thu, 03 Jan 2013 11:19:57 -0800 Received: by mail-pb0-f56.google.com with SMTP id ro12sf9294947pbb.11 for ; Thu, 03 Jan 2013 11:19:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:x-received: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:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=ksFqx7H9WyTgWaNcOdrmmFkjo2GXfcz1wsM1kcko5h0=; b=O/RTOutzuhEFQDMfhcKj9puYS0kyjiPzyaZhrn/eh1r6ONHjCLfrZytM+xDNtW5Mlq RThKV18rMV77HtZzB0qFXngasxYmtogrQiqtWSCSowa6uXy6j5mbtTm1xIzJE6Y2DKab o5680Si42kxqDltWY/tN9QUI/xqWTNkHgHZMY8o5pnNDBH+J4DNT8kXn03Kum6/TA/GW lLb3ASqzKmtcAdCk3fSXorK0Qn/WNMAsU4r2jXYkvq2eInnvVMYlA4hNflcT/yMWbJkX 8YOGQlKM/MDRMSi8LrSlHHrWJ/P77BgD+QLJ6PsSq5Tbe9ZOpzdWz7oJui753jSDO1P/ +47Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:x-received: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:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=ksFqx7H9WyTgWaNcOdrmmFkjo2GXfcz1wsM1kcko5h0=; b=xRFtRjmp61vwbpQprq3zxTi5/2gzWPMdMO/B77EXZMthswJKRlLpPN+AFoIXo/ZvoV K6mhZz1AqNVn/JW4Dz/YzpexAqu1vKeIUgiERTrKkFC3r3PNJTStB20GVMfn3LpoqBkw AdCVrOCCXI6imGK2DIfeJpLxSQyU+MNw7u7GdnMNbd7MvcSSbg/ZOapOesHigvCtgE1I hzuwzoOidQDr3AiCAvdnvZjb+wQc70xNjB9mrjGlRSDLzg8f0ta1XFSGLS9pFyySR941 E+M9GecornTYhkoLTfzuNqpPvKMQfOX9pH+1/ssetFjr/uSX9dH986cQZmAzraij1Fl0 ygOA== X-Received: by 10.49.38.194 with SMTP id i2mr8322163qek.30.1357240778065; Thu, 03 Jan 2013 11:19:38 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.49.120.136 with SMTP id lc8ls6609442qeb.30.gmail; Thu, 03 Jan 2013 11:19:36 -0800 (PST) X-Received: by 10.58.191.68 with SMTP id gw4mr24568627vec.20.1357240776691; Thu, 03 Jan 2013 11:19:36 -0800 (PST) X-Received: by 10.58.191.68 with SMTP id gw4mr24568626vec.20.1357240776660; Thu, 03 Jan 2013 11:19:36 -0800 (PST) Received: from mail-vb0-f47.google.com (mail-vb0-f47.google.com [209.85.212.47]) by gmr-mx.google.com with ESMTPS id h20si15815436vdg.3.2013.01.03.11.19.36 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 03 Jan 2013 11:19:36 -0800 (PST) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.47 as permitted sender) client-ip=209.85.212.47; Received: by mail-vb0-f47.google.com with SMTP id e21so15750549vbm.34 for ; Thu, 03 Jan 2013 11:19:36 -0800 (PST) MIME-Version: 1.0 Received: by 10.220.151.142 with SMTP id c14mr74016449vcw.16.1357240776469; Thu, 03 Jan 2013 11:19:36 -0800 (PST) Received: by 10.220.13.197 with HTTP; Thu, 3 Jan 2013 11:19:36 -0800 (PST) In-Reply-To: References: Date: Thu, 3 Jan 2013 14:19:36 -0500 Message-ID: Subject: Re: [lojban] Context and precision (was:Re: [lojban-beginners] Special reference, underspecified) From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.47 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=f46d043be06a5b2da704d2673eb9 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --f46d043be06a5b2da704d2673eb9 Content-Type: text/plain; charset=ISO-8859-1 The problem with this is that we don't have mechanisms for explicitly handling the universe of discourse. Anything you talk about is automatically bound within the hidden variable "the universe of discourse", and you can only indirectly influence what is in this domain. "Everything that has ever been at any location in the universe at any point in time" is implicitly "Everything that ... and is also in the universe of discourse" by default. Another example of this is the approach to what outer quantifiers should mean. Assuming we've come to some agreement on what the universe of discourse is for the moment, should {ci da} mean "exactly three things" as the CLL proclaims? The way I understand what you're saying, you would think that it shouldn't, and instead there should be another PA for "exactly", and without that addition {ci da} should be something like "at least three, and probably not tremendously larger than three". At least as an outer quantifier; in {lo cacra be li ci} it would be more like "close to three, possibly with some error on either side". Am I right here? My problem with making the "verbosity and precision correlate tightly" doctrine into law is that precise statements all vanish for being too verbose. It's like pedantic English, you can be very careful in English if you try really hard, but we don't speak that way, and those that try are criticized for sounding awkward. mi'e la latro'a mu'o On Thu, Jan 3, 2013 at 11:01 AM, Jonathan Jones wrote: > (In the event that my comments below spark a discussion, I've moved this > to the main list and altered the subject to reflect the topic at hand.) > > On Thu, Jan 3, 2013 at 8:34 AM, Ian Johnson wrote: > >> This drastically hinders the precision (in fact it basically makes it >> exactly the same as PA lo GISMU), but yes, PA GISMU under this model is an >> extremely compact form for a rather uncommon usage. >> >> But fair enough; at the very least the {pa se pelkre} version is sketchy, >> and we'll leave it at that. > > > I'm a firm believer in determinism via context and precision via > verbosity. That is, I believe that anything about an expression that can be > figured out from the context that expression is in, should be left to > context, and that a more precise expression should always, without > exception, require more words to express than a similar, less precise one. > > My reasoning behind both is simply that following those doctrines means we > can say things in Lojban more succintly, a definite boon considering the > wordiness the language has, IMO. > > And it's not at all difficult to add {roroi fe'eroroi} to make the context > be "always and everywhere". It does, obviously, require more words, but > that's in line with the above. > > >> mi'e la latro'a mu'o >> >> On Thu, Jan 3, 2013 at 10:29 AM, Jonathan Jones wrote: >> >>> >>> >>> On Thu, Jan 3, 2013 at 8:21 AM, Ian Johnson wrote: >>> >>>> The first version is wrong; that says "there exists exactly one yellow >>>> haired thing which ..." (Rather, there is a very slightly less >>>> controversial version that I tend to subscribe to: "there is exactly one >>>> yellow-haired thing that is at all possible to come up in discussion which >>>> ..." The point is that the default universe of discourse should be the >>>> *universe* of discourse, there shouldn't be anything that be >>>> reasonably anticipated to come up in conversation that isn't actually in >>>> it.) >>>> >>> >>> I subscribe to the idea that the "universe of discourse" is bound by the >>> context that discourse is in, mainly because forcing PA GISMU to mean that >>> there is exactly PA things that GISMU makes the construct pretty much >>> useless, seeing as statements like that are pretty much always incorrect. >>> But this isn't the list to talk about thee issues, being the beginner's >>> thread and all. >>> >>> >>>> If you use su'o instead it's not terrible, but really {da} constructs >>>> when you don't want nice sharp precision tend to be undesirable, in my >>>> experience. >>>> >>>> At any rate, here I'd probably say {lo se ke pelxu kerfa}. {le} might >>>> also be appropriate in this context, but I doubt I'd use it. That said, I >>>> think more likely the structure of the discussion would be different among >>>> fluent in-real-life Lojban speakers. (Few of these exist; I, for example, >>>> am pretty quick on IRC, but am almost completely helpless when it comes to >>>> spatial things.) I'd expect a lot of up-front establishment of pronouns, >>>> for example. >>>> >>>> mi'e la latro'a mu'o >>>> >>>> On Wed, Jan 2, 2013 at 1:30 PM, Jonathan Jones wrote: >>>> >>>>> On Mon, Dec 31, 2012 at 10:01 AM, neizyn. wrote: >>>>> >>>>>> coi >>>>>> .i mi'e neizyn. >>>>>> >>>>>> Sorry, I'm just a beginnger! but I was wondering about a special >>>>>> situation. >>>>>> Suppose there's a group of girls with one guy; I'm talking to one of >>>>>> the girls, and I make a statement referring to the guy without >>>>>> unambiguously referring to him by name or other reference. This is because >>>>>> he's the only person in the group like that. Say he's blonde. Is there a >>>>>> way I can say that "someone is blond" oooooor 'blonde exists/obtains such >>>>>> that x is blonde' ? Better yet, could I use that with some kind of >>>>>> reference? >>>>>> >>>>> >>>>> {pa pelxre} == {pa da poi pelkre} => "one X which-is golden-haired" >>>>> {pa lo prenu poi pelxre} => "A singular person which-is blonde" >>>>> {lo pelxre prenu} => "One or more blonde type-of person" >>>>> {ko'a goi (any of the above)} => "It-1, which-is what we will call >>>>> {any of the above)" >>>>> >>>>> I'm sure there's other ways to do it as well, but those are the most >>>>> obvious, to me at any rate. >>>>> >>>>> -- >>>>> mu'o mi'e .aionys. >>>>> >>>>> .i.e'ucai ko cmima 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. >>>>> >>>> >>>> -- >>>> 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.e'ucai ko cmima 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. >>> >> >> -- >> 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.e'ucai ko cmima 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" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to > lojban+unsubscribe@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=en. > -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. --f46d043be06a5b2da704d2673eb9 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable The problem with this is that we don't have mechanisms for explicitly h= andling the universe of discourse. Anything you talk about is automatically= bound within the hidden variable "the universe of discourse", an= d you can only indirectly influence what is in this domain. "Everythin= g that has ever been at any location in the universe at any point in time&q= uot; is implicitly "Everything that ... and is also in the universe of= discourse" by default.

Another example of this is the approach to what outer quantifiers shoul= d mean. Assuming we've come to some agreement on what the universe of d= iscourse is for the moment, should {ci da} mean "exactly three things&= quot; as the CLL proclaims? The way I understand what you're saying, yo= u would think that it shouldn't, and instead there should be another PA= for "exactly", and without that addition {ci da} should be somet= hing like "at least three, and probably not tremendously larger than t= hree". At least as an outer quantifier; in {lo cacra be li ci} it woul= d be more like "close to three, possibly with some error on either sid= e". Am I right here?

My problem with making the "verbosity and precision correlate tigh= tly" doctrine into law is that precise statements all vanish for being= too verbose. It's like pedantic English, you can be very careful in En= glish if you try really hard, but we don't speak that way, and those th= at try are criticized for sounding awkward.

mi'e la latro'a mu'o

On T= hu, Jan 3, 2013 at 11:01 AM, Jonathan Jones <eyeonus@gmail.com> wrote:
(In the event that my comments below spark a= discussion, I've moved this to the main list and altered the subject t= o reflect the topic at hand.)

On Thu, Jan 3, 2013 at 8:34 AM, Ian Johnson = <blindbravado@gmail.com> wrote:
This drastically hinders the precision (in f= act it basically makes it exactly the same as PA lo GISMU), but yes, PA GIS= MU under this model is an extremely compact form for a rather uncommon usag= e.

But fair enough; at the very least the {pa se pelkre} version is sketch= y, and we'll leave it at that.

I'm a firm beli= ever in determinism via context and precision via verbosity. That is, I bel= ieve that anything about an expression that can be figured out from the con= text that expression is in, should be left to context, and that a more prec= ise expression should always, without exception, require more words to expr= ess than a similar, less precise one.

My reasoning behind both is simply that following those doctrines means= we can say things in Lojban more succintly, a definite boon considering th= e wordiness the language has, IMO.

And it's not at all difficult= to add {roroi fe'eroroi} to make the context be "always and every= where". It does, obviously, require more words, but that's in line= with the above.
=A0
mi'e la latro'a mu'= ;o

On Thu, Jan 3, 2013 at 10:29 AM, Jonathan Jones <eyeonus@gmail.com>= wrote:


On T= hu, Jan 3, 2013 at 8:21 AM, Ian Johnson <blindbravado@gmail.com&g= t; wrote:
The first version is wrong; that says "there exists exactly one yellow= haired thing which ..." (Rather, there is a very slightly less contro= versial version that I tend to subscribe to: "there is exactly one yel= low-haired thing that is at all possible to come up in discussion which ...= " The point is that the default universe of discourse should be the universe of discourse, there shouldn't be anything that be reasona= bly anticipated to come up in conversation that isn't actually in it.) =

I subscribe to the idea that the "universe= of discourse" is bound by the context that discourse is in, mainly be= cause forcing PA GISMU to mean that there is exactly PA things that GISMU m= akes the construct pretty much useless, seeing as statements like that are = pretty much always incorrect. But this isn't the list to talk about the= e issues, being the beginner's thread and all.
=A0
If you use su'o instead it's not terrible, but really {da} construc= ts when you don't want nice sharp precision tend to be undesirable, in = my experience.

At any rate, here I'd probably say {lo se ke pel= xu kerfa}. {le} might also be appropriate in this context, but I doubt I= 9;d use it. That said, I think more likely the structure of the discussion = would be different among fluent in-real-life Lojban speakers. (Few of these= exist; I, for example, am pretty quick on IRC, but am almost completely he= lpless when it comes to spatial things.) I'd expect a lot of up-front e= stablishment of pronouns, for example.

mi'e la latro'a mu'o

On Wed, Jan 2, 2013 at 1:30 PM, Jonathan Jones <= eyeonus@gmail.com> wrote:
On Mon, Dec 31, 2012 at 10:01 AM, neizyn. <<= a href=3D"mailto:sjacket@gmail.com" target=3D"_blank">sjacket@gmail.com= > wrote:
coi
.i mi'e neizyn.
=A0
Sorry, I'= ;m just a beginnger! but I was wondering about a special situation.
Suppose there's a group of girls with one guy; I'm talking to on= e of the girls, and I make a statement referring to the guy without unambig= uously referring to him by name or other reference. This is because he'= s the only person in the group like that. Say he's blonde. Is there a w= ay=A0I can say that "someone is blond" oooooor 'blonde exists= /obtains such that x is blonde' ? Better yet, could I use that with som= e kind of reference?=A0

{pa pelxre} =3D=3D {pa da poi pelkre} =3D> &= quot;one X which-is golden-haired"
{pa lo prenu poi pelxre} =3D>= "A singular person which-is blonde"
{lo pelxre prenu} =3D>= "One or more blonde type-of person"
{ko'a goi (any of the above)} =3D> "It-1, which-is what we will= call {any of the above)"

I'm sure there's other ways t= o do it as well, but those are the most obvious, to me at any rate.

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

.i.e'ucai ko cmima 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 &= 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+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.

--
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+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.


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

.i.e'ucai ko cmima lo piln= o 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 &= 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+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.

--
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+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.
=


--
mu'o mi'e .aionys.

.i.e'= ;ucai ko cmima 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 &= quot;lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--f46d043be06a5b2da704d2673eb9--