ONT 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 see as having to do with time and space derivatives
of logical functions -- are pinned on developments in "differential logic",
which extends propositional logic in a way very analogous to the way that
differential calculus extends algebraic geometry. I am pleased 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