Books on Amazon
|Empty Set||IV 13f
Nothing/FregeVsHeidegger: the nominalization of nothing leads to paradoxes. - E.g. The fact that the empty set is included in every set, also the universal class. - That does not mean that the universal class is identical with the zero class ("the nothing").
Subset/Element/Frege: subsets and elements must always be distinguished. FregeVsSchröder/FregeVsRegion Calculus: zero cannot be included as an element in each class, otherwise it would depend on the respective manifold. - Sometimes it would have nothing, sometimes it would be something (E.g. negation of a). - Solution: zero as subset (empty set).
Zero/0/Empty Set/FregeVsSchröder/Frege: zero must not be included as an element in another class (> Günter Patzig, Introduction to Frege IV), but only subordinate as a class. (+ IV 100/101). ((s) zero is only included as a subset in any other set, not as an element).
Empty Class/Empty Set/Unit Class/Unit Set//FregeVsSchröder: it is not necessary to form a one class - if a is an individual of the manifold, then a is also a class and it is not necessary to admit this class a as a new individual, it is already such. - It is not necessary at all that a class should be given as an individual of a manifold. - It is not about the subter-relation (sic), but about the sub-relation (sic). - ((s) subset, not element.)
Zero/Frege/(s): Solution: Zero corresponds to the class of objects that are unequal to themselves. - Then the zero sign has a meaning. - Logical form: "Either there are no self-dissimilar objects or they all coincide with P".
Die Grundlagen der Arithmetik Stuttgart 1987
Funktion, Begriff, Bedeutung Göttingen 1994
Logische Untersuchungen Göttingen 1993