Kinds

[John Cowan <cowan@ccil.org>]

If Kinds are 1-1 with properties, would it not be more parsimonious
to just use properties, and simply predicate new things of them?
In particular, if the kind Fat-Snake is a kind of Snake, so the
property of being a fat snake is a subproperty of the property of being a snake.

Likewise with collectives and sets, for which the gimste provides
precedent. I am now beginning to swallow the idea that you can
burn a set. We will see whether I need to be an anaconda or not.

-- 
[W]hen I wrote it I was more than a little John Cowan
febrile with foodpoisoning from an antique carrot jcowan@reutershealth.com
that I foolishly ate out of an illjudged faith www.ccil.org/~cowan
in the benignancy of vegetables. --And Rosta www.reutershealth.com