|In a message dated 3/3/2002 1:59:23 AM Central Standard Time, email@example.com writes:|
Glad to hear it. I was not happy with the theory of universal
The two "versions" are, in fact, two different and equally plausible representations of universal quantifiers: English "each" and "any," for example. So we are dealing with truth and axioms -- and also theorems (how does negation work, in particular), but of two different system. The problem is to integrate them into a single language which continues to be logical in more than the primary sense. The existential import notion shouldn't seem weird, you've lived with it all your life, as also (though less obviously) with the free version. I am amused to see that you thought the system in Lojban was the one with import, since I have always thought and complained that it was the free version -- so much for definitieve statements about things.