WikiDiscuss

WikiDiscuss


Re:Logic Language Draft 4.1

posts: 2388

pc:

Sorry, that was about Bull, not Lojban. {ki} is closer to an axis than anything else (both readings). {ca} is strictly a 0-vector, which entails an axis, of course, and so can often be used as such a marker (or could, but for Lojban restrictions).

The bit about quantifiers remains generally true, with exceptions easy to set out in most languages. The changes seem harder in Lojban because of the uncertainty about rtelative scopes