Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: OpenCyc Motion Open for Discussions


On Fri, Apr 11, 2003 at 09:30:36AM -0400, John Sowa wrote:
> You have been using the topmost node all that time without realizing
> it.  Whenever you start to edit an empty file with nothing in it, you
> are looking at a blank page.  That blank page represents the empty
> set, which is the totality of axioms from which all tautologies can be
> derived.
> 
> As soon as add one axiom to the empty set, you have specialized your
> theory to another node farther down in the lattice.  

So long as the axiom is not itself derivable from the empty set! ;-)

Yours in excruciating correctness,

-chris