In
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
, the comprehension of an object is the totality of
intensions, that is, attributes, characters, marks, properties, or qualities, that the object possesses, or else the totality of intensions that are
pertinent to the context of a given discussion. This is the correct technical term for the whole collection of intensions of an object, but it is common in less technical usage to see 'intension' used for both the composite and the primitive ideas.
See also
*
Extension
Extension, extend or extended may refer to:
Mathematics
Logic or set theory
* Axiom of extensionality
* Extensible cardinal
* Extension (model theory)
* Extension (predicate logic), the set of tuples of values that satisfy the predicate
* Ext ...
*
Extensional definition
*
Intension
*
Intensional definition
Concepts in logic
Definition
{{Logic-stub