On Wed, Apr 7, 2010 at 01:03, And Rosta
<and.rosta@gmail.com> wrote:
[* As I see it, the design problem has two parts. Both have to do with finding ways to logically precise meanings concise enough to be worth the effort of verbalizing. One part is to find a more concise way of of encoding variables than standard predicate logic notation and Lojban offer, given that in most propositions we express (in natural language) there are many variables and each variable tends to be argument of many predicates. The other part is to devise an inventory of predicates that expand to more complex logical structures.]
I don't really see your case here; if one of the basic goals is to be a useful human language, then I don't see any alternative to predicate logic as two-dimensional representation of utterances. Or, if there was one. it would seem inherently illogical due to it's complexity. Could you (or anyone) expand this thought?