Intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
Wikipage disambiguates
seeAlso
differentFrom
primaryTopic
Intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
has abstract
Intensional logic is an approa ...... n between sense and reference.
@en
La lógica intensional es un si ...... a cierto rango de expresiones.
@es
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
723,794,303
hypernym
comment
Intensional logic is an approa ...... n between sense and reference.
@en
La lógica intensional es un si ...... ambas dicen de la misma cosa
@es
label
Intensional logic
@en
Lógica intensional
@es