[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
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.