[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



John:
> 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" 

Excellent point.

--And.