[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
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@hidden.email that I foolishly ate out of an illjudged faith www.ccil.org/~cowan in the benignancy of vegetables. --And Rosta www.reutershealth.com