Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicalGraphs</span></a> • 4<br>• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&amp;stable=0&amp;redirect=no#Abstract_POV" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&amp;stable=0&amp;redirect=no#Abstract_POV</span></a></p><p><a href="https://mathstodon.xyz/tags/AbstractPointOfView" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AbstractPointOfView</span></a> —</p><p>“Wollust ward dem Wurm gegeben …”<br>— <a href="https://mathstodon.xyz/tags/FriedrichSchiller" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FriedrichSchiller</span></a> • “An die Freude”</p><p>The <a href="https://mathstodon.xyz/tags/BirdsEyeView" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BirdsEyeView</span></a> in question is the perspective of <a href="https://mathstodon.xyz/tags/FormalEquivalence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalEquivalence</span></a>. From it we overlook a host of distinctions which appear momentous at lower levels of abstraction. Expressions belonging to different formalisms whose <a href="https://mathstodon.xyz/tags/SyntacticStructures" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SyntacticStructures</span></a> are algebraically or topologically isomorphic are not seen as distinct in any significant sense.</p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Peirce</span></a></p>