[lojban] Re: importing ro

["Adam Raizen" <araizen@newmail.net>]

la .and. cusku di'e

> 2. The universe is not empty.

I don't accept this unless you add it as an axiom to your system. Note
(from
http://www.cgl.uwaterloo.ca/~wbcowan/teaching/cs24
6/s97/notes/lect07.html):

   "Instantiation: ForAll x: Px => There exists x: Px as long as the
universe is not empty."

and 

   "Note the important role played by the empty universe. (ForAll x:
Fx is true for any F if the universe is empty.)"

So it's not obvious that the *only* possibility in logic is that AxFx
-> ExFx on its own, without the additional postulate of a non-empty
universe.

mu'o mi'e .adam.


To unsubscribe, send mail to lojban-unsubscribe@onelist.com 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/