[Inquiry] Alpha Graphs -> Laws Of Form -> Cactus Language -> Differential Logic

Jon Awbrey jawbrey at att.net
Tue Feb 22 10:48:07 CST 2005


o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

a program that i begain writing in lisp and then ultimately developed
in pascal all through the 80's implements a variant of c.s. peirce's
logical graphs (at the "alpha" or prop calc level), that being the
progenitor of spencer brown's laws of form calculus.  this is now
called the "cactus language", because of the underlying species
of graphs that it involves.  re-entrant forms come into play
a slightly different way, with the "differential extension"
of this logical calculus, precisely analogous to the way
that differential calculus extends algebraic geometry.

i am still getting around to a full documentation of the program.
this is being done at a function by function "commentary" level
and a bird's eye view "exposition" level at the following sites:

TOP-COM.  Theme One Program -- Commentary
TOP-COM.  http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268
TOP-COM.  http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334

TOP-EXP.  Theme One Program -- Exposition
TOP-EXP.  http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348

general introductions to the cactus language and its differential extension
can be found at the following sites:

PERS.  Propositional Equation Reasoning Systems
PERS.  http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
PERS.  http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
PERS.  http://forum.wolframscience.com/showthread.php?threadid=297

CIL.  Change In Logic
CIL.  http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
CIL.  http://forum.wolframscience.com/showthread.php?threadid=632

DAL.  Dynamics And Logic
DAL.  http://stderr.org/pipermail/inquiry/2004-May/thread.html#1400
DAL.  http://stderr.org/pipermail/inquiry/2004-July/thread.html#1685
DAL.  http://forum.wolframscience.com/showthread.php?threadid=420

DIF.  Differential Logic and Dynamic Systems
DIF.  http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042
DIF.  http://forum.wolframscience.com/showthread.php?threadid=636

jon awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o



More information about the Inquiry mailing list