[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
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@hidden.email http://www.reutershealth.com "Not to know The Smiths is not to know K.X.U." --K.X.U.