Keywords

#intensional_logic

Intensional logic

Approach to predicate 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.

Sat 10th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Intensional logic Extensional and intensional definitions Intension Modal logic Transparent intensional logic Intensional Montague grammar First-order logic Alonzo Church Index of logic articles
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.