more from Oliver,A/Smiley,T

Single Idea 14242

[catalogued under 4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set]

Full Idea

Suppose we introduce Ω not as a term standing for a supposed empty set, but as a paradigm of an empty term, not standing for anything.

Gist of Idea

Maybe we can treat the empty set symbol as just meaning an empty term


Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2)

Book Reference

'Metaphysics (Philosophical Perspectives 20)', ed/tr. Hawthorne,John [Blackwell 2006], p.131

A Reaction

This proposal, which they go on to explore, seems to mean that Ω (i.e. the traditional empty set symbol) is no longer part of set theory but is part of semantics.