[Top] [All Lists]

Re: [ontolog-forum] Context, at last!

To: nicolas.rouquette@xxxxxxxxxxxx, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Fri, 17 Jun 2005 16:10:14 -0500
Message-id: <20050617211014.GK64829@xxxxxxxx>
On Fri, Jun 17, 2005 at 01:52:43PM -0500, I wrote:
> On Wed, Jun 15, 2005 at 04:46:42PM -0700, Nicolas F Rouquette wrote:
> > Which field of study talks about "intensional" contexts?
> There are very large (distinct but overlapping) bodies of literature on
> intensional contexts in linguistics, the philosophy of language, and
> philosophical logic.  There is in particular a very active area of
> formal research falling under the rubric "intensional logic" -- very
> roughly, logics in which standard extensional semantical rules break
> down (or appear to break down).  Modal logic is a prime example of an
> intensional logic.  Notably, "it is necessary that" is a
> non-compositional ...    (01)

Better, non-truth-functional    (02)

> ...operator, that is, the truth value of a sentence of the form "It is
> necessary that p" is ...    (03)

...is *not*...    (04)

>... a determinate function of the truth value of p (unlike, say "It
>is not the case that p").      (05)

-chris    (06)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>