[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
In a message dated 6/3/2002 4:52:38 PM Central Daylight Time, a-rosta@hidden.email writes:I agree. Besides pred-arg structure, there is variable binding But Lojban has both of those pretty much under control, except for a vague right end rule on quantifiers, and some uncertainty about the status of lambda variables and indirect questions (which logicians haven't got well worked out either). That no on has laid out the algorithm for converting Lojban sentences into logical structures is probably more a sign of distraction of logicians than of flaws in Lojban (so far as we can tell, anyhow). <[You might want to subsume scope into pred-arg structure, treating operators as predicates, but Lojban doesn't do that.]> But Lojban can do this, up to th reduction theorem that projects second-order structures into first-order forms. |