Information om | Engelska ordet INTENSIONAL

Exempel på hur man kan använda INTENSIONAL i en mening

• Definitions can be 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 that a term describes).
• 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).
• There are multiple 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 by Girard's paradox, gave way to predicative versions.
• Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unites its members.
• Terms similar to property include predicable, attribute, quality, feature, characteristic, type, exemplifiable, predicate, and intensional entity.
• Merge combines expressions taken from the lexicon in a successive fashion to generate representations that characterize I-Language, understood to be the internalized intensional knowledge state as represented in individual speakers.
• In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).
• ; Reference equality: Given the impracticality of implementing extensional and intensional equality, most languages supporting testing functions for equality use reference equality.
• If arbitrary values are allowed in dependent types, then deciding type equality may involve deciding whether two arbitrary programs produce the same result; hence the decidability of type checking may depend on the given type theory's semantics of equality, that is, whether the type theory is intensional or extensional.
• The philosopher maintained that belief in infinities arises from confusing the intensional nature of mathematical laws with the extensional nature of sets, sequences, symbols etc.
• Building on these and other devices, Martin forged a first-order theory capable of expressing its own syntax as well as some semantics and pragmatics (via an event logic), all while abstaining from set and model theory (consistent with his nominalist principles), and from intensional notions such as modality.
• Conditional sequences involving subjunctives use intensional language, which is studied by modal logic, whereas classical logic studies the extensional language of necessary and sufficient conditions.
• Semantic formalisms that have been used as the meaning languages in glue semantics analyses include versions of discourse representation theory, intensional logic, first-order logic, and natural semantic metalanguage.
• The modeler first identifies intensional and extensional polysemes and synonyms, denoted by the subscripts: the first subscript uniquely refers to the intensional index, i.
• Bertrand Russell thought that this demonstrated the failure of substitutivity of identicals in intensional contexts.
• It was first made precise semantically in the 1994 paper of Martin Hofmann and Thomas Streicher called "The groupoid model refutes uniqueness of identity proofs", in which they showed that intensional type theory had a model in the category of groupoids.
• Two approaches are tied to self-deception: intentionalism (self-deception is an intentional act) and revisionism (self-deception is not an intensional act).
• He has adapted Charles Seeger's notion of the museme to demonstrate how combinations of such units are used to create both syncritic (intensional) structures inside the extended present, and diatactical (extensional) ones over time.

Förberedelsen av sidan tog: 356,01 ms.