Reduced logical form
> So, I see that you are obviously building a kernel language for Lojban,
> presumably one containing only the logical bits.
>
> What I'm missing is why.
Does there always have to be a why?
I started doing it because of the eternal discussion about NA and
its scope. I think using the reduced logical form we can more
clearly see what the alternatives are.
But besides that, I think it is a useful thing to show that the
logical language truly does match up with ordinary first order
logic to a great extent, and it is also useful to know exactly
where it does not.
I was pleasantly surprized by how easy it turned out to be doing
the reduction, mostly. I have completely ignored indicators and
free modifiers. So for example the algorithm won't produce a
reduced form for {doi ro da poi me ko da cuxna pa karda}.
I guess it should have to reduce to something like:
{e'o ro da poi me do zo'u pa de poi karda zo'u cuxna fa da de}
Anyway, leaving indicators aside, I found two points where I could
not do the reduction: mixed connective+tag, and VUhO relative-clauses.
I also still have to do sumti non-logical connectives, but I think
those won't be a problem.
(And there are some issues I haven't considered yet, like {bu'a},
{no'a}, and the like, which may or may not need special treatment.)
mu'o mi'e xorxes
__
Do you Yahoo!?
Check out the new Yahoo! Front Page.
www.yahoo.com