[sci.logic] Formal Semantics

kozma@rex.cs.tulane.edu (John Kozma) (08/11/89)

Can anyone describe succinctly the distinction (if indeed there is one)
between "model theoretic semantics" and "denotational semantics"?

Or for that matter, between "denotation" and "extension", or between
"intensional" and "extensional" verbs.

For anyone familiar with both Goedel's First Incompleteness Theorem and
Montague Semantics, which do you consider easier to understand?

Finally, can anyone suggest references expressing a combination of
concepts from Case Grammar and Montague Semantics?

I'm attempting to post this to several different groups, but I'm not sure
whether some of them are moderated.  Anyway, I will gladly post a summary
of responses to the same groups, though I judged it prudent to direct
follow-ups to sci.logic.

Thanx in advance,

John P. Kozma
kozma@comus.cs.tulane.edu