ONT Re: Zeroth Order Ontology
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
ZOO. Discussion Note 3
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
In the "alpha level" of Peirce's logical graphs
and the finite part of Spencer-Brown's calculus,
before it gets all loopy and auto-semantic, the
logical arithmetic that supports the algebra is
isomorphic to a two-partition of "rooted trees".
For various reasons, it is useful to extend the
primary arithmetic to the species of graph that
is usually known as "rooted cacti", and this is
the focus of the work that I have been doing in
the area. You may find an organized discussion
of it in the chain of links that I append below.
Jon Awbrey
PERS. Propositional Equation Reasoning Systems -- Inquiry List
01. http://stderr.org/pipermail/inquiry/2003-March/000124.html
02. http://stderr.org/pipermail/inquiry/2003-March/000125.html
03. http://stderr.org/pipermail/inquiry/2003-March/000126.html
04. http://stderr.org/pipermail/inquiry/2003-March/000127.html
05. http://stderr.org/pipermail/inquiry/2003-March/000128.html
06. http://stderr.org/pipermail/inquiry/2003-March/000129.html
07. http://stderr.org/pipermail/inquiry/2003-March/000130.html
08. http://stderr.org/pipermail/inquiry/2003-March/000131.html
09. http://stderr.org/pipermail/inquiry/2003-March/000132.html
10. http://stderr.org/pipermail/inquiry/2003-March/000133.html
11. http://stderr.org/pipermail/inquiry/2003-March/000134.html
12. http://stderr.org/pipermail/inquiry/2003-March/000135.html
13. http://stderr.org/pipermail/inquiry/2003-March/000136.html
14. http://stderr.org/pipermail/inquiry/2003-March/000137.html
15. http://stderr.org/pipermail/inquiry/2003-March/000138.html
16. http://stderr.org/pipermail/inquiry/2003-March/000139.html
17. http://stderr.org/pipermail/inquiry/2003-March/000140.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o