W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2000

Re: comparing DAML-ONT and OIL (was Re: semantics of daml)

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 16 Oct 2000 10:48:19 -0500
Message-Id: <v04210102b610d2960abb@[205.160.76.86]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-logic@w3.org
> > >   Individuals                   yes                     yes
> >
> > I'm not sure I understand what Individuals are; cf
> > "universe of discourse" above.
>
>Individuals are, well, individuals.  Things like Joe and Mary and a rock.

Quine: "To be, is to be the value of a bound variable". Individuals 
are whatever the (explicit or implicit) quantifiers range over. 
Exactly WHAT they are in some  metaphysical sense is a question that 
one should studiously not go into. Its like a car salesman asking a 
customer where she drives: it's none of our business.

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 Monday, 16 October 2000 11:45:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:37 GMT