Re: Reification

> [...]
> Pat Hayes
>
> PS. Also, by the way: negation is not a relation; to negate a
> relation is not to invert it; 'open world' negation is exactly the
> same as any other negation; and encoding is not the same as
> representing.  And no, I am not going to explain why. Go read a book.

I've actually read tens of books, but there are also quite
instructive lessons such as
"High Level History and Overview of Mathematical and Logic
 Techniques Used in Mechanical Theorem Proving
 By: Elita Cheung"
at http://www.stanford.edu/~elitach/soco/theory.htm

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/