Logical Graph Article Index for
Logical
Shopping
Logical
Website Links For
Logical
 

Information About

Logical Graph




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


: ''Wollust ward dem Wurm gegeben ...''
: ( 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


''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:

o













---o
  ` ` ` ` ` ` ` `( ) ( )` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` (( )) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` O ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` (( )) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` O ` ` ` ` ` O ` ` ` ` ` ` ` ` o ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` `( ) ( )` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` (( )) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` `( ) ( )` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` (( )) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `


  ` ` ` ` ` ` ` ` A O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A(a)` ` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` a O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` `((ab)(ac)) ` ` ` ` a((b)(c)) ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` `( ) ( )` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` (( )) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A(a)` ` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` a O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` `((ab)(ac)) ` ` ` ` a((b)(c)) ` ` ` ` ` ` `
  { Align "center" cellpadding="4" style="width:80%"
  { Align "center" cellpadding="4" style="width:80%"
  ` ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` ((a)) ` ` ` ` ` ` ` a ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A O ` ` ` ` ` ` ` a O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A(b)` ` ` ` ` ` ` a(ab) ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A O ` ` ` ` ` ` ` ` O ` ` ` ` ` ` ` ` `
  ` ` ` ` ` ` ` ` A( )` ` ` ` ` ` ` `( )` ` ` ` ` ` ` ` `
  ` ` ` ` ` O ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` O ` ` ` `
  ` ` `(((p (q)) (p)) (p))) ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
  ` ` ` ` O ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` O ` ` ` `
  `((a(b))(d(c))((ad(bc)))) ` ` ` ` ` ` ` ` ` ` ` ` ` ` `