http://glottopedia.org/index.php?action=history&feed=atom&title=Intensional_logic 2026-04-22T17:52:24Z Revision history for this page on the wiki MediaWiki 1.34.2 http://glottopedia.org/index.php?title=Intensional_logic&diff=7822&oldid=prev 2009-02-15T17:14:36Z

<p>utrecht</p> <p><b>New page</b></p><div>'''Intensional logic''' is a cover term for those extensions of [[propositional logic]] and [[predicate logic]] in which truth and reference are construed relative to possible worlds, moments of time, or contexts. Modal logic and temporal logic are the two most important instances of intensional logic. Modal logic studies the logic of possibility and necessity, and temporal logic studies the logic of time by means of tense operators. In [[Montague Grammar]] an intensional logic is used in which a formal distinction can be made between the [[extension]] and [[intension]] of an expression.<br /> <br /> === Link ===<br /> <br /> [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Intensional+logic&amp;lemmacode=681 Utrecht Lexicon of Linguistics]<br /> <br /> === References ===<br /> <br /> * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.<br /> <br /> {{dc}}<br /> [[Category:Semantics]]</div>

Wohlgemuth