12,080
edits
Changes
redo figures with frames
''In medias res'', as always, we nevertheless need a quantum of formal matter to keep the topical momentum going. A game try at supplying that least bit of motivation may be found in this duo of transformations between the indicated forms of enclosure:
''In medias res'', as always, we nevertheless need a quantum of formal matter to keep the topical momentum going. A game try at supplying that least bit of motivation may be found in this duo of transformations between the indicated forms of enclosure:
[[Image:Logical_Graph_()().jpg|center]]
<p>[[Image:Logical_Graph_Figure_1.jpg|center]]</p>
[[Image:Logical_Graph_(()).jpg|center]]
<p>[[Image:Logical_Graph_Figure_2.jpg|center]]</p>
In lieu of better names, and in hope of a better reason to come in good time, we may for the moment refer to these two forms of transformation as ''[[axiom]]s'' or ''initials''.
In lieu of better names, and in hope of a better reason to come in good time, we may for the moment refer to these two forms of transformation as ''[[axiom]]s'' or ''initials''.
For example, consider the axiom or initial equation that is shown below:
For example, consider the axiom or initial equation that is shown below:
[[Image:Logical_Graph_(()).jpg|center]]
<p>[[Image:Logical_Graph_Figure_3.jpg|center]]</p>
This can be written inline as “ <math>(~(~)~)~=</math> ” or set off in a text display:
This can be written inline as “ <math>(~(~)~)~=</math> ” or set off in a text display:
For example, overlaying the corresponding [[dual graph]]s on the plane-embedded graphs shown above, we get the following composite picture:
For example, overlaying the corresponding [[dual graph]]s on the plane-embedded graphs shown above, we get the following composite picture:
[[Image:Logical_Graph_Figure_4.jpg|center]]
<p>[[Image:Logical_Graph_Figure_4.jpg|center]]</p>
Though it's not really there in the most abstract topology of the matter, for all sorts of pragmatic reasons we find ourselves almost 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]], indicated in the above Figure by the ''amphora'' or ''at'' sign, "@".
Though it's not really there in the most abstract topology of the matter, for all sorts of pragmatic reasons we find ourselves almost 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]], indicated in the above Figure by the ''amphora'' or ''at'' sign, "@".