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 extensional and intensional entities is parallel to the distinction between sense and reference.
Read more about Intensional Logic: Its Place Inside Logic, Modal Logic, Type Theoretical Intensional Logic
Famous quotes containing the word logic:
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)
Related Phrases
Related Words