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