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/~phayesReceived 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