... to (and quantifications over) types in science and ordinary language; types have to be reckoned with, and cannot simply be swept under the rug. The book argues that there are such things as types by undermining the epistemological arguments against abstract objects and offering extended original arguments demonstrating...