This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to
philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles
This article is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of
linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics articles
Are enumerative definitions necessarily extensional?
Intuitively, it seems natural to use the expression "enumerative definition" about both enumerations of objects and of types of objects. What makes a definition enumerative is, in my opinion, that it gives a disjunction of sufficient criteria. If you define "farm animal" as "horse, sheep, pig, chicken etc." we would have an enumerative definition, but not an extensional.
The first sentence is clear. The rest baffles me. I see only:
farm animal — horse, sheep, pig, chicken, etc.
This would be a non-Aristotelian claim, lacking both genus and differentia. What is here is a (necessarily) partial enumeration of subtypes of farm animal. There is no definition in sight, unless we are reduced to undistinguished equivalents. A semantically equivalent statement could be:
'There are several sorts of things that we generally take to be things that we call "farm animals". These sorts of things include horses, sheep, pigs, and chickens. These things might be animal things, because we we see that "farm" modifies "animal" in the erstwhile definiendum.'