aliases:
- Extension (predicate logic)
- Extensional
- Extensionality
- Extension (semantics)
tags:
- Type/Concept
- proto
- wikipedia
from:
- "[[Logic]]"
- "[[First-order logic|Predicate logic]]"
related:
- "[[Intension]]"
contra:
to:
dateCreated: 2022-09-22, 07:04
dateModified: 2023-12-25, 07:43
version: 1
publish: true
The extension of a predicate – a truth-valued function – is the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation. | |
---|---|
wikipedia:: Extension (predicate logic) | |
In logic, Extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same. | |
wikipedia:: Extensionality | |
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 or suggested by the concept in question. | |
wikipedia:: Extension (semantics) |
related:: Intension