[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Logos Initiative
'John E Clifford' via lojban, On 23/09/2014 18:06:
"Logical language" does have a number of uses and Lojban fails in
just about all of them (including "having a bsic grammar based on
symbolic logic", though it comes closest to this one). As usual, what
I mean is a language in which every utterance is traceable to a
unique representation in a suitable logic formalism, which
representation correctly gives the meaning of the utterance, and is
reached from the linguistic form by automatic formal rules (parsing).
This is pretty much what I mean too, and I think it is the most sensible understanding of "logical language".
A possible area of difference is that I hold that the formal specification of the language must specify the predicate--argument structure encoded by a sentence but need not formally specify the meaning of every (or any) predicate, and hence need not formally model the world or the universe of ideas.
--And.
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.