An enumerative definition of a concept or term is a special type of
extensional definition
In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give meaning or denotation to a term.
Intensional definition
An intensional definition give ...
that gives an explicit and exhaustive listing of all the
object
Object may refer to:
General meanings
* Object (philosophy), a thing, being, or concept
** Object (abstract), an object which does not exist at any particular time or place
** Physical object, an identifiable collection of matter
* Goal, an ...
s that fall under the concept or term in question. Enumerative definitions are only possible for finite sets and only practical for relatively small sets.
An example of an enumerative definition for the set
;
extant monotreme species
(for which the
intensional definition
In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give meaning or denotation to a term.
Intensional definition
An intensional definition give ...
is ''species of currently-living mammals that
lay eggs'') would be
:
platypuses
: echidnae:
::
short-beaked echidna
:: long-beaked echidnae:
:::
Sir David's long-beaked echidna
:::
eastern long-beaked echidna
:::
western long-beaked echidna
See also
*
Definition
*
Extension
Extension, extend or extended may refer to:
Mathematics
Logic or set theory
* Axiom of extensionality
* Extensible cardinal
* Extension (model theory)
* Extension (predicate logic), the set of tuples of values that satisfy the predicate
* Ext ...
*
Extensional definition
In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give meaning or denotation to a term.
Intensional definition
An intensional definition give ...
*
Set notation
*
Enumeration
Logic
Definition
{{ling-stub