Talk:Enumerative definition
Appearance
Philosophy: Logic / Language Stub‑class Low‑importance | |||||||||||||||||||||||||
|
Notes & Queries
Jon Awbrey 17:02, 8 March 2006 (UTC)
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." that would be an enumerative definition, but not an extensional.