Abstract

On the basis of observations J. J. C. Smart once made concerning the absurdity of sentences like 'The seat of the bed is hard', a plausible case can be made that there is little point to developing a theory of types, particularly one of the sort envisaged by Fred Sommers. The authors defend such theories against this objection by a partial elucidation of the distinctions between the concepts of spanning and predicability and between category mistakenness and absurdity in general. The argument suggests that further clarification of the concepts of spanning and category mistakenness should be sought in reflection upon the more familiar concepts of a sort of thing and a predicate category.