Re: [jboske] Why ro is importing & nobody should mind

[John Cowan <cowan@ccil.org>]

And Rosta scripsit:

> When we ordinarily want to truthfully quantify over apparently
> empty sets we are in fact quantifying over sets that are nonempty
> in some world other than This One. 

And we can always achieve this with unrestricted quantification and
a conditional: "for each thing X, if X is Pegasus, X can fly" is a strictly
Real World way of saying "Pegasus can fly".

> I haven't shown how to be explicit about which world the
> quantificand exists in, but this is a known, different and more
> general problem.

Indeed.

-- 
John Cowan	jcowan@reutershealth.com	http://www.reutershealth.com
"Not to know The Smiths is not to know K.X.U." --K.X.U.