A proposal by djorden on Jboske, which I like (unsurprisingly):
- "modify the place structure of ka so that x2-xn are places for filling in lambda variables. Which variables are filled by which place could be specified by subscripts (ce'uxipa is x2, ce'uxire is x3, etc) or assumed left to right otherwise."
This proposal would replace poi'i.
This is not originally my proposal. The only part that I added to the current stuff floating around about seka was to have N places for the N variables instead of just x2. --jrd
- (Now I know who jrd is!) Anyway, it is surprising that And likes it, since I distinctly recall him having objected to it before. Oh, well, it's And . I am sympathetic to the proposal, but the problem that I see is that it would mean that all properties must be instatiated by something or other. Under the current difinition, there's nothing wrong with ka ce'u broda gi'enai broda, which is a property which nothing can have, just as there's nothing wrong with the phrase du'u da broda gi'enai broda, even though it's a contradiction. If ka had an x2, then ka broda gi'enai brode would mean ka broda gi'enai brode kei zo'e, and there's nothing that actually can instatiate such a property. It also breaks kas parallel with du'u, but that can probably be fixed. — Adam
- The n-place predicates have only as many places as you use. When you say "du", you aren't claiming equivalence to an infinity of zo'es
-the unused places aren't part of it. Same with xn ka.mi'e .djorden.- But the number of places of ka isn't really variable here like it is with du; the number of places is fixed by how many ce'us the ka contains. You're proposing that an unfilled/unmentioned place need not even exist in the place structure (which I might support, but it would be a huge change to lojban semantics). --Adam
- It can't be a huge change to lojban semantics, because ka doesn't have other places right now; nothing old will be invalidated, etc etc. --jrd
- It would be a huge change if it were applied to all selbri consistently. Selbri would have a variable number of places based on how many places are actually filled in the sentence. --Adam
- No one suggested application to all selbri.
- It would be a huge change if it were applied to all selbri consistently. Selbri would have a variable number of places based on how many places are actually filled in the sentence. --Adam
- It can't be a huge change to lojban semantics, because ka doesn't have other places right now; nothing old will be invalidated, etc etc. --jrd
- But the number of places of ka isn't really variable here like it is with du; the number of places is fixed by how many ce'us the ka contains. You're proposing that an unfilled/unmentioned place need not even exist in the place structure (which I might support, but it would be a huge change to lojban semantics). --Adam
- I don't remember objecting to se ka other than because it is baseline-violating. I did, however, object to poi'i+ce'u instead of poi'i+ke'a, and my reasons for that also comprise my sole reservation to SEka. --And
See 10206. As for ce'u instead of ke'a, 9999 out of 10000 cases in which the same place is mentioned more than once can be handled by le [se] nei or cy. --Adam
- How on earth did you find that message? But it jogs my memory, and I think that, thanks to your reminder, I'll have to oppose SE ka, because it changes the meaning of ka from the property itself to a claim that the property/relation applies to the non-x1 arguments of ka. This objection didn't apply to xorxes's original {se ka} proposal, because the idea there was that ka is monadic *except* when se ka, whereupon it becomes like poi'i. Regarding le nei and cy, the latter relies on glorking, and the former works only in a very restricted set of structural contexts. --And