*** Welcome to piglix ***

Definitions


A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories, intensional definitions (which try to give the essence of a term) and extensional definitions (which proceed by listing the objects that a term describes). Another important category of definitions is the class of ostensive definitions, which convey the meaning of a term by pointing out examples. A term may have many different senses and multiple meanings, and thus require multiple definitions.

In mathematics, a definition is used to give a precise meaning to a new term, instead of describing a pre-existing term. Definitions and axioms are the basis on which all of mathematics is constructed.

In modern usage, a definition is something, typically expressed in words, that attaches a meaning to a word or group of words. The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. In the definition "An elephant is a large gray animal native to Asia and Africa", the word "elephant" is the definiendum, and everything after the word "is" is the definiens.

Note that the definiens is not the meaning of the word defined, but is instead something that conveys the same meaning as that word.

There are many sub-types of definitions, often specific to a given field of knowledge or study. These include, among many others, lexical definitions, or the common dictionary definitions of words already in a language; demonstrative definitions, which define something by pointing to an example of it ("This," [said while pointing to a large grey animal], "is an Asian elephant."); and precising definitions, which reduce the vagueness of a word, typically in some special sense ("'Large', among female Asian elephants, is any individual weighing over 5,500 pounds.").

An intensional definition, also called a connotative definition, specifies the necessary and sufficient conditions for a thing being a member of a specific set. Any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition.


...
Wikipedia

...