Frege famously held that ontological categories correspond to logico-syntactic types. Some-thing is an object just in case it can be referred to by a singular term, and likewise for allthe other categories. This view faces ...