[Inquiry] Re: Futures Of Logical Graphs

[Jon Awbrey]

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

FOLG.  Note 51

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

Arisbe List, Cybernetics List,

Toward "Logic As Sign Transformation" (LAST)

We have been looking at various ways of transforming propositional
expressions, expressed in the parallel formats of character strings
and graphical structures, all the while preserving certain aspects of
their "meaning" -- and here I risk using that vaguest of all possible
words, but only as a promissory note, hopefully to be cached out in
a more meaningful species of currency as the discussion develops.

I cannot pretend to be acquainted with or to comprehend every form
of intension that others might find of interest in a given form of
expression, nor can I speak for every form of meaning that another
might find in a given form of syntax.  The best that I can hope to
do is to specify what my object is in using these expressions, and
to say what aspects of their syntax are meant to serve this object,
lending these properties the interest I have in preserving them as
I put the expressions through the paces of their transformations.

On behalf of this object I have been spinning in the form
of this thread a developing example base of propositional
expressions, in the data structures of graphs and strings,
along with many examples of step-wise transformations on
these expressions that preserve something of significant
logical import, something that might be referred to as
their "logical equivalence class" (LEC), and that we
could as well call the "constraint information" or
the "denotative object" of the expression in view.

Jon Awbrey

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