Intensional logic
From The Art and Popular Culture Encyclopedia
|
Related e |
|
Featured: |
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.
[edit]
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Intensional logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
