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).

What is intentional logic?

Intension and extension, in logic, correlative words that indicate the reference of a term or concept: “intension” indicates the internal content of a term or concept that constitutes its formal definition; and “extension” indicates its range of applicability by naming the particular objects that it denotes.

What is the intensional meaning to words?

An intensional definition gives meaning to a term by specifying necessary and sufficient conditions for when the term should be used. ... For example, an intensional definition of the word "bachelor" is "unmarried man".