🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.lang
Article #97

Formal Semantics

#97
From: John Kozma
Date: Thu, 10 Aug 1989 23:44
21 lines
1281 bytes
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
Technical Details
Message-ID: <1028@rex.cs.tulane.edu>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!ginosko!rex!kozma

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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