Why did they find it necessary to introduce the notion of an empty domain (and the related changes)? I.e. why wasn't assuming 'all' to be understood as 'all, if any' (and respectively, 'some' as 'some, if any') not satisfactory?
-
The following link should be useful : Empty Domain (Wikipedia)– BorisJul 7, 2017 at 21:46
-
1For the same reason 0 was introduced in arithmetic, greater generality.– ConifoldJul 7, 2017 at 22:06
-
See also : philosophy.stackexchange.com/questions/4679/…– BorisJul 7, 2017 at 23:07
-
1There is also some philosophical dissatisfaction occasionally expressed with the idea that logic should have to assume the existence of at least 1 individual. Some think what is characteristic of logic (versus, say, math) is that it should have no existence assumptions.– DennisJul 8, 2017 at 21:12
-
See Free Logic and Inclusive Logic.– Mauro ALLEGRANZAJul 9, 2017 at 14:51
1 Answer
The empty domain or empty set was introduced for formal reasons only.
Georg Cantor mentioned the empty set with some reservations and only once in all his work: "Further it is useful to have a symbol expressing the absence of points. We choose for that sake the letter O. P = O means that the set P does not contain any single point. So it is, strictly speaking, not existing as such."
Bertrand Russell considered an empty class as not existing: "An existent class is a class having at least one member."
And even Ernst Zermelo who made the "ZFC-Axiom: There is an (improper) set, the 'null-set' O which does not contain any element" said in private correspondence: "It is not a genuine set and was introduced by me only for formal reasons."
W. Mückenheim: Transfinity - A Source Book.