Definition

scientific study of algorithms and statistical models that computer systems use to perform tasks without explicit instructions

thumb|A definition states the meaning of a word using other words. This is sometimes challenging. Common dictionaries contain lexical descriptive definitions, but there are various types of definition – all with different purposes and focuses.

mathematical symbol used to indicate equality

self-referential description of meaning

Independent of choice of representatives.

defining the elements in a set in terms of other elements in the set

defining a concept in terms of specific, replicable actions or procedures

the set of objects to which a term or concept applies

type of intensional definition, and it is composed of two parts (genus (or family) and differentia)

word that expresses a property it also possesses

Diairesis (, "division") is a form of classification used in ancient (especially Platonic) logic that serves to systematize concepts and come to definitions. When defining a concept using diairesis, one starts with a broad concept, then divides this into two or more specific sub-concepts, and this procedure is repeated until a definition of the desired concept is reached. Aristotle makes extensive use of diaresis in categorization as basis for syllogizing. He makes clear, however, that definition by diaresis does not in itself prove anything. Apart from this definition, the procedure also resu

class of entities divided into subordinate species (logic)

conveying the meaning of a term by pointing out examples

computer programming constraint allowing to bind a symbolic name to an object, valid in a well-defined scope, and to resolve it as a reference by a static or dynamic linking process

Philosophical paradox by G. E. Moore

totality of intensions, that is, properties or qualities, that an object possesses

semantics of concepts

example of lexical used as an adjective is the phrase lexical similarity which means words that appear to be similar to other words

form of stipulative definition which purports to describe the true or commonly accepted meaning of a term