Empty domains, again

Here’s a rewritten four-page chapter from IFL2 on empty domains. Difficult to know how to handle this topic. Many intro texts just skate over the issue. An earlier draft perhaps said a bit too much a bit too confusingly. Hope this strikes a better balance. Last-minute comments always welcome!

(By the way, “sets*” with a star is my usage in the book for when I really mean sets as objects in their own right — the ones that play a starring role in full-blown set* theory — as opposed to when I’m occasionally using lightweight talk of virtual classes which can be translated away.)

The post Empty domains, again appeared first on Logic Matters.