- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Jun 2001 10:40:57 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: Tim Berners-Lee <timbl@w3.org>, Sandro Hawke <sandro@w3.org>, www-rdf-logic@w3.org
>Tim Berners-Lee wrote: > > >[...] > > I think everyone is > > happy > > with representing a statement by giving its pred,subj, and object > > properties. > >Really? I'm not. cf > >use/mention and reification: rdf:predicate/subject/object >Dan Connolly (Sat, May 26 2001) >http://lists.w3.org/Archives/Public/www-rdf-logic/2001May/0359.html > >Re: use/mention and reification: rdf:predicate/subject/object >Dan Connolly (Fri, Jun 01 2001) >http://lists.w3.org/Archives/Public/www-rdf-logic/2001Jun/0020.html > Right, me neither. But don't say 'statement'. Call it a 'proposition' or 'fact' or a 'situation' or some such - whatever we want to call the things that statements denote - and then it all makes a lot more sense. Completed statements denote truthvalues, of course, but we need more elaborate thingies to be the denotations of subexpressions if we are going to take use this 'structural' way of decomposing them. Pat Hayes --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 8 June 2001 11:41:18 UTC