From pycyn@aol.com Sat Sep 22 14:42:18 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2_2); 22 Sep 2001 21:42:18 -0000 Received: (qmail 71862 invoked from network); 22 Sep 2001 21:42:18 -0000 Received: from unknown (10.1.10.26) by l9.egroups.com with QMQP; 22 Sep 2001 21:42:18 -0000 Received: from unknown (HELO imo-d03.mx.aol.com) (205.188.157.35) by mta1 with SMTP; 22 Sep 2001 21:42:17 -0000 Received: from Pycyn@aol.com by imo-d03.mx.aol.com (mail_out_v31_r1.7.) id r.77.1b794eda (2612) for ; Sat, 22 Sep 2001 17:42:13 -0400 (EDT) Message-ID: <77.1b794eda.28de5fb4@aol.com> Date: Sat, 22 Sep 2001 17:42:12 EDT Subject: RE: [lojban] Re: noxemol ce'u To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="part1_77.1b794eda.28de5fb4_boundary" X-Mailer: AOL 6.0 for Windows US sub 10535 From: pycyn@aol.com X-Yahoo-Message-Num: 10968 --part1_77.1b794eda.28de5fb4_boundary Content-Type: multipart/alternative; boundary="part1_77.1b794eda.28de5fb4_alt_boundary" --part1_77.1b794eda.28de5fb4_alt_boundary Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable In a message dated 9/22/2001 1:17:56 PM Central Daylight Time,=20 jjllambias@hotmail.com writes: > y =3D f(x) > y =3D 2x+3 > y =3D x >=20 > Now, you want to call the first two functions "f(x)" and "2x+3" > respectively, but you object when I point out that your system >=20 I'm not sure what you mean. You give three equations, two of them between = a=20 function and its value and the third between two individuals. Then you say= =20 that because the second term in the first two equations is a function, the= =20 third one must be too. I don't see how that follows. Alternatively, you=20 mean these equations to be functions of some sort, presumably to=20 propositions, since they are sentential, but then this is a very different= =20 case from the one we were discussing, which was a function to individuals -= -=20 and further, you have then misidentified the function throughout. The=20 function, sid(x), which returns as value for each argument that argument=20 itself, is a function, but is neither the argument nor the value, as you se= em=20 to want it to be. (It is, usually, as set of ordered pairs in which the=20 first and second members are the same.) <>Using {le du be ce'u} is pointless with {frica} since any two things that >differ in any way at all differ in this (and {le ka makau du ce'u}). What if that were the only relevant difference? Why is it pointless to say so? And if it is always pointless, what's the point of having the special gismu {drata} for this or a very similar purpose? (In any case, this has nothing to do with what we are arguing about.)> Could happen I suppose (I think of atoms, for example). It would be unusua= l=20 and certainly doesn't apply to the cases we have been dealing with, but tha= t=20 has led me off before. I am not at all sure why we have {drata}; it does se= em=20 to be covered pretty well by {frica} and the various negations of {du}. An= d,=20 yes, this is pretty much beside the point, except for the strange things it= =20 seems to lead you to say. But, as you should be the first to point out, differing in who they are {le= ka=20 makau du c'eu} is not the same as differing in their identitites {le du be= =20 ce'u}. If I don't know that the Evening Star and the Morning Star are the= =20 same, telling me that the Evening Star=20 is the Evening Star and the Morning Star is the Morning Star won't help muc= h. <>ti ta frica le ka le mamta be ce'u cu klama makau >This one and that one differ in where their mothers go. > >But obviously functions don't go anywhere. I want ce'u to >always be an argument of ka.> > >Sorry, even without me this won't fly the way you want: {ce'u} is minimal >scope, so doesn't go beyond {le mamta be...} anyhow. That's what you say! But until you proposed treating {le mamta be ce'u} as a function, {ce'u} was only used as an argument of a full bridi. Minimal scope in that sense means nearest prenex.> {ce'u} is a lambda variable, so it follows those rules, i.e., has minimal=20 scope, which in this case starts at the end of the {le} and ends at the end= =20 of the {ce'u} under standard Lojban transformations from logical notation.= =20 That is how it works in {le ka makau mamta be ce'u} too.=20=20 <>For this you need {le >ka ce'u goi cy zo'u >le mamta be cy ...}.=A0 So my interpretation of {le mamta be ce'u} isn't y= our >problem. (See And's discussion of the scope of {ce'u} a few days ago) I don't think And said anything about this case, he was talking of a prenex within the scope of another prenex. Here you don't have a prenex.> He was actually talking about the relative scopes of {makau} and {ce'u} but= =20 the point he made is perfectly general. We actually do have preneces on=20 terms, though we rarely use them because they rarely matter. Here they do,= =20 so we use 'em. Sorry, taking {ce'u} as a function is your problem, not mine, so I don't ha= ve=20 that inconsistency here (I would say rather "incoherence" for your position= ).=20 As for And, I think what you say is right -- properly understood, but And'= s=20 way of putting it leaves some room for doubt. <>Is that a function into destinations, or is it the >destination of a function, assuming functions can go >places?> > >Accept as what?=A0 It appears to be a destination of a function, but I nee= d=20 >to >see some context as to what I would make of it, since it might behave >differently as a sumti to a different selbri -- or with a different prenex= . The context would be: {ti ta frica le se klama be le mamta be ce'u}. But that wouldn't work with your rules of minimal scope. In other words, f(g(x)) for you is not a function of x, rather it is the value that f(x) takes when the function "g(x)" is its argument.> Yes, by my rules, your contexted use would be nonsense: "this differs from= =20 that in the destination of the mother function." Unless, of course, this a= nd=20 that are somehome connected to the mother function or its destination. The= =20 rest is other words indeed, words that no longer mean anything like what I'= ve=20 said -- nor you for that matter. Depending on the rules of compounding in= =20 your function, f(g(x)) may or may not be a function of x. But, in any case= ,=20 f(^xg(x)) is clearly not a function of x, since x is bound in the whole and= f=20 is a function which takes functions as arguments, not objects, so the value= s=20 of the ordinary function g don't enter at all (unless ^xg(x) is the value= =20 of some other function which goes from individuals to functions, but that i= s=20 not part of the situation a presented). And {le mamta be ce'u} is of the=20 form ^xg(x) (reading ^ as lambda).=20=20 <>and don't admit a concretum, other places ask for a function >into propositions, not for a function to individuals.> >I agree: {djuno} is clearly an example.=A0 Now, is it clear that {frica} a= nd >{dunli} are? To me, yes. la dubias la tclsis frica le du'u la barbras fa'u la xilris mamta ce'u NOT OK maybe not false but nonsensical: it yields things like=20 {la barbras fa'u la xilris mamta la dubias} and {la barbras fa'u la xilris= =20 mamta la tclsis}, where the {fa'u} in one case is superfluous and in the=20 other gets the wrong person, so I suppose the required XOR comes out right.= =20=20 A less likely way of reading it, which works a litle better would allow tha= t=20 the {fa'u} somehow got outside the bridi it is in to the superordinate one,= =20 then you would get the right mothers in each case, but then they would not= =20 differ in this property at all but rather would agree (though every thing=20 else would be wrong for one reason or another). la dubias la tclsis frica le du'u makau mamta ce'u OK la dubias la tclsis frica la barbras fa'u la xilris NOT OK Who holds this one? Certainly not me, since I insist that te frica has to = be=20 abstract. la dubias la tclsis frica le mamta be ce'u OK I take the presence of a {ce'u} to be enough to create an abstraction. By me: la dubias la tclsis frica le du'u la barbras fa'u la xilris mamta ce'u OK la dubias la tclsis frica le du'u makau mamta ce'u OK la dubias la tclsis frica la barbras fa'u la xilris NOT OK la dubias la tclsis frica le mamta be ce'u NOT OK --part1_77.1b794eda.28de5fb4_alt_boundary Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable In a message dated 9/22/2001 1:17:56 PM Central Daylight Time, jjllambias= @hotmail.com writes:


y =3D f(x)
y =3D 2x+3
y =3D x

Now, you want to call the first two functions "f(x)" and "2x+3"
respectively, but you object when I point out that your system
allows to call the third one "x".


I'm not sure what you mean.  You give three equations, two of them= between a function and its value and the third between two individuals. Th= en you say that because the second term in the first two equations is a fun= ction, the third one must be too.  I don't see how that follows.  = ;Alternatively, you mean these equations to be functions of some sort, pres= umably to propositions, since they are sentential, but then this is a very = different case from the one we were discussing, which was a function to ind= ividuals -- and further, you have then misidentified the function throughou= t.  The function, sid(x), which returns as value for each argument tha= t argument itself, is a function, but is neither the argument nor the value= , as you seem to want it to be.  (It is, usually, as set of ordered pa= irs in which the first and second members are the same.)

<>Using {le du be ce'u} is pointless with {frica} since any two t= hings that
>differ in any way at all differ in this (and {le ka makau du ce'u})= .

What if that were the only relevant difference? Why is it pointless
to say so? And if it is always pointless, what's the point of having
the special gismu {drata} for this or a very similar purpose? (In any
case, this has nothing to do with what we are arguing about.)>

Could happen I suppose (I think of atoms, for example).  It would = be unusual and certainly doesn't apply to the cases we have been dealing wi= th, but that has led me off before. I am not at all sure why we have {drata= }; it does seem to be covered pretty well by {frica} and the various negati= ons of {du}.  And, yes, this is pretty much beside the point, except f= or the strange things it seems to lead you to say.

<I'm afraid I don't see your point. If you don't know that they are
different, you probably won't be claiming that they are. If you
don't know that they are different, and someone else claims that
they differ in who they are, and you believe them, then you have
gained some knowledge, which may not be pointless.>

But, as you should be the first to point out, differing in who they are= {leka makau du c'eu} is not the same as differing in their identitites {le= du be ce'u}.  If I don't know that the Evening Star and the Morning S= tar are the same, telling me that the Evening Star=20
is the Evening Star and the Morning Star is the Morning Star won't help= much.

<>ti ta frica le ka le mamta be ce'u cu klama makau
>This one and that one differ in where their mothers go.
>
>But obviously functions don't go anywhere. I want ce'u to
>always be an argument of ka.>
>
>Sorry, even without me this won't fly the way you want: {ce'u} is m= inimal
>scope, so doesn't go beyond {le mamta be...} anyhow.

That's what you say! But until you proposed treating
{le mamta be ce'u} as a function, {ce'u} was only used as
an argument of a full bridi. Minimal scope in that sense means
nearest prenex.>

{ce'u} is a lambda variable, so it follows those rules, i.e., has minim= al scope, which in this case starts at the end of the {le} and ends at the = end of the {ce'u} under standard Lojban transformations from logical notati= on. That is how it works in {le ka makau mamta be ce'u} too.  

<>For this you need {le
>ka ce'u goi cy zo'u
>le mamta be cy ...}.=A0 So my interpretation of {le mamta be ce'u} = isn't your
>problem. (See And's discussion of the scope of {ce'u} a few days ag= o)

I don't think And said anything about this case, he was talking
of a prenex within the scope of another prenex. Here you don't have
a prenex.>
He was actually talking about the relative scopes of {makau} and {ce'u}= but the point he made is perfectly general.  We actually do have pren= eces on terms, though we rarely use them because they rarely matter.  = Here they do, so we use 'em.

<Your interpretation is also inconsistent in that the very minimal
scope should always take {ce'u} itself as the identity function.
What I think And meant by minimal scope is that it is within the
scope of the closest prenex.>

Sorry, taking {ce'u} as a function is your problem, not mine, so I don'= t have that inconsistency here (I would say rather "incoherence" for your p= osition).  As for And, I think what you say is right -- properly under= stood, but And's way of putting it leaves some room for doubt.

<><Would you accept {le se klama be le mamta be ce'u}?
>Is that a function into destinations, or is it the
>destination of a function, assuming functions can go
>places?>
>
>Accept as what?=A0 It appears to be a destination of a function, bu= t I need=20
>to
>see some context as to what I would make of it, since it might beha= ve
>differently as a sumti to a different selbri -- or with a different= prenex.

The context would be: {ti ta frica le se klama be le mamta be ce'u}.
But that wouldn't work with your rules of minimal scope.

In other words, f(g(x)) for you is not a function of x, rather
it is the value that f(x) takes when the function "g(x)" is its
argument.>

Yes, by my rules, your contexted use would be nonsense: "this differs f= rom that in the destination of the mother function."  Unless, of cours= e, this and that are somehome connected to the mother function or its desti= nation.  The rest is other words indeed, words that no longer mean any= thing like what I've said -- nor you for that matter.  Depending on th= e rules of compounding in your function, f(g(x)) may or may not be a functi= on of x.  But, in any case, f(^xg(x)) is clearly not a function of x, = since x is bound in the whole and f is a function which takes functions as = arguments, not objects, so the values of the ordinary function g don't ente= r at all  (unless  ^xg(x) is the value of some other function whi= ch goes from individuals to functions, but that is not part of the situatio= n a presented).  And {le mamta be ce'u} is of the form ^xg(x) (reading= ^ as lambda).  

<><My point is that just as some places require propositions
>and don't admit a concretum, other places ask for a function
>into propositions, not for a function to individuals.>
>I agree: {djuno} is clearly an example.=A0 Now, is it clear that {f= rica} and
>{dunli} are?

To me, yes.

la dubias la tclsis frica le du'u la barbras fa'u la xilris mamta ce'u

NOT OK  maybe not false but nonsensical:  it yields things li= ke=20
{la barbras fa'u la xilris mamta la dubias} and {la barbras fa'u la xil= ris mamta la tclsis}, where the {fa'u} in one case is superfluous and in th= e other gets the wrong person, so I suppose the required XOR comes out righ= t.  A less likely way of reading it, which works a litle better would = allow that the {fa'u} somehow got outside the bridi it is in to the superor= dinate one, then you would get the right mothers in each case, but then the= y would not differ in this property at all but rather would agree (though e= very thing else would be wrong  for one reason or another).

la dubias la tclsis frica le du'u makau mamta ce'u
OK

la dubias la tclsis frica la barbras fa'u la xilris
NOT OK
Who holds this one?  Certainly not me, since I insist that te fric= a has to be abstract.

la dubias la tclsis frica le mamta be ce'u
OK  I take the presence of a {ce'u} to be enough to create an abs= traction.

By me:
la dubias la tclsis frica le du'u la barbras fa'u la xilris mamta ce'u
OK

la dubias la tclsis frica le du'u makau mamta ce'u
OK

la dubias la tclsis frica la barbras fa'u la xilris
NOT OK

la dubias la tclsis frica le mamta be ce'u
NOT OK



--part1_77.1b794eda.28de5fb4_alt_boundary----part1_77.1b794eda.28de5fb4_boundary Content-Type: message/rfc822 Content-Disposition: inline Return-Path: Received: from rly-yg03.mx.aol.com (rly-yg03.mail.aol.com [172.18.147.3]) by air-yg04.mail.aol.com (v80.17) with ESMTP id MAILINYG48-0922141756; Sat, 22 Sep 2001 14:17:56 -0400 Received: from n6.groups.yahoo.com (n6.groups.yahoo.com [216.115.96.56]) by rly-yg03.mx.aol.com (v80.21) with ESMTP id MAILRELAYINYG38-0922141739; Sat, 22 Sep 2001 14:17:39 -0400 X-eGroups-Return: sentto-44114-10968-1001182584-pycyn=aol.com@returns.onelist.com Received: from [10.1.1.224] by hm.egroups.com with NNFMP; 22 Sep 2001 18:16:58 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2_2); 22 Sep 2001 18:16:23 -0000 Received: (qmail 88241 invoked from network); 22 Sep 2001 18:16:23 -0000 Received: from unknown (10.1.10.27) by 10.1.1.224 with QMQP; 22 Sep 2001 18:16:23 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.123) by mta2 with SMTP; 22 Sep 2001 18:16:57 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sat, 22 Sep 2001 11:16:57 -0700 Received: from 200.41.247.57 by lw8fd.law8.hotmail.msn.com with HTTP; Sat, 22 Sep 2001 18:16:56 GMT X-Originating-IP: [200.41.247.57] To: lojban@yahoogroups.com Message-ID: X-OriginalArrivalTime: 22 Sep 2001 18:16:57.0047 (UTC) FILETIME=[C3B01E70:01C14392] From: "Jorge Llambias" MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk List-Unsubscribe: Date: Sat, 22 Sep 2001 18:16:56 Subject: Re: [lojban] Re: noxemol ce'u Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Mailer: Unknown (No Version) la pycyn cusku di'e >and, of course, has nothing to do with the >identity function, your "natural extension" (which is like the Holy Roman >Empire) notwithstanding (confusing a function with its values). Whatever it is that I'm confusing here, it is not a function with its values. Consider these three functions of x: y = f(x) y = 2x+3 y = x Now, you want to call the first two functions "f(x)" and "2x+3" respectively, but you object when I point out that your system allows to call the third one "x". >Using {le du be ce'u} is pointless with {frica} since any two things that >differ in any way at all differ in this (and {le ka makau du ce'u}). What if that were the only relevant difference? Why is it pointless to say so? And if it is always pointless, what's the point of having the special gismu {drata} for this or a very similar purpose? (In any case, this has nothing to do with what we are arguing about.) >Or, >putting it another way, if you don't know W and Chelsea are different, >pointing to their self identities won't help, since they do not indicate >that >difference by themselves. I'm afraid I don't see your point. If you don't know that they are different, you probably won't be claiming that they are. If you don't know that they are different, and someone else claims that they differ in who they are, and you believe them, then you have gained some knowledge, which may not be pointless. > >ti ta frica le ka le mamta be ce'u cu klama makau >This one and that one differ in where their mothers go. > >But obviously functions don't go anywhere. I want ce'u to >always be an argument of ka.> > >Sorry, even without me this won't fly the way you want: {ce'u} is minimal >scope, so doesn't go beyond {le mamta be...} anyhow. That's what you say! But until you proposed treating {le mamta be ce'u} as a function, {ce'u} was only used as an argument of a full bridi. Minimal scope in that sense means nearest prenex. >For this you need {le >ka ce'u goi cy zo'u >le mamta be cy ...}. So my interpretation of {le mamta be ce'u} isn't your >problem. (See And's discussion of the scope of {ce'u} a few days ago) I don't think And said anything about this case, he was talking of a prenex within the scope of another prenex. Here you don't have a prenex. Your interpretation is also inconsistent in that the very minimal scope should always take {ce'u} itself as the identity function. What I think And meant by minimal scope is that it is within the scope of the closest prenex. >Is that a function into destinations, or is it the >destination of a function, assuming functions can go >places?> > >Accept as what? It appears to be a destination of a function, but I need >to >see some context as to what I would make of it, since it might behave >differently as a sumti to a different selbri -- or with a different prenex. The context would be: {ti ta frica le se klama be le mamta be ce'u}. But that wouldn't work with your rules of minimal scope. In other words, f(g(x)) for you is not a function of x, rather it is the value that f(x) takes when the function "g(x)" is its argument. >and don't admit a concretum, other places ask for a function >into propositions, not for a function to individuals.> >I agree: {djuno} is clearly an example. Now, is it clear that {frica} and >{dunli} are? To me, yes. la dubias la tclsis frica le du'u la barbras fa'u la xilris mamta ce'u OK la dubias la tclsis frica le du'u makau mamta ce'u OK la dubias la tclsis frica la barbras fa'u la xilris NOT OK la dubias la tclsis frica le mamta be ce'u NOT OK mu'o mi'e xorxes _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/ --part1_77.1b794eda.28de5fb4_boundary--