SUO: Change And Diversity
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CAD. Note 1
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Some of you may know that my own best hopes for dealing with change and diversity
in logical terms -- which I think of having to do with time and space derivatives
of logical functions -- are pinned on developments in "differential logic", which
extends propositional logic in a very analogous way to the way that differential
calculus extends algebraic geometry. I am pleased as punch to say that I have
just achieved a one-page recapitulation of the elements of the subject, that
may be found at the following site:
http://suo.ieee.org/ontology/msg04762.html
New and improved versions of my previous discussions of the subject
can be found by following the threads that begin at these locations:
http://stderr.org/pipermail/inquiry/2003-April/000364.html
http://stderr.org/pipermail/inquiry/2003-April/000386.html
I think that the second essay is slightly more direct.
As always, these are best viewed in fixed-width fonts.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o