[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >


[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [jboske] Re: poi'i, se/te/ve ka



On Sat, 14 Dec 2002, Jordan DeLong wrote:

> On Sat, Dec 14, 2002 at 04:08:10PM -0500, Invent Yourself wrote:
> > On Sat, 14 Dec 2002, Jordan DeLong wrote:
> >
> > > On Sat, Dec 14, 2002 at 03:46:54PM -0500, Invent Yourself wrote:
> > > [...]
> > > > A few hours ago, Jorge wrote
> > > >
> > > >    i na vajni fa le du'u makau catra la lauras
> > > >    It doesn't matter who killed Laura.
> > > >
> > > >
> > > > Had we an identity abstractor Q, with lambda ce'u, then we could have said
> > > > {na vajni fa le Q ce'u catra ly.} We weren't given one, which is why I use
> > > > {su'u ce'u broda keibe lo kamse'i}.
> > >
> > > That would mean "The person who killed laura is not important".  It
> > > would not mean "It is not important who killed laura".
> >
> > su'u...kamse'i is not supposed to return the person, but the identity of
> > the person. If it returns the person, it's useless! My self-ness is my
> > uniqueness, but it's not me. I have hair, my self-ness doesn't.
>
> I see;  So I was confused over what you mean by identity (I was
> thinking in the math sense where the identity just returns itself
> (1 * 4 = 4, etc)).
>
> So; what *is* the identity of something, if not the thing itself?
> In some logics it is viewed as the class containing only that thing,
> but I don't think that works here...


Maybe it's a quality that only they have. Bill's identity is ka ce'u me by.



> > > Identity abstract is nice (and we apparently have 3 proposed ways
> > > to do it: seka, poi'i, jaika), but it's not what you mean.
> > >
> > > [...]
> > > > So jaika is like the seka, which is actually pretty useless, since it does
> > > > not provide identity (at best it, like every selbri, allows us to
> > > > narrow-down the range of possibly sumti) and usually is used by people
> > > > desiring jei. (I can expound on that last point if needed.)
> > >
> > > I don't understand that at all.  What does se/te/ve ka have to do
> > > with jei?
> >
> >
> > My redness gets rendered as ka mi xunre (lacking a ce'u: no good) or ka
> > ce'u xunre kei be mi (redness, and stick mi in the ce'u). It should be
> > rendered either as jei mi xunre (the amount of my redness) or li'i mi
> > xunre (experience of my redness)
>
> No.
>
> "ka mi xunre" is precisely the same as "du'u mi xunre", because
> there's no places for ce'u to go (it would normally be "ka mi xunre
> ce'u" but there is no x2 for xunre).


You can't trick me into defending ce'u-less ka! But this is not how it was
interpreted the CLL, or the older generations who liked it.



> "ka ce'u xunre kei be mi" is precisely the same as "du'u mi xunre" because
> you reduced the lambda variable.  (it is (\x: xunre(x))[mi] == xunre(mi)).


This isn't how ka2 was intended by Nick or And or whoever invented it.



> "jei mi xunre" is the truth value of "I am red".  In a lot of
> contexts this will simply be a T or an F.  This is the same as "ni
> mi xunre kei be lesi'o jetnu".  This is *not* affected by any
> concerns as to how red you are.
>
> What you *actually* want is "ni mi xunre".  "ni" is a more general
> version of "jei" which allows you to use whatever scale makes sense
> instead of just the scale of truth of the proposition (in this case
> it's probably a scale of luminousity or whatever).  To be frank 90%
> of the usage of "jei" which I see from you should be "ni", because
> you're almost never actually talking about truth values, but rather
> the extent or degree of whatever it is (which has nothing to do
> with the truth of a proposition[1]).


I agree that my use of jei "should" be ni. But I've already explained why
I prefer jei, why I think jei gives physically meaningful values instead
of useless numbers no one needs, and that I believe that "he is tall" is
truer statement for a 6-footer than a 5-footer.


> [1] even in fuzzy logics this has nothing to do with anything.  My
> understanding is that a logic with infinite truth values ranging
> 0-1 considers the value of the expression to be a measure of our
> certainty of its truth (or whatever).  It has nothing to do with
> whether the thing is 10lumens brighter or whatever.  (I have no
> idea how much a lumen is, btw).


An alluring argument, but compare it to the single example of non-boolean
jei in the book, in 11;6, and try to make it fit. It doesn't make sense to
decide that George is 58% likely to be a criminal, but rather, on the
scale of criminals, with 0 being the innocent and 1 being pedophile
cannibal holocausters, George rates a 0.24.

Also, the CLL offers the caveat that the details of jei have yet to be
worked out. I am working them out.

It would be nice to have an abstractor that returned the statistical
likelihood of the bridi.



-- 
jipno se kerlo
re mei re mei degji kakne