Difference between revisions of "User talk:OmniMediaGroup"

MyWikiBiz, Author Your Legacy — Wednesday December 25, 2024
Jump to navigationJump to search
(→‎Lost Article: still can't edit)
Line 107: Line 107:
  
 
:: The page came back but when I tried to edit a small section it goes blank again in the middle of the <action=submit> command.  The aborted edit gets logged in my contrib history but not in recent changes.  [[User:Jon Awbrey|Jon Awbrey]] 17:30, 22 May 2010 (UTC)
 
:: The page came back but when I tried to edit a small section it goes blank again in the middle of the <action=submit> command.  The aborted edit gets logged in my contrib history but not in recent changes.  [[User:Jon Awbrey|Jon Awbrey]] 17:30, 22 May 2010 (UTC)
 +
 +
:::For safe keeping
 +
<pre>
 +
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]]  and [[Inquiry Live|Inquiry]].
 +
 +
A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce Charles Sanders Peirce] developed for [[logic]].
 +
 +
In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
 +
 +
In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.  This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
 +
 +
==Abstract point of view==
 +
 +
{| width="100%" cellpadding="2" cellspacing="0"
 +
| width="60%" | &nbsp;
 +
| width="40%" | ''Wollust ward dem Wurm gegeben …''
 +
|-
 +
| &nbsp;
 +
| align="right" | &mdash; Friedrich Schiller, ''An die Freude''
 +
|}
 +
 +
The bird's eye view in question is more formally known as the perspective of formal equivalence, from which remove one cannot see many distinctions that appear momentous from lower levels of abstraction.  In particular, expressions of different formalisms whose syntactic structures are [[isomorphic]] from the standpoint of [[algebra]] or [[topology]] are not recognized as being different from each other in any significant sense.  Though we may note in passing such historical details as the circumstance that Charles Sanders Peirce used a ''streamer-cross symbol'' where [[George Spencer Brown]] used a ''carpenter's square marker'', the theme of principal interest at the abstract level of form is neutral with regard to variations of that order.
 +
 +
==In lieu of a beginning==
 +
 +
Consider the formal equations indicated in Figures&nbsp;1 and 2.
 +
 +
{| align="center" border="0" cellpadding="10" cellspacing="0"
 +
| [[Image:Logical_Graph_Figure_1_Visible_Frame.jpg|500px]] || (1)
 +
|-
 +
| [[Image:Logical_Graph_Figure_2_Visible_Frame.jpg|500px]] || (2)
 +
|}
 +
 +
For the time being these two forms of transformation may be referred to as ''[[axioms]]'' or ''initial equations''.
 +
 +
==Duality : logical and topological==
 +
 +
There are two types of duality that have to be kept separately mind in the use of logical graphs &mdash; logical duality and topological duality.
 +
 +
There is a standard way that graphs of the order that Peirce considered, those embedded in a continuous [[manifold]] like that commonly represented by a plane sheet of paper &mdash; with or without the paper bridges that Peirce used to augment its topological genus &mdash; can be represented in linear text as what are called ''parse strings'' or ''traversal strings'' and parsed into ''pointer structures'' in computer memory.
 +
 +
A blank sheet of paper can be represented in linear text as a blank space, but that way of doing it tends to be confusing unless the logical expression under consideration is set off in a separate display.
 +
 +
For example, consider the axiom or initial equation that is shown below:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_3_Visible_Frame.jpg|500px]] || (3)
 +
|}
 +
 +
This can be written inline as <math>{}^{\backprime\backprime} \texttt{(~(~)~)} = \quad {}^{\prime\prime}</math> or set off in a text display as follows:
 +
 +
{| align="center" cellpadding="10"
 +
| width="33%" | <math>\texttt{(~(~)~)}</math>
 +
| width="34%" | <math>=\!</math>
 +
| width="33%" | &nbsp;
 +
|}
 +
 +
When we turn to representing the corresponding expressions in computer memory, where they can be manipulated with utmost facility, we begin by transforming the planar graphs into their topological duals.  The planar regions of the original graph correspond to nodes (or points) of the [[dual graph]], and the boundaries between planar regions in the original graph correspond to edges (or lines) between the nodes of the dual graph.
 +
 +
For example, overlaying the corresponding dual graphs on the plane-embedded graphs shown above, we get the following composite picture:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_4_Visible_Frame.jpg|500px]] || (4)
 +
|}
 +
 +
Though it's not really there in the most abstract topology of the matter, for all sorts of pragmatic reasons we find ourselves compelled to single out the outermost region of the plane in a distinctive way and to mark it as the ''[[root node]]'' of the corresponding dual graph.  In the present style of Figure the root nodes are marked by horizontal strike-throughs.
 +
 +
Extracting the dual graphs from their composite matrices, we get this picture:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_5_Visible_Frame.jpg|500px]] || (5)
 +
|}
 +
 +
It is easy to see the relationship between the parenthetical expressions of Peirce's logical graphs, that somewhat clippedly picture the ordered containments of their formal contents, and the associated dual graphs, that constitute the species of [[rooted tree]]s here to be described.
 +
 +
In the case of our last example, a moment's contemplation of the following picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree until we reach the top, then climbing back down the right side of the tree until we return to the root, all the while reading off the symbols, in this case either <math>{}^{\backprime\backprime} \texttt{(} {}^{\prime\prime}</math> or <math>{}^{\backprime\backprime} \texttt{)} {}^{\prime\prime},</math> that we happen to encounter in our travels.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_6_Visible_Frame.jpg|500px]] || (6)
 +
|}
 +
 +
This ritual is called ''[[traversing]]'' the tree, and the string read off is called the ''[[traversal string]]'' of the tree.  The reverse ritual, that passes from the string to the tree, is called ''[[parsing]]'' the string, and the tree constructed is called the ''[[parse graph]]'' of the string.  The speakers thereof tend to be a bit loose in this language, often using ''[[parse string]]'' to mean the string that gets parsed into the associated graph.
 +
 +
We have treated in some detail various forms of the initial equation or logical axiom that is formulated in string form as <math>{}^{\backprime\backprime} \texttt{(~(~)~)} = \quad {}^{\prime\prime}.</math>  For the sake of comparison, let's record the plane-embedded and topological dual forms of the axiom that is formulated in string form as <math>{}^{\backprime\backprime} \texttt{(~)(~)} = \texttt{(~)} {}^{\prime\prime}.</math>
 +
 +
First the plane-embedded maps:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_7_Visible_Frame.jpg|500px]] || (7)
 +
|}
 +
 +
Next the plane-embedded maps and their dual trees superimposed:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_8_Visible_Frame.jpg|500px]] || (8)
 +
|}
 +
 +
Finally the dual trees by themselves:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_9_Visible_Frame.jpg|500px]] || (9)
 +
|}
 +
 +
And here are the parse trees with their traversal strings indicated:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_10_Visible_Frame.jpg|500px]] || (10)
 +
|}
 +
 +
We have at this point enough material to begin thinking about the forms of [[analogy]], [[iconicity]], [[metaphor]], [[morphism]], whatever you want to call them, that are pertinent to the use of logical graphs in their various logical interpretations, for instance, those that Peirce described as ''[[entitative graph]]s'' and ''[[existential graph]]s''.
 +
 +
==Computational representation==
 +
 +
The parse graphs that we've been looking at so far bring us one step closer to the pointer graphs that it takes to make these maps and trees live in computer memory, but they are still a couple of steps too abstract to detail the concrete species of dynamic data structures that we need.  The time has come to flesh out the skeletons that we've drawn up to this point.
 +
 +
Nodes in a graph represent ''records'' in computer memory.  A record is a collection of data that can be conceived to reside at a specific ''address''.  The address of a record is analogous to a demonstrative pronoun, on which account programmers commonly describe it as a ''pointer'' and semioticians recognize it as a type of sign called an ''index''.
 +
 +
At the next level of concreteness, a pointer-record structure is represented as follows:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_11_Visible_Frame.jpg|500px]] || (11)
 +
|}
 +
 +
This portrays the pointer <math>\mathit{index}_0\!</math> as the address of a record that contains the following data:
 +
 +
{| align="center" cellpadding="10"
 +
| <math>\mathit{datum}_1, \mathit{datum}_2, \mathit{datum}_3, \ldots,\!</math> and so on.
 +
|}
 +
 +
What makes it possible to represent graph-theoretical structures as data structures in computer memory is the fact that an address is just another datum, and so we may have a state of affairs like the following:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_12_Visible_Frame.jpg|500px]] || (12)
 +
|}
 +
 +
Returning to the abstract level, it takes three nodes to represent the three data records illustrated above:  one root node connected to a couple of adjacent nodes.  The items of data that do not point any further up the tree are then treated as labels on the record-nodes where they reside, as shown below:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_13_Visible_Frame.jpg|500px]] || (13)
 +
|}
 +
 +
Notice that drawing the arrows is optional with rooted trees like these, since singling out a unique node as the root induces a unique orientation on all the edges of the tree, with ''up'' being the same direction as ''away from the root''.
 +
 +
==Quick tour of the neighborhood==
 +
 +
This much preparation allows us to take up the founding axioms or initial equations that determine the entire system of logical graphs.
 +
 +
===Primary arithmetic as semiotic system===
 +
 +
Though it may not seem too exciting, logically speaking, there are many reasons to make oneself at home with the system of forms that is represented indifferently, topologically speaking, by rooted trees, balanced strings of parentheses, or finite sets of non-intersecting simple closed curves in the plane.
 +
 +
:* One reason is that it gives us a respectable example of a sign domain on which to cut our semiotic teeth, non-trivial in the sense that it contains a [[countable]] [[infinity]] of signs.
 +
 +
:* Another reason is that it allows us to study a simple form of [[computation]] that is recognizable as a species of ''[[semiosis]]'', or sign-transforming process.
 +
 +
This space of forms, along with the two axioms that induce its [[partition of a set|partition]] into exactly two [[equivalence class]]es, is what [[George Spencer Brown]] called the ''primary arithmetic''.
 +
 +
The axioms of the primary arithmetic are shown below, as they appear in both graph and string forms, along with pairs of names that come in handy for referring to the two opposing directions of applying the axioms.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]] || (14)
 +
|-
 +
| [[Image:Logical_Graph_Figure_15_Banner.jpg|500px]] || (15)
 +
|}
 +
 +
Let <math>S\!</math> be the set of rooted trees and let <math>S_0\!</math> be the 2-element subset of <math>S\!</math> that consists of a rooted node and a rooted edge.
 +
 +
{| align="center" cellpadding="10" style="text-align:center"
 +
| <math>S\!</math>
 +
| <math>=\!</math>
 +
| <math>\{ \text{rooted trees} \}\!</math>
 +
|-
 +
| <math>S_0\!</math>
 +
| <math>=\!</math>
 +
| <math>\{ \ominus, \vert \} = \{</math>[[Image:Rooted Node.jpg|16px]], [[Image:Rooted Edge.jpg|12px]]<math>\}\!</math>
 +
|}
 +
 +
Simple intuition, or a simple inductive proof, assures us that any rooted tree can be reduced by way of the arithmetic initials either to a root node [[Image:Rooted Node.jpg|16px]] or else to a rooted edge [[Image:Rooted Edge.jpg|12px]]&nbsp;.
 +
 +
For example, consider the reduction that proceeds as follows:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_16.jpg|500px]] || (16)
 +
|}
 +
 +
Regarded as a semiotic process, this amounts to a sequence of signs, every one after the first serving as the ''[[interpretant]]'' of its predecessor, ending in a final sign that may be taken as the canonical sign for their common object, in the upshot being the result of the computation process.  Simple as it is, this exhibits the main features of any computation, namely, a semiotic process that proceeds from an obscure sign to a clear sign of the same object, being in its aim and effect an action on behalf of clarification.
 +
 +
===Primary algebra as pattern calculus===
 +
 +
Experience teaches that complex objects are best approached in a gradual, laminar, [[module|modular]] fashion, one step, one layer, one piece at a time, and it's just as much the case when the complexity of the object is irreducible, that is, when the articulations of the representation are necessarily at joints that are cloven disjointedly from nature, with some assembly required in the synthetic integrity of the intuition.
 +
 +
That's one good reason for spending so much time on the first half of [[zeroth order logic]], represented here by the primary arithmetic, a level of formal structure that C.S. Peirce verged on intuiting at numerous points and times in his work on logical graphs, and that Spencer Brown named and brought more completely to life.
 +
 +
There is one other reason for lingering a while longer in these primitive forests, and this is that an acquaintance with "bare trees", those as yet unadorned with literal or numerical labels, will provide a firm basis for understanding what's really at issue in such problems as the "ontological status of variables".
 +
 +
It is probably best to illustrate this theme in the setting of a concrete case, which we can do by reviewing the previous example of reductive evaluation shown in Figure&nbsp;16.
 +
 +
The observation of several ''semioses'', or sign-transformations, of roughly this shape will most likely lead an observer with any observational facility whatever to notice that it doesn't really matter what sorts of branches happen to sprout from the side of the root aside from the lone edge that also grows there &mdash; the end result will always be the same.
 +
 +
Our observer might think to summarize the results of many such observations by introducing a label or variable to signify any shape of branch whatever, writing something like the following:
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_17.jpg|500px]] || (17)
 +
|}
 +
 +
Observations like that, made about an arithmetic of any variety, germinated by their summarizations, are the root of all algebra.
 +
 +
Speaking of algebra, and having encountered already one example of an algebraic law, we might as well introduce the axioms of the ''primary algebra'', once again deriving their substance and their name from the works of [[Charles Sanders Peirce]] and [[George Spencer Brown]], respectively.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_18.jpg|500px]] || (18)
 +
|-
 +
| [[Image:Logical_Graph_Figure_19.jpg|500px]] || (19)
 +
|}
 +
 +
The choice of axioms for any formal system is to some degree a matter of aesthetics, as it is commonly the case that many different selections of formal rules will serve as axioms to derive all the rest as theorems.  As it happens, the example of an algebraic law that we noticed first, <math>a(~) = (~),</math> as simple as it appears, proves to be provable as a theorem on the grounds of the foregoing axioms.
 +
 +
We might also notice at this point a subtle difference between the primary arithmetic and the primary algebra with respect to the grounds of justification that we have naturally if tacitly adopted for their respective sets of axioms.
 +
 +
The arithmetic axioms were introduced by fiat, in a quasi-[[apriori]] fashion, though of course it is only long prior experience with the practical uses of comparably developed generations of formal systems that would actually induce us to such a quasi-primal move.  The algebraic axioms, in contrast, can be seen to derive their motive and their justice from the observation and summarization of patterns that are visible in the arithmetic spectrum.
 +
 +
==Formal development==
 +
 +
What precedes this point is intended as an informal introduction to the axioms of the primary arithmetic and primary algebra, and hopefully provides the reader with an intuitive sense of their motivation and rationale.
 +
 +
The next order of business is to give the exact forms of the axioms that are used in the following more formal development, devolving from Peirce's various systems of logical graphs via Spencer-Brown's ''Laws of Form'' (LOF).  In formal proofs, a variation of the annotation scheme from LOF will be used to mark each step of the proof according to which axiom, or ''initial'', is being invoked to justify the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
 +
 +
===Axioms===
 +
 +
The axioms are just four in number, divided into the ''arithmetic initials'', <math>I_1\!</math> and <math>I_2,\!</math> and the ''algebraic initials'', <math>J_1\!</math> and <math>J_2.\!</math>
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Logical_Graph_Figure_20.jpg|500px]] || (20)
 +
|-
 +
| [[Image:Logical_Graph_Figure_21.jpg|500px]] || (21)
 +
|-
 +
| [[Image:Logical_Graph_Figure_22.jpg|500px]] || (22)
 +
|-
 +
| [[Image:Logical_Graph_Figure_23.jpg|500px]] || (23)
 +
|}
 +
 +
One way of assigning logical meaning to the initial equations is known as the ''entitative interpretation'' (EN).  Under EN, the axioms read as follows:
 +
 +
{| align="center" cellpadding="10"
 +
|
 +
<math>\begin{array}{ccccc}
 +
I_1 & : &
 +
\operatorname{true}\ \operatorname{or}\ \operatorname{true} & = &
 +
\operatorname{true} \\
 +
I_2 & : &
 +
\operatorname{not}\ \operatorname{true}\ & = &
 +
\operatorname{false} \\
 +
J_1 & : &
 +
a\ \operatorname{or}\ \operatorname{not}\ a & = &
 +
\operatorname{true} \\
 +
J_2 & : &
 +
(a\ \operatorname{or}\ b)\ \operatorname{and}\ (a\ \operatorname{or}\ c) & = &
 +
a\ \operatorname{or}\ (b\ \operatorname{and}\ c) \\
 +
\end{array}</math>
 +
|}
 +
 +
Another way of assigning logical meaning to the initial equations is known as the ''existential interpretation'' (EX).  Under EX, the axioms read as follows:
 +
 +
{| align="center" cellpadding="10"
 +
|
 +
<math>\begin{array}{ccccc}
 +
I_1 & : &
 +
\operatorname{false}\ \operatorname{and}\ \operatorname{false} & = &
 +
\operatorname{false} \\
 +
I_2 & : &
 +
\operatorname{not}\ \operatorname{false} & = &
 +
\operatorname{true} \\
 +
J_1 & : &
 +
a\ \operatorname{and}\ \operatorname{not}\ a & = &
 +
\operatorname{false} \\
 +
J_2 & : &
 +
(a\ \operatorname{and}\ b)\ \operatorname{or}\ (a\ \operatorname{and}\ c) & = &
 +
a\ \operatorname{and}\ (b\ \operatorname{or}\ c) \\
 +
\end{array}</math>
 +
|}
 +
 +
All of the axioms in this set have the form of equations.  This means that all of the inference steps that they allow are reversible.  The proof annotation scheme employed below makes use of a double bar <math>\overline{\underline{~~~~~~}}</math> to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.
 +
 +
===Frequently used theorems===
 +
 +
The actual business of proof is a far more strategic affair than the simple cranking of inference rules might suggest.  Part of the reason for this lies in the circumstance that the usual brands of inference rules combine the moving forward of a state of inquiry with the losing of information along the way that doesn't appear to be immediately relevant, at least, not as viewed in the local focus and the short run of the moment to moment proceedings of the proof in question.  Over the long haul, this has the pernicious side-effect that one is forever strategically required to reconstruct much of the information that one had strategically thought to forget in earlier stages of the proof, if "before the proof started" can be counted as an earlier stage of the proof in view.
 +
 +
For this reason, among others, it is very instructive to study equational inference rules of the sort that our axioms have just provided.  Although equational forms of reasoning are paramount in mathematics, they are less familiar to the student of conventional logic textbooks, who may find a few surprises here.
 +
 +
By way of gaining a minimal experience with how equational proofs look in the present forms of syntax, let us examine the proofs of a few essential theorems in the primary algebra.
 +
 +
====C<sub>1</sub>. Double negation====
 +
 +
The first theorem goes under the names of ''Consequence&nbsp;1'' <math>(C_1)\!</math>, the ''double negation theorem'' (DNT), or ''Reflection''.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Double Negation 1.0 Splash Page.png|500px]] || (24)
 +
|}
 +
 +
The proof that follows is adapted from the one that was given by [[George Spencer Brown]] in his book ''Laws of Form'' (LOF) and credited to two of his students, John Dawes and D.A. Utting.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Double Negation 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference I2 Elicit (( )).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Insert (a).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J2 Distribute ((a)).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Delete (a).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 5.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Insert a.png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 6.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J2 Collect a.png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 7.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Delete ((a)).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 8.png|500px]]
 +
|-
 +
| [[Image:Equational Inference I2 Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Double Negation 1.0 Storyboard 9.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (25)
 +
|}
 +
 +
The steps of this proof are replayed in the following animation.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Double Negation 2.0 Animation.gif]]
 +
|}
 +
| (26)
 +
|}
 +
 +
====C<sub>2</sub>. Generation theorem====
 +
 +
One theorem of frequent use goes under the nickname of the ''weed and seed theorem'' (WAST).  The proof is just an exercise in mathematical induction, once a suitable basis is laid down, and it will be left as an exercise for the reader.  What the WAST says is that a label can be freely distributed or freely erased anywhere in a subtree whose root is labeled with that label.  The second in our list of frequently used theorems is in fact the base case of this weed and seed theorem.  In LOF, it goes by the names of ''Consequence&nbsp;2'' <math>(C_2)\!</math> or ''Generation''.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Generation Theorem 1.0 Splash Page.png|500px]] || (27)
 +
|}
 +
 +
Here is a proof of the Generation Theorem.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Generation Theorem 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference C1 Reflect a(b).png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference I2 Elicit (( )).png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Insert a.png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J2 Collect a.png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 5.png|500px]]
 +
|-
 +
| [[Image:Equational Inference C1 Reflect a, b.png|500px]]
 +
|-
 +
| [[Image:Generation Theorem 1.0 Storyboard 6.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (28)
 +
|}
 +
 +
The steps of this proof are replayed in the following animation.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Generation Theorem 2.0 Animation.gif]]
 +
|}
 +
| (29)
 +
|}
 +
 +
====C<sub>3</sub>. Dominant form theorem====
 +
 +
The third of the frequently used theorems of service to this survey is one that Spencer-Brown annotates as ''Consequence&nbsp;3'' <math>(C_3)\!</math> or ''Integration''.  A better mnemonic might be ''dominance and recession theorem'' (DART), but perhaps the brevity of ''dominant form theorem'' (DFT) is sufficient reminder of its double-edged role in proofs.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Dominant Form 1.0 Splash Page.png|500px]] || (30)
 +
|}
 +
 +
Here is a proof of the Dominant Form Theorem.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Dominant Form 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Dominant Form 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference C2 Regenerate a.png|500px]]
 +
|-
 +
| [[Image:Dominant Form 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference J1 Delete a.png|500px]]
 +
|-
 +
| [[Image:Dominant Form 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (31)
 +
|}
 +
 +
The following animation provides an instant re*play.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Dominant Form 2.0 Animation.gif]]
 +
|}
 +
| (32)
 +
|}
 +
 +
===Exemplary proofs===
 +
 +
Based on the axioms given at the outest, and aided by the theorems recorded so far, it is possible to prove a multitude of much more complex theorems.  A couple of all-time favorites are given next.
 +
 +
====Peirce's law====
 +
 +
: ''Main article'' : [[Peirce's law]]
 +
 +
Peirce's law is commonly written in the following form:
 +
 +
{| align="center" cellpadding="10"
 +
| <math>((p \Rightarrow q) \Rightarrow p) \Rightarrow p</math>
 +
|}
 +
 +
The existential graph representation of Peirce's law is shown in Figure&nbsp;33.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (33)
 +
|}
 +
 +
A graphical proof of Peirce's law is shown in Figure&nbsp;34.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Peirce's Law 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Band Collect p.png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Band Quit ((q)).png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Band Delete p.png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 5.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Peirce's Law 1.0 Storyboard 6.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (34)
 +
|}
 +
 +
The following animation replays the steps of the proof.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Peirce's Law 2.0 Animation.gif]]
 +
|}
 +
| (35)
 +
|}
 +
 +
====Praeclarum theorema====
 +
 +
An illustrious example of a propositional theorem is the ''praeclarum theorema'', the ''admirable'', ''shining'', or ''splendid'' theorem of [[Leibniz]].
 +
 +
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
 +
|
 +
<p>If ''a'' is ''b'' and ''d'' is ''c'', then ''ad'' will be ''bc''.</p>
 +
 +
<p>This is a fine theorem, which is proved in this way:</p>
 +
 +
<p>''a'' is ''b'', therefore ''ad'' is ''bd'' (by what precedes),</p>
 +
 +
<p>''d'' is ''c'', therefore ''bd'' is ''bc'' (again by what precedes),</p>
 +
 +
<p>''ad'' is ''bd'', and ''bd'' is ''bc'', therefore ''ad'' is ''bc''.  Q.E.D.</p>
 +
 +
<p>(Leibniz, ''Logical Papers'', p. 41).</p>
 +
|}
 +
 +
Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.
 +
 +
{| align="center" cellpadding="10"
 +
| [[Image:Praeclarum Theorema 1.0 Splash Page.png|500px]] || (36)
 +
|}
 +
 +
And here's a neat proof of that nice theorem.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Reflect ad(bc).png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Weed a, d.png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Reflect b, c.png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Weed bc.png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 5.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Quit abcd.png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 6.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Praeclarum Theorema 1.0 Storyboard 7.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (37)
 +
|}
 +
 +
The steps of the proof are replayed in the following animation.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Praeclarum Theorema 2.0 Animation.gif]]
 +
|}
 +
| (38)
 +
|}
 +
 +
====Two-thirds majority function====
 +
 +
Consider the following equation in boolean algebra, posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question problem for proof] at [http://mathoverflow.net/ MathOverFlow].
 +
 +
{| align="center" cellpadding="20"
 +
|
 +
<math>\begin{matrix}
 +
a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c
 +
\\[6pt]
 +
\iff
 +
\\[6pt]
 +
a b + a c + b c
 +
\end{matrix}</math>
 +
| &nbsp;&nbsp;&nbsp;&nbsp;
 +
|}
 +
 +
The required equation can be proven in the medium of logical graphs as shown in the following Figure.
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Reflect ab, ac, bc.png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Distribute (abc).png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Collect ab, ac, bc.png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Quit (a), (b), (c).png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Weed ab, ac, bc.png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Delete a, b, c.png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Banner QED.png|500px]]
 +
|}
 +
| (39)
 +
|}
 +
 +
Here's an animated recap of the graphical transformations that occur in the above proof:
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
 +
|}
 +
| (40)
 +
|}
 +
 +
==Bibliography==
 +
 +
* [[Gottfried Leibniz|Leibniz, G.W.]] (1679&ndash;1686 ?), "Addenda to the Specimen of the Universal Calculus", pp. 40&ndash;46 in G.H.R. Parkinson (ed. and trans., 1966), ''Leibniz : Logical Papers'', Oxford University Press, London, UK.
 +
 +
* [[Charles Peirce (Bibliography)|Peirce, C.S., Bibliography]].
 +
 +
* [[Charles Peirce|Peirce, C.S.]] (1931&ndash;1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1&ndash;6, [[Charles Hartshorne]] and [[Paul Weiss]] (eds.), vols. 7&ndash;8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA.  Cited as (CP&nbsp;volume.paragraph).
 +
 +
* Peirce, C.S. (1981&ndash;), ''Writings of Charles S. Peirce : A Chronological Edition'', [[Peirce Edition Project]] (eds.), Indiana University Press, Bloomington and Indianopolis, IN.  Cited as (CE&nbsp;volume, page).
 +
 +
* Peirce, C.S. (1885), "On the Algebra of Logic : A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180&ndash;202.  Reprinted as CP&nbsp;3.359&ndash;403 and CE&nbsp;5, 162&ndash;190.
 +
 +
* Peirce, C.S. (''c.'' 1886), "Qualitative Logic", MS 736.  Published as pp. 101&ndash;115 in Carolyn Eisele (ed., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.
 +
 +
* Peirce, C.S. (1886 a), "Qualitative Logic", MS 582.  Published as pp. 323&ndash;371 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884&ndash;1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
 +
 +
* Peirce, C.S. (1886 b), "The Logic of Relatives : Qualitative and Quantitative", MS 584.  Published as pp. 372&ndash;378 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884&ndash;1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
 +
 +
* [[George Spencer Brown|Spencer Brown, George]] (1969), ''[[Laws of Form]]'', George Allen and Unwin, London, UK.
 +
 +
==Resources==
 +
 +
* [http://planetmath.org/ PlanetMath]
 +
** [http://planetmath.org/encyclopedia/LogicalGraph.html Logical Graph : Introduction]
 +
** [http://planetmath.org/encyclopedia/LogicalGraphFormalDevelopment.html Logical Graph : Formal Development]
 +
 +
* Bergman and Paavola (eds.), [http://www.helsinki.fi/science/commens/dictionary.html Commens Dictionary of Peirce's Terms]
 +
** [http://www.helsinki.fi/science/commens/terms/graphexis.html Existential Graph]
 +
** [http://www.helsinki.fi/science/commens/terms/graphlogi.html Logical Graph]
 +
 +
* [http://dr-dau.net/index.shtml Dau, Frithjof]
 +
** [http://dr-dau.net/eg_readings.shtml Peirce's Existential Graphs : Readings and Links]
 +
** [http://dr-dau.net/pc.shtml Existential Graphs as Moving Pictures of Thought] &mdash; Computer Animated Proof of Leibniz's Praeclarum Theorema
 +
 +
* [http://www.math.uic.edu/~kauffman/ Kauffman, Louis H.]
 +
** [http://www.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form]
 +
 +
* [http://mathworld.wolfram.com/ MathWorld : A Wolfram Web Resource]
 +
** [http://mathworld.wolfram.com/about/author.html Weisstein, Eric W.], [http://mathworld.wolfram.com/Spencer-BrownForm.html Spencer-Brown Form]
 +
 +
* Shoup, Richard (ed.), [http://www.lawsofform.org/ Laws of Form Web Site]
 +
** Spencer-Brown, George (1973), [http://www.lawsofform.org/aum/session1.html Transcript Session One], [http://www.lawsofform.org/aum/ AUM Conference], Esalen, CA.
 +
 +
==Translations==
 +
 +
* [http://pt.wikipedia.org/wiki/Grafo_l%C3%B3gico Grafo lógico], [http://pt.wikipedia.org/ Portuguese Wikipedia].
 +
 +
==Syllabus==
 +
 +
===Focal nodes===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Inquiry Live]]
 +
{{col-break}}
 +
* [[Logic Live]]
 +
{{col-end}}
 +
 +
===Peer nodes===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [http://mywikibiz.com/Logical_graph Logical Graph @ MyWikiBiz]
 +
* [http://mathweb.org/wiki/Logical_graph Logical Graph @ MathWeb Wiki]
 +
* [http://netknowledge.org/wiki/Logical_graph Logical Graph @ NetKnowledge]
 +
{{col-break}}
 +
* [http://wiki.oercommons.org/mediawiki/index.php/Logical_graph Logical Graph @ OER Commons]
 +
* [http://p2pfoundation.net/Logical_Graph Logical Graph @ P2P Foundation]
 +
* [http://semanticweb.org/wiki/Logical_graph Logical Graph @ SemanticWeb]
 +
{{col-end}}
 +
 +
===Logical operators===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Exclusive disjunction]]
 +
* [[Logical conjunction]]
 +
* [[Logical disjunction]]
 +
* [[Logical equality]]
 +
{{col-break}}
 +
* [[Logical implication]]
 +
* [[Logical NAND]]
 +
* [[Logical NNOR]]
 +
* [[Logical negation|Negation]]
 +
{{col-end}}
 +
 +
===Related topics===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Ampheck]]
 +
* [[Boolean domain]]
 +
* [[Boolean function]]
 +
* [[Boolean-valued function]]
 +
* [[Differential logic]]
 +
{{col-break}}
 +
* [[Logical graph]]
 +
* [[Minimal negation operator]]
 +
* [[Multigrade operator]]
 +
* [[Parametric operator]]
 +
* [[Peirce's law]]
 +
{{col-break}}
 +
* [[Propositional calculus]]
 +
* [[Sole sufficient operator]]
 +
* [[Truth table]]
 +
* [[Universe of discourse]]
 +
* [[Zeroth order logic]]
 +
{{col-end}}
 +
 +
===Relational concepts===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Continuous predicate]]
 +
* [[Hypostatic abstraction]]
 +
* [[Logic of relatives]]
 +
* [[Logical matrix]]
 +
{{col-break}}
 +
* [[Relation (mathematics)|Relation]]
 +
* [[Relation composition]]
 +
* [[Relation construction]]
 +
* [[Relation reduction]]
 +
{{col-break}}
 +
* [[Relation theory]]
 +
* [[Relative term]]
 +
* [[Sign relation]]
 +
* [[Triadic relation]]
 +
{{col-end}}
 +
 +
===Information, Inquiry===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Inquiry]]
 +
* [[Logic of information]]
 +
{{col-break}}
 +
* [[Descriptive science]]
 +
* [[Normative science]]
 +
{{col-break}}
 +
* [[Pragmatic maxim]]
 +
* [[Pragmatic theory of truth]]
 +
{{col-break}}
 +
* [[Semeiotic]]
 +
* [[Semiotic information]]
 +
{{col-end}}
 +
 +
===Related articles===
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
 +
 +
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
 +
 +
==Document history==
 +
 +
Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [http://mywikibiz.com/Logical_graph Logical Graph], [http://mywikibiz.com/ MyWikiBiz]
 +
* [http://mathweb.org/wiki/Logical_graph Logical Graph], [http://mathweb.org/wiki/ MathWeb Wiki]
 +
* [http://netknowledge.org/wiki/Logical_graph Logical Graph], [http://netknowledge.org/ NetKnowledge]
 +
* [http://p2pfoundation.net/Logical_Graph Logical Graph], [http://p2pfoundation.net/ P2P Foundation]
 +
* [http://semanticweb.org/wiki/Logical_graph Logical Graph], [http://semanticweb.org/ Semantic Web]
 +
{{col-break}}
 +
* [http://proofwiki.org/wiki/Definition:Logical_Graph Logical Graph], [http://proofwiki.org/ ProofWiki]
 +
* [http://planetmath.org/encyclopedia/LogicalGraph.html Logical Graph : 1], [http://planetmath.org/ PlanetMath]
 +
* [http://planetmath.org/encyclopedia/LogicalGraphFormalDevelopment.html Logical Graph : 2], [http://planetmath.org/ PlanetMath]
 +
* [http://knol.google.com/k/logical-graphs-1 Logical Graph : 1], [http://knol.google.com/ Google Knol]
 +
* [http://knol.google.com/k/logical-graphs-2 Logical Graph : 2], [http://knol.google.com/ Google Knol]
 +
{{col-break}}
 +
* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph], [http://beta.wikiversity.org/ Wikiversity Beta]
 +
* [http://getwiki.net/-Logical_Graph Logical Graph], [http://getwiki.net/ GetWiki]
 +
* [http://wikinfo.org/index.php/Logical_graph Logical Graph], [http://wikinfo.org/ Wikinfo]
 +
* [http://textop.org/wiki/index.php?title=Logical_graph Logical Graph], [http://textop.org/wiki/ Textop Wiki]
 +
* [http://en.wikipedia.org/wiki/Logical_graph Logical Graph], [http://en.wikipedia.org/ Wikipedia]
 +
{{col-end}}
 +
 +
<br><sharethis />
 +
 +
[[Category:Inquiry]]
 +
[[Category:Open Educational Resource]]
 +
[[Category:Peer Educational Resource]]
 +
[[Category:Artificial Intelligence]]
 +
[[Category:Combinatorics]]
 +
[[Category:Computer Science]]
 +
[[Category:Cybernetics]]
 +
[[Category:Equational Reasoning]]
 +
[[Category:Formal Languages]]
 +
[[Category:Formal Systems]]
 +
[[Category:Graph Theory]]
 +
[[Category:History of Logic]]
 +
[[Category:History of Mathematics]]
 +
[[Category:Knowledge Representation]]
 +
[[Category:Logic]]
 +
[[Category:Logical Graphs]]
 +
[[Category:Mathematics]]
 +
[[Category:Philosophy]]
 +
[[Category:Semiotics]]
 +
[[Category:Visualization]]
 +
</pre>

Revision as of 17:34, 22 May 2010

User:OmniMediaGroup/Archive 2007

Question About Interwikis

JA: I copied our article on Inquiry over to the P2P Foundation Wiki, so it looks like this over there and I asked the Chief Cook there, Michel Bauwens, if he could make a Mywikibiz interwiki to cover the resulting redlinks, but he didn't know how to do that, so I was wondering if it was something that was simple enough to explain to him? TIA, Jon Awbrey 12:38, 17 January 2008 (PST)

This looks to be quite complicated, involving scripts to the database. I'll keep researching hoping to discover a more simplified explanation than here --OmniMediaGroup 13:31, 17 January 2008 (PST)

Question About RDF Export

JA: I don't know anything about RDF, but I notice that our RDF Export pages come up a lot on Google searches before anything else does. However, they all seem to contain a lot of references to Centiare URLs, so I was wondering if this was a problem from a SEO standpoint. For example, see:

JA: Thanks, Jon Awbrey 13:38, 20 January 2008 (PST)

Thanks for bringing this SEO problem to my attention. I'll see if I can fix this in the semantic settings file that I previously overlooked. --OmniMediaGroup 14:04, 20 January 2008 (PST)

All fixed, thanks JA. --OmniMediaGroup 15:04, 20 January 2008 (PST)

Best format for semantic dates

I'm going to be compiling about 8 or 10 semantic attributes on the airline disasters:

  1. Aircraft type
  2. Airline
  3. State (where crash occurred)
  4. Nearest airport
  5. Cause (Air traffic control, Weather, Wildlife, Mechanical flaw, Instrument failure, Hijacking, Pilot error, Military engagement)
  6. Passengers (including crew)
  7. Fatalities
  8. Survivors
  9. Date

That last one, I'm curious to get your opinion. What's the best way to format the date so that it can be properly sorted in an ASK query table? Should I just go with year? I don't want the table sorting all the January dates, then the February dates, etc. -- MyWikiBiz 07:04, 8 April 2008 (PDT)

I'd say go with YYYY-MM-DD as show on Attribute:Date --OmniMediaGroup 09:08, 8 April 2008 (PDT)

Question About Google Ad Placement

Hi Karen, I just got off the phone with your brother Greg. He mentioned to me that I should ask you about google ads. I tried to copy and paste the code that google spit out on my page but it does not work, so I just used the template already in the page and then added my pub number to it. How do I place ads n my page the way google intended? They have some really neat ad types that I would love to incorporate. Thanks! I am new to this type of coding, so its taking me a bit of time to get used to how it all works! Thanks so much in advance!

--Followfocus

For reply User_talk:Followfocus

One for RSS fun

An edit summary for the RSS feeds. - MyWikiBiz 14:51, 17 May 2008 (PDT)

Something fishy about the AOL Hot Searches

Comment over here. Didn't want you to miss it. - MyWikiBiz 12:51, 24 June 2008 (PDT)

Interesting

Hi, I replied to your post on my politics talk page. I must say I am impressed with http://mywikibiz.googlepages.com/mywikibizshow.html, you mean we are allowed to post business linx here? How did you get googlepage link and i see some have special in theyr mywikibizs link, what biz are you into? Are youc computer programmer of know of some good ones with C language? Any advertisement here ok? So both you and your bro are the owners? Wikipedia has no freedom, your biz will grow if you allow fine contributors more control over pages they created, how about starting mywikibiz in Spanish? We have many ideas, seldom fail, if properly approached...BoxingWear 13:58, 17 October 2008 (PDT)

Could you please clear one deletion log from your March 22 2009 archive?

It lists the name "if the name is ???xxx??? don't use it here, it will get crawled by Google", the name of my client in which he wishes his name have nothing to do with this site. And when you google his name, the Washington and Wisconsin archive lists his name. After you fulfill this request, I kindly ask that you erase his name from this post as well. Thank you.

Got you covered --OmniMediaGroup 07:56, 8 April 2009 (PDT)

Oh, actually it's on the 21 March 2009 archive of the Washington and Wisconsin archive

Typo on the date. Is it cleared alraedy by the way? I'm guessing Google cache would no longer crawl it eventually.

It's still listed in the Wisconsin archive and crawled by Google.

Kindly delete it from the Wisconsin archive. Please and thank you.

Photography Article

HI OmniMediaGroup! Just pop in to say that I would love to expand thePhotography Article sometime in the near future. It would be probably this weekend, if thats fine with you-OmniMediaGroup. Thanks Peter Z. 19:29, 28 September 2009 (PDT)

Excellent! It's fine with me Peter Z. --OmniMediaGroup 09:17, 29 September 2009 (PDT)

Sarey Savy

I'm trying to promote an artist and this artist's my wikibiz is on the second how can i make it at least on the first page on google? It's linked everywhere i go it's linked to Mywikibiz and yet it's on the second page and it sucks!!! Please help me? (Michael Chen 17:12, 24 February 2010 (PST))

I made a few changes to the article, adding feeds for fresh content for the Google spiders. Give it a few days. MyWikibiz's "recent changes" are on Google's FeedBurner. Every time an article has an edit, Google re-indexes the page. --OmniMediaGroup 10:07, 25 February 2010 (PST)

Must the article be editted constantly to stay on google's pages? Plus, thanks for contributing! (Michael Chen 06:30, 26 February 2010 (PST))

Title recoding during recent server move?

It looks like the article titled

Directory:Jon Awbrey/Papers/Information = Comprehension × Extension

got recoded as

Directory:Jon Awbrey/Papers/Information = Comprehension × Extension

during the recent server move.

I tried to fix it with a redirect, but it's still causing problems with links I've placed at other sites. It looks like the original code is still a valid title here, so maybe the page could just be moved back to that? Jon Awbrey 19:18, 21 May 2010 (UTC)

Jon, could you give us an example of a link placed at another site that doesn't "work" when clicked over to here? I've tried both of your links above, and they both work -- one on its own merit, and the other as a redirect. -- MyWikiBiz 19:42, 21 May 2010 (UTC)

For instance, some sites and discussion lists force me to use the alias:

But the recent recoding puts a kink in the redirect from that. And I keep finding similar variants that I have to fix one by one. I can't change the links on email posts because those are fixed forever. Just seems like it would be easier to move the page back where it was, since that's still a valid title here, I think. Jon Awbrey 19:54, 21 May 2010 (UTC)

Lost Article

My last attempt to edit the logical graph article resulted in a blank page and it won't let me edit again. Jon Awbrey 04:20, 22 May 2010 (UTC)

I think we got the page back minus edits. Greg will be talking to the wiki expert soon to discuss some of these long page edit issues. I believe it has something to do with the page log compression. --OmniMediaGroup 17:24, 22 May 2010 (UTC)
The page came back but when I tried to edit a small section it goes blank again in the middle of the <action=submit> command. The aborted edit gets logged in my contrib history but not in recent changes. Jon Awbrey 17:30, 22 May 2010 (UTC)
For safe keeping
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]]  and [[Inquiry Live|Inquiry]].

A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce Charles Sanders Peirce] developed for [[logic]].

In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.

In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.  This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.

==Abstract point of view==

{| width="100%" cellpadding="2" cellspacing="0"
| width="60%" |  
| width="40%" | ''Wollust ward dem Wurm gegeben …''
|-
|  
| align="right" | — Friedrich Schiller, ''An die Freude''
|}

The bird's eye view in question is more formally known as the perspective of formal equivalence, from which remove one cannot see many distinctions that appear momentous from lower levels of abstraction.  In particular, expressions of different formalisms whose syntactic structures are [[isomorphic]] from the standpoint of [[algebra]] or [[topology]] are not recognized as being different from each other in any significant sense.  Though we may note in passing such historical details as the circumstance that Charles Sanders Peirce used a ''streamer-cross symbol'' where [[George Spencer Brown]] used a ''carpenter's square marker'', the theme of principal interest at the abstract level of form is neutral with regard to variations of that order.

==In lieu of a beginning==

Consider the formal equations indicated in Figures 1 and 2.

{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:Logical_Graph_Figure_1_Visible_Frame.jpg|500px]] || (1)
|-
| [[Image:Logical_Graph_Figure_2_Visible_Frame.jpg|500px]] || (2)
|}

For the time being these two forms of transformation may be referred to as ''[[axioms]]'' or ''initial equations''.

==Duality : logical and topological==

There are two types of duality that have to be kept separately mind in the use of logical graphs — logical duality and topological duality.

There is a standard way that graphs of the order that Peirce considered, those embedded in a continuous [[manifold]] like that commonly represented by a plane sheet of paper — with or without the paper bridges that Peirce used to augment its topological genus — can be represented in linear text as what are called ''parse strings'' or ''traversal strings'' and parsed into ''pointer structures'' in computer memory.

A blank sheet of paper can be represented in linear text as a blank space, but that way of doing it tends to be confusing unless the logical expression under consideration is set off in a separate display.

For example, consider the axiom or initial equation that is shown below:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_3_Visible_Frame.jpg|500px]] || (3)
|}

This can be written inline as \({}^{\backprime\backprime} \texttt{(~(~)~)} = \quad {}^{\prime\prime}\) or set off in a text display as follows:

{| align="center" cellpadding="10"
| width="33%" | \(\texttt{(~(~)~)}\)
| width="34%" | \(=\!\)
| width="33%" |  
|}

When we turn to representing the corresponding expressions in computer memory, where they can be manipulated with utmost facility, we begin by transforming the planar graphs into their topological duals.  The planar regions of the original graph correspond to nodes (or points) of the [[dual graph]], and the boundaries between planar regions in the original graph correspond to edges (or lines) between the nodes of the dual graph.

For example, overlaying the corresponding dual graphs on the plane-embedded graphs shown above, we get the following composite picture:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_4_Visible_Frame.jpg|500px]] || (4)
|}

Though it's not really there in the most abstract topology of the matter, for all sorts of pragmatic reasons we find ourselves compelled to single out the outermost region of the plane in a distinctive way and to mark it as the ''[[root node]]'' of the corresponding dual graph.  In the present style of Figure the root nodes are marked by horizontal strike-throughs.

Extracting the dual graphs from their composite matrices, we get this picture:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_5_Visible_Frame.jpg|500px]] || (5)
|}

It is easy to see the relationship between the parenthetical expressions of Peirce's logical graphs, that somewhat clippedly picture the ordered containments of their formal contents, and the associated dual graphs, that constitute the species of [[rooted tree]]s here to be described.

In the case of our last example, a moment's contemplation of the following picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree until we reach the top, then climbing back down the right side of the tree until we return to the root, all the while reading off the symbols, in this case either \({}^{\backprime\backprime} \texttt{(} {}^{\prime\prime}\) or \({}^{\backprime\backprime} \texttt{)} {}^{\prime\prime},\) that we happen to encounter in our travels.

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_6_Visible_Frame.jpg|500px]] || (6)
|}

This ritual is called ''[[traversing]]'' the tree, and the string read off is called the ''[[traversal string]]'' of the tree.  The reverse ritual, that passes from the string to the tree, is called ''[[parsing]]'' the string, and the tree constructed is called the ''[[parse graph]]'' of the string.  The speakers thereof tend to be a bit loose in this language, often using ''[[parse string]]'' to mean the string that gets parsed into the associated graph.

We have treated in some detail various forms of the initial equation or logical axiom that is formulated in string form as \({}^{\backprime\backprime} \texttt{(~(~)~)} = \quad {}^{\prime\prime}.\)  For the sake of comparison, let's record the plane-embedded and topological dual forms of the axiom that is formulated in string form as \({}^{\backprime\backprime} \texttt{(~)(~)} = \texttt{(~)} {}^{\prime\prime}.\)

First the plane-embedded maps:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_7_Visible_Frame.jpg|500px]] || (7)
|}

Next the plane-embedded maps and their dual trees superimposed:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_8_Visible_Frame.jpg|500px]] || (8)
|}

Finally the dual trees by themselves:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_9_Visible_Frame.jpg|500px]] || (9)
|}

And here are the parse trees with their traversal strings indicated:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_10_Visible_Frame.jpg|500px]] || (10)
|}

We have at this point enough material to begin thinking about the forms of [[analogy]], [[iconicity]], [[metaphor]], [[morphism]], whatever you want to call them, that are pertinent to the use of logical graphs in their various logical interpretations, for instance, those that Peirce described as ''[[entitative graph]]s'' and ''[[existential graph]]s''.

==Computational representation==

The parse graphs that we've been looking at so far bring us one step closer to the pointer graphs that it takes to make these maps and trees live in computer memory, but they are still a couple of steps too abstract to detail the concrete species of dynamic data structures that we need.  The time has come to flesh out the skeletons that we've drawn up to this point.

Nodes in a graph represent ''records'' in computer memory.  A record is a collection of data that can be conceived to reside at a specific ''address''.  The address of a record is analogous to a demonstrative pronoun, on which account programmers commonly describe it as a ''pointer'' and semioticians recognize it as a type of sign called an ''index''.

At the next level of concreteness, a pointer-record structure is represented as follows:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_11_Visible_Frame.jpg|500px]] || (11)
|}

This portrays the pointer \(\mathit{index}_0\!\) as the address of a record that contains the following data:

{| align="center" cellpadding="10"
| \(\mathit{datum}_1, \mathit{datum}_2, \mathit{datum}_3, \ldots,\!\) and so on.
|}

What makes it possible to represent graph-theoretical structures as data structures in computer memory is the fact that an address is just another datum, and so we may have a state of affairs like the following:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_12_Visible_Frame.jpg|500px]] || (12)
|}

Returning to the abstract level, it takes three nodes to represent the three data records illustrated above:  one root node connected to a couple of adjacent nodes.  The items of data that do not point any further up the tree are then treated as labels on the record-nodes where they reside, as shown below:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_13_Visible_Frame.jpg|500px]] || (13)
|}

Notice that drawing the arrows is optional with rooted trees like these, since singling out a unique node as the root induces a unique orientation on all the edges of the tree, with ''up'' being the same direction as ''away from the root''.

==Quick tour of the neighborhood==

This much preparation allows us to take up the founding axioms or initial equations that determine the entire system of logical graphs.

===Primary arithmetic as semiotic system===

Though it may not seem too exciting, logically speaking, there are many reasons to make oneself at home with the system of forms that is represented indifferently, topologically speaking, by rooted trees, balanced strings of parentheses, or finite sets of non-intersecting simple closed curves in the plane.

:* One reason is that it gives us a respectable example of a sign domain on which to cut our semiotic teeth, non-trivial in the sense that it contains a [[countable]] [[infinity]] of signs.

:* Another reason is that it allows us to study a simple form of [[computation]] that is recognizable as a species of ''[[semiosis]]'', or sign-transforming process.

This space of forms, along with the two axioms that induce its [[partition of a set|partition]] into exactly two [[equivalence class]]es, is what [[George Spencer Brown]] called the ''primary arithmetic''.

The axioms of the primary arithmetic are shown below, as they appear in both graph and string forms, along with pairs of names that come in handy for referring to the two opposing directions of applying the axioms.

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]] || (14)
|-
| [[Image:Logical_Graph_Figure_15_Banner.jpg|500px]] || (15)
|}

Let \(S\!\) be the set of rooted trees and let \(S_0\!\) be the 2-element subset of \(S\!\) that consists of a rooted node and a rooted edge.

{| align="center" cellpadding="10" style="text-align:center"
| \(S\!\)
| \(=\!\)
| \(\{ \text{rooted trees} \}\!\)
|-
| \(S_0\!\)
| \(=\!\)
| \(\{ \ominus, \vert \} = \{\)[[Image:Rooted Node.jpg|16px]], [[Image:Rooted Edge.jpg|12px]]\(\}\!\)
|}

Simple intuition, or a simple inductive proof, assures us that any rooted tree can be reduced by way of the arithmetic initials either to a root node [[Image:Rooted Node.jpg|16px]] or else to a rooted edge [[Image:Rooted Edge.jpg|12px]] .

For example, consider the reduction that proceeds as follows:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_16.jpg|500px]] || (16)
|}

Regarded as a semiotic process, this amounts to a sequence of signs, every one after the first serving as the ''[[interpretant]]'' of its predecessor, ending in a final sign that may be taken as the canonical sign for their common object, in the upshot being the result of the computation process.  Simple as it is, this exhibits the main features of any computation, namely, a semiotic process that proceeds from an obscure sign to a clear sign of the same object, being in its aim and effect an action on behalf of clarification.

===Primary algebra as pattern calculus===

Experience teaches that complex objects are best approached in a gradual, laminar, [[module|modular]] fashion, one step, one layer, one piece at a time, and it's just as much the case when the complexity of the object is irreducible, that is, when the articulations of the representation are necessarily at joints that are cloven disjointedly from nature, with some assembly required in the synthetic integrity of the intuition.

That's one good reason for spending so much time on the first half of [[zeroth order logic]], represented here by the primary arithmetic, a level of formal structure that C.S. Peirce verged on intuiting at numerous points and times in his work on logical graphs, and that Spencer Brown named and brought more completely to life.

There is one other reason for lingering a while longer in these primitive forests, and this is that an acquaintance with "bare trees", those as yet unadorned with literal or numerical labels, will provide a firm basis for understanding what's really at issue in such problems as the "ontological status of variables".

It is probably best to illustrate this theme in the setting of a concrete case, which we can do by reviewing the previous example of reductive evaluation shown in Figure 16.

The observation of several ''semioses'', or sign-transformations, of roughly this shape will most likely lead an observer with any observational facility whatever to notice that it doesn't really matter what sorts of branches happen to sprout from the side of the root aside from the lone edge that also grows there — the end result will always be the same.

Our observer might think to summarize the results of many such observations by introducing a label or variable to signify any shape of branch whatever, writing something like the following:

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_17.jpg|500px]] || (17)
|}

Observations like that, made about an arithmetic of any variety, germinated by their summarizations, are the root of all algebra.

Speaking of algebra, and having encountered already one example of an algebraic law, we might as well introduce the axioms of the ''primary algebra'', once again deriving their substance and their name from the works of [[Charles Sanders Peirce]] and [[George Spencer Brown]], respectively.

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_18.jpg|500px]] || (18)
|-
| [[Image:Logical_Graph_Figure_19.jpg|500px]] || (19)
|}

The choice of axioms for any formal system is to some degree a matter of aesthetics, as it is commonly the case that many different selections of formal rules will serve as axioms to derive all the rest as theorems.  As it happens, the example of an algebraic law that we noticed first, \(a(~) = (~),\) as simple as it appears, proves to be provable as a theorem on the grounds of the foregoing axioms.

We might also notice at this point a subtle difference between the primary arithmetic and the primary algebra with respect to the grounds of justification that we have naturally if tacitly adopted for their respective sets of axioms.

The arithmetic axioms were introduced by fiat, in a quasi-[[apriori]] fashion, though of course it is only long prior experience with the practical uses of comparably developed generations of formal systems that would actually induce us to such a quasi-primal move.  The algebraic axioms, in contrast, can be seen to derive their motive and their justice from the observation and summarization of patterns that are visible in the arithmetic spectrum.

==Formal development==

What precedes this point is intended as an informal introduction to the axioms of the primary arithmetic and primary algebra, and hopefully provides the reader with an intuitive sense of their motivation and rationale.

The next order of business is to give the exact forms of the axioms that are used in the following more formal development, devolving from Peirce's various systems of logical graphs via Spencer-Brown's ''Laws of Form'' (LOF).  In formal proofs, a variation of the annotation scheme from LOF will be used to mark each step of the proof according to which axiom, or ''initial'', is being invoked to justify the corresponding step of syntactic transformation, whether it applies to graphs or to strings.

===Axioms===

The axioms are just four in number, divided into the ''arithmetic initials'', \(I_1\!\) and \(I_2,\!\) and the ''algebraic initials'', \(J_1\!\) and \(J_2.\!\)

{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_20.jpg|500px]] || (20)
|-
| [[Image:Logical_Graph_Figure_21.jpg|500px]] || (21)
|-
| [[Image:Logical_Graph_Figure_22.jpg|500px]] || (22)
|-
| [[Image:Logical_Graph_Figure_23.jpg|500px]] || (23)
|}

One way of assigning logical meaning to the initial equations is known as the ''entitative interpretation'' (EN).  Under EN, the axioms read as follows:

{| align="center" cellpadding="10"
|
\(\begin{array}{ccccc}
I_1 & : &
\operatorname{true}\ \operatorname{or}\ \operatorname{true} & = &
\operatorname{true} \\
I_2 & : &
\operatorname{not}\ \operatorname{true}\ & = &
\operatorname{false} \\
J_1 & : &
a\ \operatorname{or}\ \operatorname{not}\ a & = &
\operatorname{true} \\
J_2 & : &
(a\ \operatorname{or}\ b)\ \operatorname{and}\ (a\ \operatorname{or}\ c) & = &
a\ \operatorname{or}\ (b\ \operatorname{and}\ c) \\
\end{array}\)
|}

Another way of assigning logical meaning to the initial equations is known as the ''existential interpretation'' (EX).  Under EX, the axioms read as follows:

{| align="center" cellpadding="10"
|
\(\begin{array}{ccccc}
I_1 & : &
\operatorname{false}\ \operatorname{and}\ \operatorname{false} & = &
\operatorname{false} \\
I_2 & : &
\operatorname{not}\ \operatorname{false} & = &
\operatorname{true} \\
J_1 & : &
a\ \operatorname{and}\ \operatorname{not}\ a & = &
\operatorname{false} \\
J_2 & : &
(a\ \operatorname{and}\ b)\ \operatorname{or}\ (a\ \operatorname{and}\ c) & = &
a\ \operatorname{and}\ (b\ \operatorname{or}\ c) \\
\end{array}\)
|}

All of the axioms in this set have the form of equations.  This means that all of the inference steps that they allow are reversible.  The proof annotation scheme employed below makes use of a double bar \(\overline{\underline{~~~~~~}}\) to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.

===Frequently used theorems===

The actual business of proof is a far more strategic affair than the simple cranking of inference rules might suggest.  Part of the reason for this lies in the circumstance that the usual brands of inference rules combine the moving forward of a state of inquiry with the losing of information along the way that doesn't appear to be immediately relevant, at least, not as viewed in the local focus and the short run of the moment to moment proceedings of the proof in question.  Over the long haul, this has the pernicious side-effect that one is forever strategically required to reconstruct much of the information that one had strategically thought to forget in earlier stages of the proof, if "before the proof started" can be counted as an earlier stage of the proof in view.

For this reason, among others, it is very instructive to study equational inference rules of the sort that our axioms have just provided.  Although equational forms of reasoning are paramount in mathematics, they are less familiar to the student of conventional logic textbooks, who may find a few surprises here.

By way of gaining a minimal experience with how equational proofs look in the present forms of syntax, let us examine the proofs of a few essential theorems in the primary algebra.

====C<sub>1</sub>. Double negation====

The first theorem goes under the names of ''Consequence 1'' \((C_1)\!\), the ''double negation theorem'' (DNT), or ''Reflection''.

{| align="center" cellpadding="10"
| [[Image:Double Negation 1.0 Splash Page.png|500px]] || (24)
|}

The proof that follows is adapted from the one that was given by [[George Spencer Brown]] in his book ''Laws of Form'' (LOF) and credited to two of his students, John Dawes and D.A. Utting.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Double Negation 1.0 Marquee Title.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference I2 Elicit (( )).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference J1 Insert (a).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference J2 Distribute ((a)).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference J1 Delete (a).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference J1 Insert a.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference J2 Collect a.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 7.png|500px]]
|-
| [[Image:Equational Inference J1 Delete ((a)).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 8.png|500px]]
|-
| [[Image:Equational Inference I2 Cancel (( )).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 9.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (25)
|}

The steps of this proof are replayed in the following animation.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Double Negation 2.0 Animation.gif]]
|}
| (26)
|}

====C<sub>2</sub>. Generation theorem====

One theorem of frequent use goes under the nickname of the ''weed and seed theorem'' (WAST).  The proof is just an exercise in mathematical induction, once a suitable basis is laid down, and it will be left as an exercise for the reader.  What the WAST says is that a label can be freely distributed or freely erased anywhere in a subtree whose root is labeled with that label.  The second in our list of frequently used theorems is in fact the base case of this weed and seed theorem.  In LOF, it goes by the names of ''Consequence 2'' \((C_2)\!\) or ''Generation''.

{| align="center" cellpadding="10"
| [[Image:Generation Theorem 1.0 Splash Page.png|500px]] || (27)
|}

Here is a proof of the Generation Theorem.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Generation Theorem 1.0 Marquee Title.png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference C1 Reflect a(b).png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference I2 Elicit (( )).png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference J1 Insert a.png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference J2 Collect a.png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference C1 Reflect a, b.png|500px]]
|-
| [[Image:Generation Theorem 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (28)
|}

The steps of this proof are replayed in the following animation.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Generation Theorem 2.0 Animation.gif]]
|}
| (29)
|}

====C<sub>3</sub>. Dominant form theorem====

The third of the frequently used theorems of service to this survey is one that Spencer-Brown annotates as ''Consequence 3'' \((C_3)\!\) or ''Integration''.  A better mnemonic might be ''dominance and recession theorem'' (DART), but perhaps the brevity of ''dominant form theorem'' (DFT) is sufficient reminder of its double-edged role in proofs.

{| align="center" cellpadding="10"
| [[Image:Dominant Form 1.0 Splash Page.png|500px]] || (30)
|}

Here is a proof of the Dominant Form Theorem.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Dominant Form 1.0 Marquee Title.png|500px]]
|-
| [[Image:Dominant Form 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference C2 Regenerate a.png|500px]]
|-
| [[Image:Dominant Form 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference J1 Delete a.png|500px]]
|-
| [[Image:Dominant Form 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (31)
|}

The following animation provides an instant re*play.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Dominant Form 2.0 Animation.gif]]
|}
| (32)
|}

===Exemplary proofs===

Based on the axioms given at the outest, and aided by the theorems recorded so far, it is possible to prove a multitude of much more complex theorems.  A couple of all-time favorites are given next.

====Peirce's law====

: ''Main article'' : [[Peirce's law]]

Peirce's law is commonly written in the following form:

{| align="center" cellpadding="10"
| \(((p \Rightarrow q) \Rightarrow p) \Rightarrow p\)
|}

The existential graph representation of Peirce's law is shown in Figure 33.

{| align="center" cellpadding="10"
| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (33)
|}

A graphical proof of Peirce's law is shown in Figure 34.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law 1.0 Marquee Title.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Band Collect p.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Band Quit ((q)).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Band Delete p.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (34)
|}

The following animation replays the steps of the proof.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law 2.0 Animation.gif]]
|}
| (35)
|}

====Praeclarum theorema====

An illustrious example of a propositional theorem is the ''praeclarum theorema'', the ''admirable'', ''shining'', or ''splendid'' theorem of [[Leibniz]].

{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
<p>If ''a'' is ''b'' and ''d'' is ''c'', then ''ad'' will be ''bc''.</p>

<p>This is a fine theorem, which is proved in this way:</p>

<p>''a'' is ''b'', therefore ''ad'' is ''bd'' (by what precedes),</p>

<p>''d'' is ''c'', therefore ''bd'' is ''bc'' (again by what precedes),</p>

<p>''ad'' is ''bd'', and ''bd'' is ''bc'', therefore ''ad'' is ''bc''.  Q.E.D.</p>

<p>(Leibniz, ''Logical Papers'', p. 41).</p>
|}

Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.

{| align="center" cellpadding="10"
| [[Image:Praeclarum Theorema 1.0 Splash Page.png|500px]] || (36)
|}

And here's a neat proof of that nice theorem.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Praeclarum Theorema 1.0 Marquee Title.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Rule Reflect ad(bc).png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Rule Weed a, d.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Rule Reflect b, c.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Rule Weed bc.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference Rule Quit abcd.png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Rule Cancel (( )).png|500px]]
|-
| [[Image:Praeclarum Theorema 1.0 Storyboard 7.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (37)
|}

The steps of the proof are replayed in the following animation.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Praeclarum Theorema 2.0 Animation.gif]]
|}
| (38)
|}

====Two-thirds majority function====

Consider the following equation in boolean algebra, posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question problem for proof] at [http://mathoverflow.net/ MathOverFlow].

{| align="center" cellpadding="20"
|
\(\begin{matrix}
a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c
\\[6pt]
\iff
\\[6pt]
a b + a c + b c
\end{matrix}\)
|     
|}

The required equation can be proven in the medium of logical graphs as shown in the following Figure.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Bar Reflect ab, ac, bc.png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Bar Distribute (abc).png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Bar Collect ab, ac, bc.png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Bar Quit (a), (b), (c).png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference Bar Cancel (( )).png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Bar Weed ab, ac, bc.png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png|500px]]
|-
| [[Image:Equational Inference Bar Delete a, b, c.png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png|500px]]
|-
| [[Image:Equational Inference Bar Cancel (( )).png|500px]]
|-
| [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png|500px]]
|-
| [[Image:Equational Inference Banner QED.png|500px]]
|}
| (39)
|}

Here's an animated recap of the graphical transformations that occur in the above proof:

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
|}
| (40)
|}

==Bibliography==

* [[Gottfried Leibniz|Leibniz, G.W.]] (1679–1686 ?), "Addenda to the Specimen of the Universal Calculus", pp. 40–46 in G.H.R. Parkinson (ed. and trans., 1966), ''Leibniz : Logical Papers'', Oxford University Press, London, UK.

* [[Charles Peirce (Bibliography)|Peirce, C.S., Bibliography]].

* [[Charles Peirce|Peirce, C.S.]] (1931–1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, [[Charles Hartshorne]] and [[Paul Weiss]] (eds.), vols. 7–8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA.  Cited as (CP volume.paragraph).

* Peirce, C.S. (1981–), ''Writings of Charles S. Peirce : A Chronological Edition'', [[Peirce Edition Project]] (eds.), Indiana University Press, Bloomington and Indianopolis, IN.  Cited as (CE volume, page).

* Peirce, C.S. (1885), "On the Algebra of Logic : A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180–202.  Reprinted as CP 3.359–403 and CE 5, 162–190.

* Peirce, C.S. (''c.'' 1886), "Qualitative Logic", MS 736.  Published as pp. 101–115 in Carolyn Eisele (ed., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.

* Peirce, C.S. (1886 a), "Qualitative Logic", MS 582.  Published as pp. 323–371 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* Peirce, C.S. (1886 b), "The Logic of Relatives : Qualitative and Quantitative", MS 584.  Published as pp. 372–378 in ''Writings of Charles S. Peirce : A Chronological Edition, Volume 5, 1884–1886'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.

* [[George Spencer Brown|Spencer Brown, George]] (1969), ''[[Laws of Form]]'', George Allen and Unwin, London, UK.

==Resources==

* [http://planetmath.org/ PlanetMath]
** [http://planetmath.org/encyclopedia/LogicalGraph.html Logical Graph : Introduction]
** [http://planetmath.org/encyclopedia/LogicalGraphFormalDevelopment.html Logical Graph : Formal Development]

* Bergman and Paavola (eds.), [http://www.helsinki.fi/science/commens/dictionary.html Commens Dictionary of Peirce's Terms]
** [http://www.helsinki.fi/science/commens/terms/graphexis.html Existential Graph]
** [http://www.helsinki.fi/science/commens/terms/graphlogi.html Logical Graph]

* [http://dr-dau.net/index.shtml Dau, Frithjof]
** [http://dr-dau.net/eg_readings.shtml Peirce's Existential Graphs : Readings and Links]
** [http://dr-dau.net/pc.shtml Existential Graphs as Moving Pictures of Thought] — Computer Animated Proof of Leibniz's Praeclarum Theorema

* [http://www.math.uic.edu/~kauffman/ Kauffman, Louis H.]
** [http://www.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form]

* [http://mathworld.wolfram.com/ MathWorld : A Wolfram Web Resource]
** [http://mathworld.wolfram.com/about/author.html Weisstein, Eric W.], [http://mathworld.wolfram.com/Spencer-BrownForm.html Spencer-Brown Form]

* Shoup, Richard (ed.), [http://www.lawsofform.org/ Laws of Form Web Site]
** Spencer-Brown, George (1973), [http://www.lawsofform.org/aum/session1.html Transcript Session One], [http://www.lawsofform.org/aum/ AUM Conference], Esalen, CA.

==Translations==

* [http://pt.wikipedia.org/wiki/Grafo_l%C3%B3gico Grafo lógico], [http://pt.wikipedia.org/ Portuguese Wikipedia].

==Syllabus==

===Focal nodes===

{{col-begin}}
{{col-break}}
* [[Inquiry Live]]
{{col-break}}
* [[Logic Live]]
{{col-end}}

===Peer nodes===

{{col-begin}}
{{col-break}}
* [http://mywikibiz.com/Logical_graph Logical Graph @ MyWikiBiz]
* [http://mathweb.org/wiki/Logical_graph Logical Graph @ MathWeb Wiki]
* [http://netknowledge.org/wiki/Logical_graph Logical Graph @ NetKnowledge]
{{col-break}}
* [http://wiki.oercommons.org/mediawiki/index.php/Logical_graph Logical Graph @ OER Commons]
* [http://p2pfoundation.net/Logical_Graph Logical Graph @ P2P Foundation]
* [http://semanticweb.org/wiki/Logical_graph Logical Graph @ SemanticWeb]
{{col-end}}

===Logical operators===

{{col-begin}}
{{col-break}}
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
{{col-break}}
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
{{col-end}}

===Related topics===

{{col-begin}}
{{col-break}}
* [[Ampheck]]
* [[Boolean domain]]
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Differential logic]]
{{col-break}}
* [[Logical graph]]
* [[Minimal negation operator]]
* [[Multigrade operator]]
* [[Parametric operator]]
* [[Peirce's law]]
{{col-break}}
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Truth table]]
* [[Universe of discourse]]
* [[Zeroth order logic]]
{{col-end}}

===Relational concepts===

{{col-begin}}
{{col-break}}
* [[Continuous predicate]]
* [[Hypostatic abstraction]]
* [[Logic of relatives]]
* [[Logical matrix]]
{{col-break}}
* [[Relation (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
{{col-break}}
* [[Relation theory]]
* [[Relative term]]
* [[Sign relation]]
* [[Triadic relation]]
{{col-end}}

===Information, Inquiry===

{{col-begin}}
{{col-break}}
* [[Inquiry]]
* [[Logic of information]]
{{col-break}}
* [[Descriptive science]]
* [[Normative science]]
{{col-break}}
* [[Pragmatic maxim]]
* [[Pragmatic theory of truth]]
{{col-break}}
* [[Semeiotic]]
* [[Semiotic information]]
{{col-end}}

===Related articles===

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”]

* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”]

==Document history==

Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.

{{col-begin}}
{{col-break}}
* [http://mywikibiz.com/Logical_graph Logical Graph], [http://mywikibiz.com/ MyWikiBiz]
* [http://mathweb.org/wiki/Logical_graph Logical Graph], [http://mathweb.org/wiki/ MathWeb Wiki]
* [http://netknowledge.org/wiki/Logical_graph Logical Graph], [http://netknowledge.org/ NetKnowledge]
* [http://p2pfoundation.net/Logical_Graph Logical Graph], [http://p2pfoundation.net/ P2P Foundation]
* [http://semanticweb.org/wiki/Logical_graph Logical Graph], [http://semanticweb.org/ Semantic Web]
{{col-break}}
* [http://proofwiki.org/wiki/Definition:Logical_Graph Logical Graph], [http://proofwiki.org/ ProofWiki]
* [http://planetmath.org/encyclopedia/LogicalGraph.html Logical Graph : 1], [http://planetmath.org/ PlanetMath]
* [http://planetmath.org/encyclopedia/LogicalGraphFormalDevelopment.html Logical Graph : 2], [http://planetmath.org/ PlanetMath]
* [http://knol.google.com/k/logical-graphs-1 Logical Graph : 1], [http://knol.google.com/ Google Knol]
* [http://knol.google.com/k/logical-graphs-2 Logical Graph : 2], [http://knol.google.com/ Google Knol]
{{col-break}}
* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph], [http://beta.wikiversity.org/ Wikiversity Beta]
* [http://getwiki.net/-Logical_Graph Logical Graph], [http://getwiki.net/ GetWiki]
* [http://wikinfo.org/index.php/Logical_graph Logical Graph], [http://wikinfo.org/ Wikinfo]
* [http://textop.org/wiki/index.php?title=Logical_graph Logical Graph], [http://textop.org/wiki/ Textop Wiki]
* [http://en.wikipedia.org/wiki/Logical_graph Logical Graph], [http://en.wikipedia.org/ Wikipedia]
{{col-end}}

<br><sharethis />

[[Category:Inquiry]]
[[Category:Open Educational Resource]]
[[Category:Peer Educational Resource]]
[[Category:Artificial Intelligence]]
[[Category:Combinatorics]]
[[Category:Computer Science]]
[[Category:Cybernetics]]
[[Category:Equational Reasoning]]
[[Category:Formal Languages]]
[[Category:Formal Systems]]
[[Category:Graph Theory]]
[[Category:History of Logic]]
[[Category:History of Mathematics]]
[[Category:Knowledge Representation]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Mathematics]]
[[Category:Philosophy]]
[[Category:Semiotics]]
[[Category:Visualization]]
Retrieved from "https://mywikibiz.com/index.php?title=User_talk:OmniMediaGroup&oldid=118927"