#LogicalGraphs • 5
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Abstract_POV

#AbstractPointOfView —

We may note in passing historical details like the fact Charles Sanders #Peirce used a #StreamerCross symbol where George #SpencerBrown used a #CarpentersSquare marker but the themes of primary interest at the abstract level of form are indifferent to variations of that order.

#Logic #PropositionalCalculus #BooleanFunctions
#Form #Idea #Isomorphism #MathematicalPerspective
#LawsOfForm #GraphTheory #ModelTheory #ProofTheory

#LogicalGraphs • 4
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Abstract_POV

#AbstractPointOfView —

“Wollust ward dem Wurm gegeben …”
— #FriedrichSchiller • “An die Freude”

The #BirdsEyeView in question is the perspective of #FormalEquivalence. From it we overlook a host of distinctions which appear momentous at lower levels of abstraction. Expressions belonging to different formalisms whose #SyntacticStructures are algebraically or topologically isomorphic are not seen as distinct in any significant sense.