Xref: utzoo sci.lang:5007 sci.logic:481 comp.lang.misc:3282
Path: utzoo!attcan!uunet!ginosko!rex!kozma
From: kozma@rex.cs.tulane.edu (John Kozma)
Newsgroups: sci.lang,sci.logic,comp.lang.misc
Subject: Formal Semantics
Keywords: detonational semantics model theory Montague case grammar
Message-ID: <1028@rex.cs.tulane.edu>
Date: 10 Aug 89 23:44:57 GMT
Reply-To: kozma@rex.cs.tulane.edu (John Kozma)
Followup-To: sci.logic
Organization: Computer Science Dept., Tulane Univ., New Orleans, LA
Lines: 21
Sender:
Distribution:

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