FedSearch - Federated network search engine

Jon Awbrey · @Inquiry

90 followers · 359 posts · Server mathstodon.xyz

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

We begin on a low but expansive plateau of #FormalSystems #Peirce mapped out in his system of #AlphaGraphs \((\alpha),\) a platform so abstract in its mathematical forms as to support at least two interpretations for use in the conduct of logical reasoning. Along the way, we incorporate the later contributions of George #SpencerBrown, who revived and augmented Peirce's system in his book #LawsOfForm.

#Logic #GraphTheory #ModelTheory #ProofTheory

#ProofTheory #modeltheory #graphtheory #logic #lawsofform #spencerbrown #alphagraphs #Peirce #formalsystems #LogicalGraphs

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

89 followers · 339 posts · Server mathstodon.xyz

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

In the century since #Peirce initiated this line of development, a variety of #FormalSystems have branched out from what is abstractly the same formal base of graph-theoretic structures. This article examines the common basis of those formal systems from a bird's eye view, focusing on those aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.

#Logic #GraphTheory

#graphtheory #logic #formalsystems #Peirce #LogicalGraphs

Last updated 2 years ago

Original post