[lojban] Re: importing ro

["And Rosta" <a.rosta@lycos.co.uk>]

Adam:
> 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 

That's why I listed (2) as something we can agree on. Or at least we
can agree on it enough that the issue of import dies as a bone of
contention.

--And.

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

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