Search results
Results From The WOW.Com Content Network
An extensional definition gives meaning to a term by specifying its extension, that is, every object that falls under the definition of the term in question.. For example, an extensional definition of the term "nation of the world" might be given by listing all of the nations of the world, or by giving some other means of recognizing the members of the corresponding class.
An extensional statement is a non-intensional statement. Substitution of co-extensive expressions into it always preserves logical value. A language is intensional if it contains intensional statements, and extensional otherwise. All natural languages are intensional. [4]
Type-theoretical foundations of mathematics are generally not extensional in this sense, and setoids are commonly used to maintain a difference between intensional equality and a more general equivalence relation (which generally has poor constructibility or decidability properties).
Intensional definitions vs extensional definitions Main articles: Intension and Extension (semantics) An intensional definition , also called a connotative definition, specifies the necessary and sufficient conditions for a thing to be a member of a specific set . [ 3 ]
According to an extensional definition, they are abstract groups, sets, or collections of objects. According to an intensional definition, they are abstract objects that are defined by values of aspects that are constraints for being member of the class. The first definition of class results in ontologies in which a class is a subclass of ...
See also extensionality, and also intensional definition versus extensional definition; Intensional logic embraces the study of intensional languages: at least one of their functors is intensional. It can be contrasted to extensional logic; Intensional fallacy, committed when one makes an illicit use of Leibniz's law in an argument; See also ...
In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied ...
A fundamental distinction is extensional vs intensional type theory. In extensional type theory, definitional (i.e., computational) equality is not distinguished from propositional equality, which requires proof. As a consequence type checking becomes undecidable in