12,080
edits
Changes
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs (view source)
Revision as of 15:02, 30 July 2009
, 15:02, 30 July 2009→Introduction: TeX formats
|}
|}
This can be written inline as <math>{}^{\backprime\backprime} \texttt{(~(~)~)} = \qquad {}^{\prime\prime}</math> or set off in a text display:
This can be written inline as <math>{}^{\backprime\backprime} \texttt{(~(~)~)} = \quad {}^{\prime\prime}</math> or set off in a text display:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
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 trees here to be described.
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 trees 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 particular case either "(" or ")", that we happen to encounter in our travels.
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"
{| align="center" cellpadding="10"
Notice that, with rooted trees like these, drawing the arrows is optional, since singling out a unique node as the root induces a unique orientation on all the edges of the tree, ''up'' being the same as ''away from the root''.
Notice that, with rooted trees like these, drawing the arrows is optional, since singling out a unique node as the root induces a unique orientation on all the edges of the tree, ''up'' being the same as ''away from the root''.
We have already seen various forms of the axiom that is formulated in string form as " <math>((~))~=</math> ". For the sake of comparison, let's record the planar and dual forms of the axiom that is formulated in string form as "<math>(~)(~)~=~(~)</math>".
We have already seen various forms of the 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 planar and 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:
First the plane-embedded maps: