http://glottopedia.org/index.php?action=history&feed=atom&title=Model_%28semantics%29Model (semantics) - Revision history2026-04-23T01:54:15ZRevision history for this page on the wikiMediaWiki 1.34.2http://glottopedia.org/index.php?title=Model_(semantics)&diff=7983&oldid=prevWohlgemuth: utrecht2009-02-17T18:39:24Z<p>utrecht</p>
<p><b>New page</b></p><div>'''Model''' is the device which makes it possible to interpret formal systems in model-theoretic semantics. The expressions of a [[formal language]] are then interpreted with respect to a model. In [[propositional logic]], this model is an assignment of [[truth value]]s to the basic [[propositional letters]] of the language.<br />
<br />
=== Example ===<br />
<br />
the following example shows how complex expressions are interpreted in terms of the truth values that the model assigns to the propositional letters p and q.<br />
<br />
(i) V<sub>M</sub>(p &amp; q) = 1 if and only if V<sub>M</sub>(p) = 1 and V<sub>M</sub>(q) = 1<br />
<br />
In predicate logic, the model M consists of a universe of discourse (D) and a mapping I from the [[individual constant]]s and [[predicate letter]]s to the [[universe of discourse]]. As the example shows, the interpretation of the formula P(c) is determined by the denotations that P and c get from the model.<br />
<br />
(ii) V<sub>M</sub>( P(c) ) = 1 iff I<sub>M</sub>(c) in I<sub>M</sub>(P)<br />
<br />
=== Links ===<br />
<br />
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Model&lemmacode=551 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