SUO: Re: General Design
Jon,
That is certainly true:
> Now, I dearly love lattices, posets, preorders as much as
> anybody has a right to, but they are all 2-adic relations,
> and so there's just gonna have to be some threads hanging
> loose when you try to pack up sign relations or any other
> 3-adics in your lattices. It's the conservation of arity.
Every lattice, tree, or other partial ordering is based
on a dyadic relation. And every type label is defined
by a monadic relation. And every proposition is a
zero-adic relation (or medad in Peirce's terminology).
So what?
The fact that triadic relations are essential for
representing purpose does not mean that we can't
use 0, 1, and 2 as well.
John