Re: To be or not to be? Coffee or tea?

[Logical Language Group <lojbab>]

la lojbab. cusku di'e

> But in the abstract, your question is valid.  Each of those "lenu" clauses
> has its own prenex, and if there were any quantifiable variables in or implied
> in either lenu clause, then it is not automatically valid that you can
> export an arbitrary logical connective past the prenex to the higher level
> of your second example.  I just don't see any hidden quantifiable variables
> in your example.

Prenexes and quantified variables aren't the problem; the problem is that
abstractions, like quotations, are "referentially opaque".  This is
easier to see for quotation.  The truth conditions for "He said 'Live or die!'"
aren't the same as those for "He said 'Live!' or he said 'Die!'".

-- 
John Cowan		sharing account <lojbab@access.digex.net> for now
		e'osai ko sarji la lojban.