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

#AbstractPointOfView (cont.)

In particular, though we may note in passing such historical details as the circumstance that Charles Sanders #Peirce used a #StreamerCross symbol where George #SpencerBrown used a #CarpentersSquare marker, the theme of principal interest at the abstract level of form is neutral with regard to variations of that order.

#Logic #PropositionalCalculus #BooleanFunctions
#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 may seem 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.

#Logic