Re: A Model Theoretic Semantics for DAML-ONT

pat hayes wrote:
> 
> Dan Connolly wrote:
> 
> >* How do we avoid Russel's paradox.
> >

[...]

> No, there is no such restriction in KIF, I believe as a matter of
> policy. That is, the KIF attitude is that if you make a paradoxical
> definition then you must be prepared to reap the resulting whirlwind,
> as it were. (Caveat Orator, maybe?)

Thanks for the elaborate answer; if I understand correctly,
a paraphrase of my question and your answer is:

	Q: Doctor, doctor! It hurts when I ...

	A: Well, then, don't do that.

> Hope this helps.

Yup.


-- 
Dan

Received on Thursday, 16 November 2000 12:39:30 UTC