Solipsism is first-order

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 UTC