W3C home > Mailing lists > Public > public-awwsw@w3.org > May 2010

Re: sketch of an exposition

From: Dan Connolly <connolly@w3.org>
Date: Mon, 24 May 2010 08:36:01 -0500
To: Pat Hayes <phayes@ihmc.us>
Cc: Jonathan Rees <jar@creativecommons.org>, AWWSW TF <public-awwsw@w3.org>
Message-ID: <1274708161.3925.15308.camel@pav>
On Thu, 2010-05-20 at 01:15 -0500, Pat Hayes wrote:
> So, immediate question: are these names also in the UoD? Are URIs  
> Things? I suspect the answer has to be Yes, but that makes things more  
> complicated and less 'standard' already, because standard FOL keeps  
> names and things strictly segregated.

That's not my understanding. In particular:

"... a Herbrand interpretation is an interpretation in which all
constants ... are assigned very simple meanings. Specifically, every
constant is interpreted as itself... "
 -- http://en.wikipedia.org/wiki/Herbrand_interpretation

I'm pretty sure I learned about Herbrand interpreations from you, Pat;
I wonder what point you actually meant to make there.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 24 May 2010 13:34:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:21:08 UTC