W3C home > Mailing lists > Public > uri@w3.org > April 2003

Re: resources, stuffs and individuation

From: John Cowan <cowan@mercury.ccil.org>
Date: Mon, 21 Apr 2003 22:02:51 -0400
To: Tim Bray <tbray@textuality.com>
Cc: uri@w3.org
Message-ID: <20030422020250.GD15045@ccil.org>

Tim Bray scripsit:

> I have *no* idea what you guys are talking about.  I suspect I'm not 
> alone.

Well, okay.  The central issue is whether "Ax" and "Ex" are best interpreted
as "For all things" and "There exists at least one thing" or whether
the righteous thing for SW purposes is "For all names of things, the
thing named by the name" and "There exists at least one name of something
such that the thing named by the name".  The latter interpretations look
and are more complicated, but have (according to me) certain advantages.

However, I haven't read the Kripke article that my interlocutor is
referring to, and I have a lot of respect for Kripke (anyone who doesn't
is either just ill-informed (fair enough) or an idiot).  Is the article
on line anywhere?

John Cowan       http://www.ccil.org/~cowan        <jcowan@reutershealth.com>
        You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
        You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
                Clear all so!  `Tis a Jute.... (Finnegans Wake 16.5)
Received on Monday, 21 April 2003 22:03:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:25:05 UTC