From wiki,
semantics:
"Model theoretic semantics originates from Montague's work (see above). A highly formalized theory of natural language semantics in which expressions are assigned denotations (meanings) such as individuals, truth values, or functions from one of these to another. The truth of a sentence, and more interestingly, its logical relation to other sentences, is then evaluated relative to a model."
This just to point the different collocation:
'model-theoretic' simpliciter
and as applied to _semantics_ proper. See Partee.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment