Received: from mail-vc0-f189.google.com ([209.85.220.189]:59304) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1TquVu-0003uO-EJ; Thu, 03 Jan 2013 15:48:06 -0800 Received: by mail-vc0-f189.google.com with SMTP id p16sf9649948vcq.6 for ; Thu, 03 Jan 2013 15:47:47 -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=EUzsZDnKbK47M9AKBb6UqoozOSD3j3T/HYkwQxrE+ho=; b=FWyNf0FSBkyiTz9IPl9QwbkRO681fSWvTspE8oV+Qdcrnhzy6bhNHOnfJIT+m3PHVT zbRZDI4lSkdRZUTCVzQzT6VHa/ZnzD00O4zGmSJFxfK3gPCSfzPIPSc3xqb0nPLbmw2j NqphqI06+Tk/XdroQ1hw/F3wfRdNCbt/sMCSmwtCstQnFkJYGVG4Zoe2bHbIC6clKC58 FiP0YUVCbJHZaBXf8m3Un4/g1fspRgSI/BOeRsD87Ov81yOVPdnN02OZeyqfC/bn1otH Ch8oAoQXLxq4IFujyzzlqP0uHq8300OqQjKy0sESuI0xTjtyazjI3dcwO/D0T6K9DEo5 WWKg== 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=EUzsZDnKbK47M9AKBb6UqoozOSD3j3T/HYkwQxrE+ho=; b=lmWeza/k3ACAggA1pPa7y+Gw6gOc1HiaWz+wvo1Kho3EM9/NjkZs0UTtE/UCfKHAT6 Z+IasZZ72/ydqVyTqYb1Yj8fqMk+KGS9+T4ruHAgsmDbKdINkg7NNeZv+5OcMFxYZkK7 yWHkQSFtkKJs7gWfYuw0ii8WTGF/XkXfmXZd8O1vjoojZKaNkJ1h5D5nnrhshMzjXYSi HQEijACvKki+VE30hURszk93H5LZCyodYksHsfdp43OM6cFfJYFRMrOxpHfgt/Vaq+AT 4OCAX5sUngtHctgi/zSlMyDOPgeotTwJw/gH+uxUoo4ohwCIACdZ+DZH+6hFbEXeVTbl Lbtg== X-Received: by 10.49.12.97 with SMTP id x1mr8525807qeb.25.1357256867457; Thu, 03 Jan 2013 15:47:47 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.49.83.42 with SMTP id n10ls6655988qey.25.gmail; Thu, 03 Jan 2013 15:47:46 -0800 (PST) X-Received: by 10.58.247.39 with SMTP id yb7mr23854105vec.24.1357256866804; Thu, 03 Jan 2013 15:47:46 -0800 (PST) X-Received: by 10.58.247.39 with SMTP id yb7mr23854103vec.24.1357256866789; Thu, 03 Jan 2013 15:47:46 -0800 (PST) Received: from mail-vc0-f180.google.com (mail-vc0-f180.google.com [209.85.220.180]) by gmr-mx.google.com with ESMTPS id u2si8643717vdi.2.2013.01.03.15.47.46 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 03 Jan 2013 15:47:46 -0800 (PST) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.220.180 as permitted sender) client-ip=209.85.220.180; Received: by mail-vc0-f180.google.com with SMTP id p16so16130400vcq.11 for ; Thu, 03 Jan 2013 15:47:46 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.64.139 with SMTP id o11mr6580898vds.107.1357256866698; Thu, 03 Jan 2013 15:47:46 -0800 (PST) Received: by 10.220.13.197 with HTTP; Thu, 3 Jan 2013 15:47:46 -0800 (PST) In-Reply-To: References: Date: Thu, 3 Jan 2013 18:47:46 -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.220.180 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=20cf3079bcca68969504d26afdd0 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --20cf3079bcca68969504d26afdd0 Content-Type: text/plain; charset=ISO-8859-1 > > No. I think it should mean exactly three. The difference is that I think > "exactly three" should only be considered within context. If we're talking > about the house next door, and I say {ci prenu} = {ci da poi prenu}, it > should mean that there are exactly three people in the context of the house > next door, not that there are exactly three people, in the whole of time > and space, real and imagined, etc..., whatever the scope of "universe of > discourse" is. > This answer isn't really {na go'i} so much as {na'i}. I was saying to choose a fixed universe of discourse, then decide what an outer quantifier means. In other words I wanted to simplify the issue of outer quantifiers by decoupling it from the issue of determining the universe of discourse. You're saying that the universe of discourse shrinks and expands rapidly from sentence to sentence, and that the idea of holding one constant isn't reasonable. I think this is troubling in general, partly because everything done in logic depends on a background universe of discourse. In other words the first thing you do is say what you're talking about precisely (for example, the real number system), and then you start saying things about it. Rejecting this idea is sa'u illogical, but not necessarily irrational nor necessarily damaging. > > >> 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. > > > I'm not sure that's true, and I'm not certain that's really much of a > problem if it is. I highly doubt that requiring more words to be more > precise- which, by the way, is already true in the vast majority of Lojban > as it is- automatically makes higher precision statements cease to be made. > I phrased that the way I phrased it for a reason. *Insisting* that verbosity and precision correlate tightly makes it so every precise statement is necessarily verbose. I think part of the point of Lojban is that logic cleanly and succinctly expresses certain ideas (quantifiers, for example, and in particular ro, su'o, and to a lesser extent pa), and by reworking ordinary language carefully we can bring everyday ideas into that structure. > I also don't think your comparison with English is very on the ball, but > that's neither here nor there. > It's an exaggeration, but I think the basic point is valid. That is, once you get to a certain level of verbosity, your listener tunes out. The threshold is probably higher in Lojban because the grammar is both simpler and less obtrusive, but it's still there. mi'e la latro'a mu'o -- 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. --20cf3079bcca68969504d26afdd0 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
No. I think it should mean exactly three. The difference is = that I think "exactly three" should only be considered within con= text. If we're talking about the house next door, and I say {ci prenu} = =3D {ci da poi prenu}, it should mean that there are exactly three people i= n the context of the house next door, not that there are exactly three peop= le, in the whole of time and space, real and imagined, etc..., whatever the= scope of "universe of discourse" is.
This answer isn't really {na go'i} so= much as {na'i}. I was saying to choose a fixed universe of discourse, = then decide what an outer quantifier means. In other words I wanted to simp= lify the issue of outer quantifiers by decoupling it from the issue of dete= rmining the universe of discourse. You're saying that the universe of d= iscourse shrinks and expands rapidly from sentence to sentence, and that th= e idea of holding one constant isn't reasonable. I think this is troubl= ing in general, partly because everything done in logic depends on a backgr= ound universe of discourse. In other words the first thing you do is say wh= at you're talking about precisely (for example, the real number system)= , and then you start saying things about it. Rejecting this idea is sa'= u illogical, but not necessarily irrational nor necessarily damaging.
=A0
My problem with making the "verbosity and precision correlate tightly&= quot; doctrine into law is that precise statements all vanish for being too= verbose. It's like pedantic English, you can be very careful in Englis= h if you try really hard, but we don't speak that way, and those that t= ry are criticized for sounding awkward.

I'm not sure that's true, and I'm not certain th= at's really much of a problem if it is. I highly doubt that requiring m= ore words to be more precise- which, by the way, is already true in the vas= t majority of Lojban as it is- automatically makes higher precision stateme= nts cease to be made.
I phrased that the way I phrased it for a reason. <= i>Insisting that verbosity and precision correlate tightly makes it so = every precise statement is necessarily verbose. I think part of the point o= f Lojban is that logic cleanly and succinctly expresses certain ideas (quan= tifiers, for example, and in particular ro, su'o, and to a lesser exten= t pa), and by reworking ordinary language carefully we can bring everyday i= deas into that structure.
I als= o don't think your comparison with English is very on the ball, but tha= t's neither here nor there.
It's an exaggeration, but I think the bas= ic point is valid. That is, once you get to a certain level of verbosity, y= our listener tunes out. The threshold is probably higher in Lojban because = the grammar is both simpler and less obtrusive, but it's still there. <= br>
mi'e la latro'a mu'o

--
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.
--20cf3079bcca68969504d26afdd0--