Jon Awbrey · @Inquiry
89 followers · 338 posts · Server mathstodon.xyz#LogicalGraphs • 1
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no
A #LogicalGraph is a graph-theoretic structure in one of the systems of graphical syntax Charles Sanders #Peirce developed for #Logic.
In his papers on #QualitativeLogic, #EntitativeGraphs, and #ExistentialGraphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
#PropositionalCalculus #BooleanFunctions
#GraphTheory #ModelTheory #ProofTheory
#ProofTheory #modeltheory #graphtheory #BooleanFunctions #PropositionalCalculus #ExistentialGraphs #EntitativeGraphs #QualitativeLogic #logic #Peirce #logicalgraph #LogicalGraphs
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz#Survey of #AnimatedLogicalGraphs
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/
This is a Survey of blog and wiki posts on #LogicalGraphs, encompassing several families of graph-theoretic structures originally developed by C.S. #Peirce as graphical #FormalLanguages or visual styles of #Syntax amenable to #Interpretation for #Logic.
In his papers on #QualitativeLogic, #EntitativeGraphs, and #ExistentialGraphs, Peirce developed several versions of a #GraphicalFormalism designed to be interpreted for logic.
#GraphicalFormalism #ExistentialGraphs #EntitativeGraphs #QualitativeLogic #logic #interpretation #syntax #formallanguages #Peirce #LogicalGraphs #AnimatedLogicalGraphs #survey