Received: from mail-ob0-f190.google.com ([209.85.214.190]:43627) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1TswPR-00074j-B5; Wed, 09 Jan 2013 06:13:42 -0800 Received: by mail-ob0-f190.google.com with SMTP id ta14sf1167521obb.27 for ; Wed, 09 Jan 2013 06:13:31 -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:sender:in-reply-to:references:from:date:message-id :subject: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:list-subscribe:list-unsubscribe :content-type; bh=DOx//Jg8MMda28IgdJ89WdKTCK/nd7pimwjr9B5TRBg=; b=iSSTlAzVz6ye/DVdxhLPL7CywvV9qKIa4MfTjE7ft99fUgA4vlpoiFsbD45K2TdQUD X5pIDYQ+p2yfnHUomW0ifiaYY982D+9wfM01u4sGe0bW7QjQ3s8DXf9vxhs/itHthHF9 AmDTZ7L48MS0TkByTIugTghlm7WmCbk4/GGRfQMRvVB/pRj2QFsQBZeGTHUQJnoBO3It abwIZeucsFilIpVNzVE+xNSd4u9s237A0f3oHXdqS6JXtJ4X4cwZPG4nbWGyolp/Jvsg prBIq02+v7A6QnLvS5X9us9s6opTNrkWIdidDrw9y/XBSEAfD8Epi3wlozkT3jggl9N9 JE4g== 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:sender:in-reply-to:references:from:date:message-id :subject: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:list-subscribe:list-unsubscribe :content-type; bh=DOx//Jg8MMda28IgdJ89WdKTCK/nd7pimwjr9B5TRBg=; b=DJbH54heROWaTTfy3N5P++sz+xixrdwzoAw3TqmADHuvzV1LzYHh4SdgEv5AQE0dc7 5OGax805wkj3TCerdZ7RQOrDtVDU3a7VT+0T/LxXD87YEWwZkj9VI6lwf4ySb7yKVTQH Y2umyDD78IujjhJ8NZOIFuIpWIQNedHoKkB5MJFijUGeWt09tq+3A8vPERNXluE81zrU X+u+wcX4URxUuK+iIHZeZLxkgw9aN3eS8NJmHPPi9k/Mv7NSgXSCR7wArYXxOOGt8be/ GA98OT9doshhJNoSI5Flvc3egRYEUG2pgFGIPXSdvFnvmU3kTbejg1AqYD10qqTDNNEj EJ+A== X-Received: by 10.50.37.232 with SMTP id b8mr443838igk.4.1357740810813; Wed, 09 Jan 2013 06:13:30 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.50.1.139 with SMTP id 11ls3731057igm.19.canary; Wed, 09 Jan 2013 06:13:30 -0800 (PST) X-Received: by 10.66.72.227 with SMTP id g3mr1388188pav.31.1357740810373; Wed, 09 Jan 2013 06:13:30 -0800 (PST) X-Received: by 10.66.72.227 with SMTP id g3mr1388186pav.31.1357740810358; Wed, 09 Jan 2013 06:13:30 -0800 (PST) Received: from mail-pa0-f54.google.com (mail-pa0-f54.google.com [209.85.220.54]) by gmr-mx.google.com with ESMTPS id js4si14021593pbb.2.2013.01.09.06.13.30 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 09 Jan 2013 06:13:30 -0800 (PST) Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.220.54 as permitted sender) client-ip=209.85.220.54; Received: by mail-pa0-f54.google.com with SMTP id bi5so1066685pad.41 for ; Wed, 09 Jan 2013 06:13:30 -0800 (PST) Received: by 10.68.135.99 with SMTP id pr3mr212316631pbb.151.1357740810217; Wed, 09 Jan 2013 06:13:30 -0800 (PST) MIME-Version: 1.0 Sender: lojban@googlegroups.com Received: by 10.68.15.70 with HTTP; Wed, 9 Jan 2013 06:13:10 -0800 (PST) In-Reply-To: <1357701654.98559.YahooMailNeo@web184406.mail.bf1.yahoo.com> References: <1357701654.98559.YahooMailNeo@web184406.mail.bf1.yahoo.com> From: ".arpis." Date: Wed, 9 Jan 2013 09:13:10 -0500 Message-ID: Subject: Re: [lojban] Quantifier exactness To: Lojban X-Original-Sender: rpglover64@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of rpglover64@gmail.com designates 209.85.220.54 as permitted sender) smtp.mail=rpglover64@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: List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7b111903b0a98204d2dbaa5d X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --047d7b111903b0a98204d2dbaa5d Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable If, however, you take 0, 1, and 2 (on the same scale) as {na'e nelci}, then {da poi co'e zo'u mi nelci da} but {na ku da poi co'e zo'u do nelci da} (it is the case that I like exactly one of them, but it is not the case that you like exactly one of them), so exact quantifiers being scoped within abstraction make the statement true; exact quantifiers that take bridi scope make the statement false. I found an English statement that has the right intuition: "For you more than for me, there exists exactly one of the two whom we like." Since the way to express it in English requires explicitly scoping quantifiers (like one of aziz's examples), I think the weirdness lies in unintuitive quantifier scoping and not in quantifier exactness (as aziz mentioned). On Tue, Jan 8, 2013 at 10:20 PM, John E Clifford wrot= e: > Ordinarily, the scope of a quantifier in an abstraction is restricted to > that abstraction and moving it outside is a logical no-no (as though the = UD > of one world were the same for all). Now {ni} is a strange abstraction a= nd > may be have differently, but until that case gets made we have to say we > must take it internally. So, we have the case that my liking for A is 3 > (on a 5-point scale) and for B is 0 (bottom), while you give both A and B= 4 > (top). So, in fact, I don't like either of them more than you do. Notic= e > that, in this case at least, moving the quantifier outside doesn't change > the result. I suspect this is a problem with the example, but I don't wa= nt > to fadge up a new one. > > > ------------------------------ > *From:* Felipe Gon=E7alves Assis > *To:* lojban@googlegroups.com > *Sent:* Tuesday, January 8, 2013 5:46 PM > *Subject:* Re: [lojban] Quantifier exactness > > On 7 January 2013 14:55, .arpis. wrote: > > I meant a translation of the original statement into English. .u'u that= I > > wasn't clear. > > > > That is the point. I have never seen in any other linguistic > expression an object > like lo ni mi nelci PA da, as far as I can tell. This is why, in the > attempted translation, > the normally ambiguous scope of the natural language quantifier is > forced to long. > I have no intuition about lo ni mi nelci PA da, although I agree with > the axioms that > justify latro'a's reasoning. > > mu'o > mi'e .asiz. > > > > > On Mon, Jan 7, 2013 at 11:54 AM, Felipe Gon=E7alves Assis > > wrote: > >> > >> On 7 January 2013 12:01, .arpis. wrote: > >> > > >> > On Mon, Jan 7, 2013 at 5:33 AM, Felipe Gon=E7alves Assis > >> > wrote: > >> >> > >> >> What is lacking here is the argument /for/ quantifier inexactness, > >> >> which goes against CLL. > >> > > >> > > >> > Much as I like quantifier exactness as a useful idiosyncrasy in lojb= an > >> > (and > >> > view adhering to the CLL) as a good default, I find the example give= n > as > >> > an > >> > argument /against/ quantifier exactness (though not an entirely > >> > convincing > >> > one by itself), at least if I take latros's analysis at face value. > >> > > >> > >> I don't see how the example is an argument. It is just that, an exampl= e. > >> > >> > The sentence says to me "I, more than you, like one of the two > people." > >> > Unless you can give me an intuition for a translation that preserves > >> > exact > >> > quantifier semantics (and just adding "exactly" to the previous > >> > statement > >> > doesn't do it), I'm going to be uneasy about them. > >> > > >> > >> "I, more than you, like one of the two people." > >> {da poi me lo re prenu zo'u mi zmadu do lo ni ce'u nelci da} or > >> {mi zmadu do lo ni ce'u nelci lo [su'o/pa] me lo re prenu} > >> > >> The odd thing with the original example is the quantification within > >> the ni-clause. > >> > >> mu'o > >> mi'e .asiz. > >> > >> -- > >> 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=3Den. > >> > > > > > > > > -- > > mu'o mi'e .arpis. > > > > -- > > You received this message because you are subscribed to the Google Grou= ps > > "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=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@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?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@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=3Den. > --=20 mu'o mi'e .arpis. --=20 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. --047d7b111903b0a98204d2dbaa5d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
If, however, you take 0, 1, and 2 (on the same s= cale) as {na'e nelci}, then {da poi co'e zo'u mi nelci da} but = {na ku da poi co'e zo'u do nelci da} (it is the case that I like ex= actly one of them, but it is not the case that you like exactly one of them= ), so exact quantifiers being scoped within abstraction make the statement = true; exact quantifiers that take bridi scope make the statement false.

I found an English statement that has the right intuition: "= For you more than for me, there exists exactly one of the two whom we like.= "

Since the way to express it in English requires explici= tly scoping quantifiers (like one of aziz's examples), I think the weir= dness lies in unintuitive quantifier scoping and not in quantifier exactnes= s (as aziz mentioned).


On Tue,= Jan 8, 2013 at 10:20 PM, John E Clifford <kali9putra@yahoo.com>= wrote:
Ordinarily, the scope of a quantifi= er in an abstraction is restricted to that abstraction and moving it outsid= e is a logical no-no (as though the UD of one world were the same for all).= =A0 Now {ni} is a strange abstraction and may be have differently, but unti= l that case gets made we have to say=A0 we must take it internally.=A0=A0 S= o, we have the case that my liking for A is 3 (on a 5-point scale) and for = B is 0 (bottom), while you give both A and B 4 (top).=A0 So, in fact, I don= 't like either of them more than you do.=A0 Notice that, in this case a= t least, moving the quantifier outside doesn't change the result.=A0 I = suspect this is a problem with the example, but I don't want to fadge u= p a new one.=A0



From: Felipe Gon=E7alves A= ssis <felip= eg.assis@gmail.com>
To: lojban@= googlegroups.com
Sent: Tuesday, January 8, 2= 013 5:46 PM
Subject: Re:= [lojban] Quantifier exactness
On 7 January 2013 14:55, .arpis. <rpglover64+jbobau@gmail.com> wrote:
> I meant = a translation of the original statement into English. .u'u that I
&g= t; wasn't clear.
>

That is the point. I have never seen in any other linguisticexpression an object
like lo ni mi nelci PA da, as far as I can tell. T= his is why, in the
attempted translation,
the normally ambiguous scop= e of the natural language quantifier is
forced to long.
I have no intuition about lo ni mi nelci PA da, although= I agree with
the axioms that
justify latro'a's reasoning.
mu'o
mi'e .asiz.

>
> On Mon, Jan 7, 2013 at= 11:54 AM, Felipe Gon=E7alves Assis
> <felip= eg.assis@gmail.com> wrote:
>>
>> On 7 January 2013= 12:01, .arpis. <rpglover64+jboba= u@gmail.com> wrote:
>> >
>> > On Mon, Jan 7,= 2013 at 5:33 AM, Felipe Gon=E7alves Assis
>> > <felipeg.assis@gmail.com> wrote:
>> >>
>> >> What is lacking here is the argument= /for/ quantifier inexactness,
>> >> which goes against CLL.=
>> >
>> >
>> > Much as I like quantifi= er exactness as a useful idiosyncrasy in lojban
>> > (and
>> > view adhering to the CLL) as a good def= ault, I find the example given as
>> > an
>> > argu= ment /against/ quantifier exactness (though not an entirely
>> >= ; convincing
>> > one by itself), at least if I take latros's analysis at f= ace value.
>> >
>>
>> I don't see how the example is an argumen= t. It is just that, an example.
>>
>> > The sentence s= ays to me "I, more than you, like one of the two people."
>> > Unless you can give me an intuition for a translation that pr= eserves
>> > exact
>> > quantifier semantics (and j= ust adding "exactly" to the previous
>> > statement >> > doesn't do it), I'm going to be uneasy about them.>> >
>>
>> "I, more than you, like one of = the two people."
>> {da poi me lo re prenu zo'u mi zmadu = do lo ni ce'u nelci da} or
>> {mi zmadu do lo ni ce'u nelci lo [su'o/pa] me lo re prenu}=
>>
>> The odd thing with the original example is the qua= ntification within
>> the ni-clause.
>>
>> mu= 9;o
>> mi'e .asiz.
>>
>> --
>> You receive= d this message because you are subscribed to the Google Groups
>> "lojban&q= uot; group.
>> To post to this group, send email to
lojban@googlegroups.com.=
>> To unsubscribe from this group, send email to
>> lojban+<= a href=3D"mailto:unsubscribe@googlegroups.com" target=3D"_blank">unsubscrib= e@googlegroups.com.
>> For more options, visit this group at >> http://groups.google.com/group/lojban?hl=3Den.
>><= br>>
>
>
> --
> mu'o mi'e .arpis.
>= ;
> --
> You received this message because you are subscribed to the Google Gro= ups
> "lojban" group.
> To post to this group, send e= mail to lojban= @googlegroups.com.
> To unsubscribe from this group, send email to
> lojban+u= nsubscribe@googlegroups.com.
> For more options, visit this group= at
> http://groups.google.com/group/lojban?hl=3Den.

--
You received this message because you are subscribed to the Goog= le Groups "lojban" group.
To post to this group, send email to= lojban@google= groups.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=3Den.



<= div class=3D"h5">

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



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

--
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.
--047d7b111903b0a98204d2dbaa5d--