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...

classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects...

According to an extensional definition, they are abstract groups, sets, or collections of objects. According to an intensional definition, they are abstract...

language is intensional if it contains intensional statements, and extensional otherwise. All natural languages are intensional. The only extensional languages...

distinction between intensional and extensional entities is parallel to the distinction between sense and reference. Logic is the study of proof and deduction as...

the concept of intensionality, which is concerned with whether the internal definitions of objects are the same. The extensional definition of function equality...

free dictionary. Comprehension Enumerative definition Exemplification Extensional and intensional definitions Intension Ostension Wittgenstein, Ludwig....

mathematical logic: see intensional statement. See also extensionality, and also intensional definition versus extensional definition Intensional logic embraces...

of the original sentence. De dicto and de re Extension (semantics) Extensional definition Extensionalism Intensional logic Opaque context Propositional...

philosophy of language Extensional and intensional definitions – Classification of definitions in mathematics, philosophy, and logic Meinong's jungle –...

was used in the 2003 film Identity starring John Cusack. Extensional and intensional definitions Plato's beard The Man Who Sold the World (song), a song...

implements function equality as extensional equality. Intensional equality Under intensional equality, two functions f and g are considered equal if they...

phenomenology Experience Experience machine Explanation Extensional and intensional definitions Fact Fairness False Felicific calculus Fidelity Final anthropic...

An enumerative definition of a concept or term is a special type of extensional definition that gives an explicit and exhaustive listing of all the objects...

versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent...

similarly to a set defined by its members. The class is extensional. A set defined intensionally is a set of things that meet some requirement to be a member...

'Axiom of Extensionality' has its roots in logic. An intensional definition describes the necessary and sufficient conditions for a term to apply to an object...

Philosophical term denoting a group of things derived from extensional or intensional definition Formalism (philosophy) – Concept of focusing on form over...

usage to see 'intension' used for both the composite and the primitive ideas. Extension Extensional definition Intension Intensional definition v t e...

identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality...

Frege's and Tarski's ideas. To overcome problems associated with extensional definitions of meaning, Carnap pioneered the study of intensional semantics...

2, November 1978 "The Role of Intensional and Extensional Interpretation in Semantic Representations". Kent in "Data and Reality" : "One thing we ought...

whether the type theory is intensional or extensional. In 1934, Haskell Curry noticed that the types used in typed lambda calculus, and in its combinatory logic...

as Other Minds Double entendre Extension Extensional definition Intension Intensional definition Loaded language Metacommunicative competence Pun Semantic...

extensional, while contexts in which extension is not enough are intensional. Mathematics is typically extensional throughout." Stanford University primer...

finality) corresponds directly to the appropriate induction principle. In intensional type theories with the univalence axiom, this correspondence holds up...

Talcott, Carolyn (1985). The Essence of Rum: A theory of the intensional and extensional aspects of Lisp-type computation (Ph.D. thesis). Stanford University...

functional extensionality, UIP and K in fact sufficient to capture the differences between intensional and extensional Martin-Löf type theory: extensional MLTT...

the key definitions. More formal properties and boundaries of rough sets can be found in Pawlak (1991) and cited references. The initial and basic theory...

unavoidable when a field is in rapid flux. At one time, the idea that types in intensional type theory with their identity types could be regarded as groupoids...