- 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
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