W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Solipsism is first-order

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Mon, 8 Apr 2002 03:30:44 -0400
Message-Id: <p05101503b8d620f4b9dc@[65.217.30.94]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: www-webont-wg@w3.org
Jeremy, I now see what you mean by 'solipsistic'. There is a better 
term for it, though, already in widespread use: "first-order", as in 
'first-order logic'. That is the basic MT assumption of FOL; that the 
only things that are required to exist in a model are those that are 
needed to be the denotations of expressions that can actually be 
formed from the syntax. And I agree, this is a very good working 
assumption, and one that we should try to stick to, since any 
deviation from it tends to result in computational nightmares.

Pat

-- 
---------------------------------------------------------------------
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, 15 April 2002 10:57:35 GMT

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