Extensional and intensional definitions information

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

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

intensionality, which is concerned with whether the internal definitions of objects are the same. Consider the two functions f and g mapping from and...

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

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

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

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

Explanatory power -- Extension (semantics) -- Extensional context -- Extensional definition -- Fa (concept) -- Fact -- Fallacies of definition -- Fallacy --...

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

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

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

Intuitionistic Type Theory (PDF). Streicher, Thomas (1993). Investigations into intensional type theory (PDF). Hoffman, Martin; Streicher, Thomas (July 1994). "The...

2013-03-12. Retrieved 2023-09-13. Hofmann, Martin (1997). "Extensional Constructs in Intensional Type Theory". SpringerLink. doi:10.1007/978-1-4471-0963-1...

restricted to definite orders". This change from a quasi-intensional stance to a fully extensional stance also restricts predicate logic to the second order...