#qualitativelogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #qualitativelogic, aggregated by home.social.
-
#LogicalGraphs • 1
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=noA #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 -
#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.