[lojban] Re: New PA-proposal

[la klaku <jakobnybonissen@gmail.com>]

djandus:

Your idea of heirarchial grammar is *brilliant*. We can keep the
current grammar satisfied, and still have something official (maybe
sometime even implemented in some machine?) that we can point to when
someone throws an impossible PA in a sentence. At the very least we
can unambigiously point out why {li pi pi pi pi} is nalsmudra.

I'm not all too satisfied with the specifics of your proposed PA^,
though. For instance, {pi ro} should be grammatical(*), while {pi pai}
should not. (I've changed my mind there). Also, we {pi}, {ra'e} and
{ji'i} should have different gunselma'o-grammar, as {pi ji'i mu}
should be grammatical, but not {pi pi mu}. You actually wrote that
these should only appear one in your definitions, but this is not how
selma'o are defined - they are always interchangable. Presumably also
so with gunselma'o.

*Actually, this could be easily defined to be ungrammatical. The
trouble is - it's used all over the place as it is now.

But this means we must make a lot of gunselma'o in PA alone? Well yes,
but since they're not (as of now) in the official grammar, there
should be as many rules as there are already semantic rules for
interpreting them "correctly".

The idea of taking some of the useless mekso cmavo and use it in our
PA^-grammar is brilliant, but I think we have a snowball's chance in
hell of getting the BPFK's approval for that one. (Though perhaps not?
It is, after all, Robin Lee Powell who is one of the most prominent
critics of mekso math)

There are also a few other minor issues: Does {ce'i}, which i've never
seen in print really deserve to be unique in that it takes the
previous PA^ instead of the following? Ofc we also would need to make
sure the gunma'o grammar of PA is consistent and unambigious. I'll
shortly mail you your document back with some editing, :)

mi'e la klaku

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