Received: from mail-vx0-f189.google.com ([209.85.220.189]:50967) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RCvpz-0007M8-3T; Sun, 09 Oct 2011 09:03:00 -0700 Received: by vcbfl17 with SMTP id fl17sf3646812vcb.16 for ; Sun, 09 Oct 2011 09:02:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-yahoo-newman-id:x-yahoo-newman-property :x-ymail-osg:x-yahoo-smtp:references:in-reply-to :x-apple-yahoo-original-message-folder:mime-version:message-id :x-mailer:from:x-apple-yahoo-replied-msgid:subject:date: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:content-transfer-encoding; bh=EMOfuil8aU1oXO1sPauZZvRUwyKlGesB9hNkdwqhOZk=; b=LkLJ/6j/NaBkY3xccbgDA76a/rnjPwJgn2cXVLrAii1LhoEVVg67JctLWXlx98a/5C O7CvFpzZz57JOAC6HuX83CqbiWBGTsIFxtAo/EDQqUqOZvHFkVRI+OxaaxWvk73k+2EI 73tNl14MUaEqmmu3rZE2xjVqXhjskTmQMmTwo= Received: by 10.220.141.200 with SMTP id n8mr449182vcu.22.1318176161764; Sun, 09 Oct 2011 09:02:41 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.52.181.129 with SMTP id dw1ls4632680vdc.0.gmail; Sun, 09 Oct 2011 09:02:41 -0700 (PDT) Received: by 10.52.94.227 with SMTP id df3mr5526529vdb.4.1318176161200; Sun, 09 Oct 2011 09:02:41 -0700 (PDT) Received: by 10.52.94.227 with SMTP id df3mr5526528vdb.4.1318176161169; Sun, 09 Oct 2011 09:02:41 -0700 (PDT) Received: from nm21-vm0.bullet.mail.bf1.yahoo.com (nm21-vm0.bullet.mail.bf1.yahoo.com. [98.139.213.137]) by gmr-mx.google.com with SMTP id cn4si5895411vdb.3.2011.10.09.09.02.40; Sun, 09 Oct 2011 09:02:41 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.139.213.137 as permitted sender) client-ip=98.139.213.137; Received: from [98.139.215.140] by nm21.bullet.mail.bf1.yahoo.com with NNFMP; 09 Oct 2011 16:02:40 -0000 Received: from [98.139.212.216] by tm11.bullet.mail.bf1.yahoo.com with NNFMP; 09 Oct 2011 16:02:40 -0000 Received: from [127.0.0.1] by omp1025.mail.bf1.yahoo.com with NNFMP; 09 Oct 2011 16:02:40 -0000 X-Yahoo-Newman-Id: 582018.71791.bm@omp1025.mail.bf1.yahoo.com Received: (qmail 2482 invoked from network); 9 Oct 2011 16:02:40 -0000 X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: ONWUtVkVM1mYTwwLHSl4bkOxZqXhyOK0MtVXiwkWqZEiaXY fiJXSk1bg5tVK4Q.hemhIGqVjlbFF5JjIYUV38_PXB7z_.XiBRt6RBIv9WYE tvjS7kbhT6hQ.t67X_MlmVJtOjRp8KnAMRtvRMpfInZRLOBNx6p1p0.XEo2f qjsBXc.2wyGmb2ROkTSOJbT4_..Fa30Ie2L4XtMijO_fcKyarJnvW_1f4S4Q N1WxMn6QN5Ben__KfiJ30.R5rVsMaAKEeOLtgsyWVElXw.P2ZvxFWIXIIMKI jiQCOY1aYQRaNeBrJvnrS3PPs8nsi886G6D_v3mkgFkU.eAXgzCm5GQ3c2Et y.E2VSumhS8JngfUyq.JezHc2uHGcBsAXCqL6ScFi0dSZbs27zgjw4SXAE4P 9I_93rqeAeWq6 X-Yahoo-SMTP: xvGyF4GswBCIFKGaxf5wSjlg3RF108g- Received: from [192.168.1.68] (kali9putra@99.92.108.41 with xymcookie) by smtp118-mob.biz.mail.bf1.yahoo.com with SMTP; 09 Oct 2011 09:02:39 -0700 PDT References: <20110916000632.GD7274@gonzales> <1317917098.8073.YahooMailRC@web81303.mail.mud.yahoo.com> <1317924653.89892.YahooMailRC@web81302.mail.mud.yahoo.com> <20111006193514.GC8826@gonzales> <3166A594-07BE-4D24-AA0F-C56D07C223A5@yahoo.com> <20111007003217.GD8826@gonzales> <20111009042745.GB4634@gonzales> In-Reply-To: <20111009042745.GB4634@gonzales> X-Apple-Yahoo-Original-Message-Folder: AAlojbanery Mime-Version: 1.0 (iPad Mail 8G4) Message-Id: <328A5F04-CC98-4965-9D72-1A2C6FB86F16@yahoo.com> X-Mailer: iPad Mail (8G4) From: "John E. Clifford" X-Apple-Yahoo-Replied-Msgid: 1_6328_AHrHjkQAAHTKTpEiyA62NHUrbIg Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable Date: Sun, 9 Oct 2011 12:11:58 -0400 To: "lojban@googlegroups.com" X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.139.213.137 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.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=Apple-Mail-1-567314526 Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --Apple-Mail-1-567314526 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1 Sent from my iPad On Oct 9, 2011, at 0:27, Martin Bays wrote: > * Saturday, 2011-10-08 at 19:56 -0400 - John E. Clifford : >=20 >> Lying on abed of pain, I have been thinking about this a bit and want >> to revise my position somewhat. =20 >=20 > Sorry to hear about the circumstances; I trust {zo'e} issues distract > rather than contribute Very nicely, thanks >> About {zi'o}, there are two possible ways of reading, say, {zi'o >> klama}. One as a relation among places, paths and modes of >> transportation that hold of a quartet of such just in case some >> traveler take the path from the second place to the first along the >> path using the transportation mode. The second is much the same except >> that the traveller does not enter in, we just have a relation among >> the quartets with no further indication of why they are in that >> relation. The second view, while formally possible, is surely not >> what is intended; why would we use {klama} if the things related were >> never part of a trip? But, as a result, {zi'o} becomes equivalent to >> your friend, the short-scope particular quantifier. >=20 > That may be the case with {klama}, but e.g. in {zi'o kancu}, the > intention really is that no counter need be involved; similarly with > {zi'o darlu}. Of course you could say that there are *potential* > counters and arguers... but that's still different from the likely > meaning of e.g. {zo'e darlu ko'a ko'e}. Nice one! Yes, {zi'o kancu b c d} does make a sort of sense somewhat indepe= ndent of the full form. But it falls short of saying that b actually is c = ds, since the original allows for miscounts. Or maybe it is the correct co= unt even if no one actually makes it, in which case it does become a new re= lation altogether. The case of {darlu} is trickier: it becomes a relation = between two position, apparently that they could be taken as opposing even = if no one tried to make the case. Anyhow, {zi'o} doesn't become just a var= iable. So drop that thought. >=20 >> So, I drop that suggestion. Which brings us back to {zo'e} and >> unfilled places. I take it as a given that {zo'e} is a constant ( at >> each use -- not an ideal situation)and never a variable. The >> appearance that it is sometimes a variable comes from the fact that >> unfilled places clearly are variables sometimes, combined with the >> claim that every unfilled space is a covert occurrence of {zo'e}. >> This last now seems to me to just be flat wrong, as the examples >> bandied about here seem clearly to prove. >=20 > So by an unfilled place being a variable, you mean acting as I was > suggesting {zo'e} does? Maybe. I am still not clear just exactly what you intend ( see problem lat= er). Minimally, I mean it behaves like a particularly quantified variable = under negation an around other quantifiers. >=20 >> On the other hand, some >> unfilled spaces are clearly covert {zo'e} or some constant, at least. >> The constant seems to be subsumable under the "thing I have in mind" >> reading, whether obvious anaphora, obvious deixis, or less obvious >> personal whim (cf. the definitions of descriptors). This leaves >> a totally unacceptable situation, at least for a logical language, >> whose transformations are supposed to be on the surface: an unfilled >> space is four ways ambiguous. >=20 > Well... absorbing anaphora and deixis into the "things I have in mind" > category seems harmless. >=20 Maybe, but since the language is set to be as precise as possible in these = area, it does seem to be a falling away from standards. >> It seems the only logically sensible >> out is to allow unfilled spaces only for variables (the general case) >> and require something more specific for the rest,preferably the >> appropriate pronouns in those case and {zo'e} on the last, though >> I suppose that in most cases {zo'e} could do for all three. >=20 > But unless I'm misunderstanding what you mean by variables, the other > three cases (which are arguably really just one case) are just special > cases of the variable case - namely, where the glorked domain of the > existential quantification is a singleton (whose single element might be > a plurality, of course). >=20 Here is the problem, then. In standard semantics, the universe or domain o= f discourse is a given and all variables range over the items in that domai= n. There is no case of a special domain to be used for just one variable, = separate from the domain that applies to all the others (there are complica= tions here but none that bear on this point). I suppose some mechanism cou= ld be worked out to do something like this, but it seems a lot of work for = no apparent gain. > So I'm understanding you as having {zo'e} force the domain to be > a singleton, but otherwise to work like an unfilled place No. Domains don't change like that. {zo'e} is simply a constant. Is this = strange ad hoc domain what you mean by "close-scope"? Rather than its effe= ct in the structure of the sentence? >=20 > It seems reasonable to want a word for that. Maybe it should be {zo'e}, > I'm not sure. If it were, we'd need to find another word with the > meaning of an unfilled place, say {zo'e'e} - if only because {lo broda} > would then be {zo'e'e noi broda} rather than {zo'e noi broda} (to > whatever extent that equivalence ever works). >=20 >> So, back to the question case: the appropriate negative responses to >> the question { xu do klama le zarci} are {na}(or should that >> be{naku}?), {na go'i}, {mi na klama zy} ( or some more official >> pronoun), and the basic {mi na klama le zarci}, with {mi na klama >> zo'e} as a marginal possibility. >=20 > And {mi na klama} as a definite possibility, yes? I would say, no, because that would have me going nowhere, not merely not t= o the store. >> On Oct 6, 2011, at 20:32, Martin Bays wrote: >>=20 >>> * Thursday, 2011-10-06 at 17:21 -0400 - John E. Clifford : >>>=20 >>>> Which is why I added "or would have I intended if he had thought of >>>> it". So you are saying he might have intended a variable. >>>=20 >>> Ah, I was reading your "something" in "something I have in mind (or >>> would have, if I thought about it)" as being an ordinary something (or >>> somethings, presumably), i.e. just some element (possibly plural) of th= ee.=20 >>> universe. >>>=20 >>> Having it be a variable is roughly right, yes. This can't be dealt with >>> at a textual level - simply substituting {da xi ci ze} for {zo'e} - >>> because {zo'e ro da broda} should be the same as {ro da zo'u zo'e da >>> broda}. Hence the "close-scoping (plural) existential with glorked >>> domain" suggestion made in this thread. >>>=20 >>> Do you still think that suggestion is wrong/bad in some way? >>>=20 >>>> I personally think it is {zi'o}, but that probably has problems >>>> too--though I can't think of one. >>>=20 >>> My main problem with that is just the icky ambiguity it would introduce= . >>> In principle, {zi'o klama} is an entirely new 4-place predicate, whose >>> semantics are related to those of {klama} but not in any very >>> predictable way. So if an omitted place can be {zi'o}, understanding th= e >>> possible meanings of any expression would, in principle, involve >>> understanding many such zi'o-derived selbri. >>>=20 >>> Martin >>>=20 >>>> On Oct 6, 2011, at 15:35, Martin Bays wrote: >>>>=20 >>>>> * Thursday, 2011-10-06 at 11:10 -0700 - John E Clifford : >>>>>> Well, I am not sure just what the all the complications that MB and >>>>>> xorxes have stirred up are, but, so far as I can follow it, the >>>>>> position seems to be that {zo'e} stands for something I have in mind >>>>>> (or would have, if I thought about it). It is a constant (a differe= nt >>>>>> one at each occurrence -- an ongoing problem in Lojban), not >>>>>> a variable and not under any quantifier. Then {lo broda} is that wi= th >>>>>> the additional information that the something is in some way, broda. >>>>>> So, it can refer to anything from a single broda to all brodas, past= , >>>>>> present, future, and possible but not actualized. This referent can >>>>>> then be said to have a further property in a variety of ways, mainly >>>>>> to be grokked from context, since the ways to specify them are not y= wr >>>>>> well-established. My understanding is that MB disagrees with this >>>>>> specification of {zo'e} and xorxes with the extrapolation to the >>>>>> referent, but juast why is hard to see. >>>>>=20 >>>>> Because it doesn't seem to explain the behaviour of {zo'e} with respe= ct >>>>> to negation and quantifiers - at least if we accept that an unfilled >>>>> place is implicitly filled with a {zo'e}, and if we don't use kinds. >>>>>=20 >>>>> To dig out the old example, in >>>>> A: xu do pu klama lo zarci >>>>> B: mi na klama >>>>> , and assuming that there's only one market in question, B probably >>>>> intends to refer to that market by the implicit {zo'e} in {klama}'s x= 2. >>>>> But B is unlikely to mean only to mean that for some specific route, >>>>> B didn't go to the market by that route. B probably means that B didn= 't >>>>> go to the market via *any* route, or means of transport. >>>>>=20 >>>>> Your explanation of {zo'e} seems not to deal with that. --=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. --Apple-Mail-1-567314526 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1


Sent from my iPad
On Oct 9, 2011, at 0:27, Martin Bays <mbays@sdf.org> wrote:

* Saturday, 2011-10-08 at 19:56 -0400 - John E. Clifford &l= t;kali9putra@yahoo.com>:

Lying on abed of pa= in, I have been thinking about this a bit and want
<= blockquote type=3D"cite">to revise my position somewhat.  

Sorry to hear about the circumstan= ces; I trust {zo'e} issues distract
rather than contribute<= /span>

Very nicely, thanks

About {zi'o}, t= here are two possible ways of reading, say, {zi'o
klama}. One as a relation among places, paths= and modes of
transp= ortation that hold of a quartet of such just in case some
traveler take the path from the secon= d place to the first along the
path using the transportation mode. The second is much the same = except
that the trav= eller does not enter in, we just have a relation among
the quartets with no further indication = of why they are in that
relation.  The second view, while formally possible, is surely not=
what is intended; w= hy would we use {klama} if the things related were
<= blockquote type=3D"cite">never part of a trip?  But, as a result= , {zi'o} becomes equivalent to
your friend, the short-scope particular quantifier.

That may be the case with {klama}, but e.= g. in {zi'o kancu}, the
intention really is that no counter= need be involved; similarly with
{zi'o darlu}. Of course y= ou could say that there are *potential*
counters and arguer= s... but that's still different from the likely
meaning of = e.g. {zo'e darlu ko'a ko'e}.

Ni= ce one! Yes, {zi'o kancu b c d} does make a sort of sense somewhat independ= ent of the full form.  But it falls short of saying that b actually is= c ds, since the original allows for miscounts.  Or maybe it is the co= rrect count even if no one actually makes it, in which case it does become = a new relation altogether.  The case of {darlu} is trickier: it become= s a relation between two position, apparently that they could be taken as o= pposing even if no one tried to make the case.  Anyhow, {zi'o} doesn't= become just a variable. So drop that thought.

So, I drop = that suggestion.  Which brings us back to {zo'e} and
unfilled places.  I take it as a= given that {zo'e} is a constant ( at
each use -- not an ideal situation)and never a variable. =  The
appearance= that it is sometimes a variable comes from the fact that
unfilled places clearly are variables= sometimes, combined with the
claim that every unfilled space is a covert occurrence of {zo'e}.=
This last now seems= to me to just be flat wrong, as the examples
bandied about here seem clearly to prove.<= br>

So by an unfilled place being a vari= able, you mean acting as I was
suggesting {zo'e} does?

Maybe.  I am still not clear j= ust exactly what you intend ( see problem later).  Minimally, I mean i= t behaves like a particularly quantified variable under negation an around = other quantifiers.

=
On the other hand, some
unfilled spaces are cl= early covert {zo'e} or some constant, at least.
The constant seems to be subsumable under the "= thing I have in mind"
reading, whether obvious anaphora, obvious deixis, or less obvious=
personal whim (cf. the def= initions of descriptors).  This leaves
a totally unacceptable situation, at least for a lo= gical language,
whos= e transformations are supposed to be on the surface: an unfilled
=
space is four ways ambiguous.<= /span>

Well... absorbing anaphora an= d deixis into the "things I have in mind"
category seems ha= rmless.

Maybe, but since the language is set to be as precise as possible in= these area, it does seem to be a falling away from standards.
It seems t= he only logically sensible
out is to allow unfilled spaces only for variables (the general case= )
and require someth= ing more specific for the rest,preferably the
appropriate pronouns in those case and {zo'e} on = the last, though
I s= uppose that in most cases {zo'e} could do for all three.

But unless I'm misunderstanding what you mean b= y variables, the other
three cases (which are arguably real= ly just one case) are just special
cases of the variable ca= se - namely, where the glorked domain of the
existential qu= antification is a singleton (whose single element might be
= a plurality, of course).

Here is the problem, then.  In standard semantics, the universe or do= main of discourse is a given and all variables range over the items in that= domain.  There is no case of a special domain to be used for just one= variable, separate from the domain that applies to all the others (there a= re complications here but none that bear on this point).  I suppose so= me mechanism could be worked out to do something like this, but it seems a = lot of work for no apparent gain.
<= span>So I'm understanding you as having {zo'e} force the domain to be
a singleton, but otherwise to work like an unfilled place=

No. Domains don't change like that. &= nbsp;{zo'e} is simply a constant.  Is this strange ad hoc domain what = you mean by "close-scope"?  Rather than its effect in the structure of= the sentence?

It seems reasonable to want a word for that. Maybe it should be {zo'e},=
I'm not sure. If it were, we'd need to find another word w= ith the
meaning of an unfilled place, say {zo'e'e} - if onl= y because {lo broda}
would then be {zo'e'e noi broda} rathe= r than {zo'e noi broda} (to
whatever extent that equivalenc= e ever works).

S= o, back to the question case: the appropriate negative responses to<= br>
the question { xu do klama = le zarci} are {na}(or should that
be{naku}?), {na go'i}, {mi na klama zy} ( or some more offi= cial
pronoun), and t= he basic {mi na klama le zarci}, with {mi na klama
<= blockquote type=3D"cite">zo'e} as a marginal possibility.
<= /blockquote>
And {mi na klama} as a definite possibil= ity, yes?

I would say, no, beca= use that would have me going nowhere, not merely not to the store.

On Oct= 6, 2011, at 20:32, Martin Bays <mbays@= sdf.org> wrote:

* Thursday, 2011-10-06 at 17:21 -0400 - John E. Clifford <kali9putra@yahoo.com>:

Which is why I adde= d "or would have I intended if he had thought of
=
it". So you are saying he might have intend= ed a variable.

Ah, I wa= s reading your "something" in "something I have in mind (or
would have, if I thought about it)" as being an ordinary something (or<= /span>
somethings, presumably), i.e. just some element (possibl= y plural) of thee.
universe.
=
Having it be a variable is roughly right, yes. This can't be d= ealt with
at a textual level - simply substituting {da x= i ci ze} for {zo'e} -
because {zo'e ro da broda} should= be the same as {ro da zo'u zo'e da
broda}. Hence the "c= lose-scoping (plural) existential with glorked
domain" s= uggestion made in this thread.

<= /blockquote>
Do yo= u still think that suggestion is wrong/bad in some way?
=
I personally think it is {zi'= o}, but that probably has problems
too--though I can't think of one.
=

My main problem with that is just the icky amb= iguity it would introduce.
In principle, {zi'o klama} is= an entirely new 4-place predicate, whose
semantics are = related to those of {klama} but not in any very
predicta= ble way. So if an omitted place can be {zi'o}, understanding the
=
possible meanings of any expression would, in principle, involve
understanding many such zi'o-derived selbri.

Martin

On Oct 6, 2011, at 15:35, Martin Bays <mbays@sdf.org> wrote:

=
* Thursday, 2011-10-06 at 1= 1:10 -0700 - John E Clifford <ka= li9putra@yahoo.com>:
Well, I am not sure just what the all the complications that MB and=
xorxes have stirred = up are, but, so far as I can follow it, the
position seems to be that {zo'e} stands for s= omething I have in mind
(or would have, if I thought about it).  It is a constant (a= different
one= at each occurrence -- an ongoing problem in Lojban), not
a variable and not under any q= uantifier.  Then {lo broda} is that with
=
the additional information that the somethi= ng is in some way, broda.
=
So, it can refer to anything from a single broda to all brodas,= past,
present= , future, and possible but not actualized.  This referent can
then be said to have a= further property in a variety of ways, mainly
to be grokked from context, since the ways= to specify them are not ywr
well-established.  My understanding is that MB disagre= es with this
=
s= pecification of {zo'e} and xorxes with the extrapolation to the
<= /blockquote>
referent, but juast why i= s hard to see.

<= /blockquote>
Be= cause it doesn't seem to explain the behaviour of {zo'e} with respect
to negation and quantifiers - at least if we accept that= an unfilled
=
place is implicitly filled with a {zo'e}= , and if we don't use kinds.

=
T= o dig out the old example, in
A: xu do pu klama lo za= rci
B: mi na klama
, and assumi= ng that there's only one market in question, B probably
intends to refer to that market by the implicit {zo'e} in {klama}'s x2.<= /span>
But B is unlikely to mean only to mean that for some = specific route,
B didn't go to the market by that rou= te. B probably means that B didn't
<= blockquote type=3D"cite">
go to the market v= ia *any* route, or means of transport.
=

=
Your explanation of {zo'e} seems not to deal with that.
=

--
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.
--Apple-Mail-1-567314526--