[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tech: logic matters
> >Correct. We do seem to have a different idea of what a "logical language"
> >is: "how logicians talk" vs. "designed per consistent standards such that you
> >know what they are and can work with them". Recent discussion reveals that
> >the Emperor's clothes are getting tattered, and new ones might be in order.
> Which do you feel the current Lojban is (or that we/pc are trying to make
> it, since you seem to think we disagree?
Current Lojban is very much the latter, i.e. it has a lot more consistency in
design than "typical" natural languages and a lot more useable documentation of
what the design is. I'm not a professional logician, but my impression is that
the "how logicians talk" aspect is implemented at a fairly naive level. The
ongoing harangue about "all", and about masses, are examples that the
definitions of these items are naive; with effective definitions there wouldn't
be so much disagreement and misunderstanding. Of course a lot has been
learned since 1960 about what logicians are "really" saying.
The "new clothes" I allude to are in this "how logicians talk" area; as I have
been saying for years, we really do need to nail down what some of the cmavo
are supposed to mean. You know my opinion: one meaning per word.
On looking back at my posting I can see that one might mistakenly interpret
my position overgenerally. No, I do not advocate junking all of Lojban syntax
and semantics -- just this small (but important) part that has proven endlessly