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.