Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a> • 1<br />• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&stable=0&redirect=no</span></a></p><p>A <a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#<span>LogicalGraph</span></a> is a graph-theoretic structure in one of the systems of graphical syntax Charles Sanders <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> developed for <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a>.</p><p>In his papers on <a href="https://mathstodon.xyz/tags/QualitativeLogic" class="mention hashtag" rel="tag">#<span>QualitativeLogic</span></a>, <a href="https://mathstodon.xyz/tags/EntitativeGraphs" class="mention hashtag" rel="tag">#<span>EntitativeGraphs</span></a>, and <a href="https://mathstodon.xyz/tags/ExistentialGraphs" class="mention hashtag" rel="tag">#<span>ExistentialGraphs</span></a>, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.</p><p><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="tag">#<span>BooleanFunctions</span></a><br /><a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="tag">#<span>GraphTheory</span></a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="tag">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="tag">#<span>ProofTheory</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.8Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#QualitativeLogic
0 posts · 0 participants · 0 posts today
Jon Awbrey<p><a href="https://mathstodon.xyz/tags/Survey" class="mention hashtag" rel="tag">#<span>Survey</span></a> of <a href="https://mathstodon.xyz/tags/AnimatedLogicalGraphs" class="mention hashtag" rel="tag">#<span>AnimatedLogicalGraphs</span></a> </p><p>• <a href="https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/05</span><span class="invisible">/01/survey-of-animated-logical-graphs-4/</span></a></p><p>This is a Survey of blog and wiki posts on <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a>, encompassing several families of graph-theoretic structures originally developed by C.S. <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> as graphical <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="tag">#<span>FormalLanguages</span></a> or visual styles of <a href="https://mathstodon.xyz/tags/Syntax" class="mention hashtag" rel="tag">#<span>Syntax</span></a> amenable to <a href="https://mathstodon.xyz/tags/Interpretation" class="mention hashtag" rel="tag">#<span>Interpretation</span></a> for <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a>.</p><p>In his papers on <a href="https://mathstodon.xyz/tags/QualitativeLogic" class="mention hashtag" rel="tag">#<span>QualitativeLogic</span></a>, <a href="https://mathstodon.xyz/tags/EntitativeGraphs" class="mention hashtag" rel="tag">#<span>EntitativeGraphs</span></a>, and <a href="https://mathstodon.xyz/tags/ExistentialGraphs" class="mention hashtag" rel="tag">#<span>ExistentialGraphs</span></a>, Peirce developed several versions of a <a href="https://mathstodon.xyz/tags/GraphicalFormalism" class="mention hashtag" rel="tag">#<span>GraphicalFormalism</span></a> designed to be interpreted for logic.</p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload