Comprehension (logic)
Encyclopedia
In logic
, the comprehension of an object is the totality of intension
s, 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.
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, the comprehension of an object is the totality of intension
Intension
In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase or other symbol. In the case of a word, it is often implied by the word's definition...
s, 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
- ExtensionExtension (semantics)In any of several studies that treat the use of signs - for example, in linguistics, logic, mathematics, semantics, and semiotics - 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...
- Extensional definitionExtensional definitionAn extensional definition of a concept or term formulates its meaning by specifying its extension, that is, every object that falls under the definition of the concept or term in question....
- IntensionIntensionIn linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase or other symbol. In the case of a word, it is often implied by the word's definition...
- Intensional definitionIntensional definitionIn logic and mathematics, an intensional definition gives the meaning of a term by specifying all the properties required to come to that definition, that is, the necessary and sufficient conditions for belonging to the set being defined....