#formal-systems — Public Fediverse posts

A brief meditation on formal systems and lying goblins — https://the-nerve-blog.ghost.io/a-brief-meditation-on-formal-systems-and-lying-goblins/
#HackerNews #formalSystems #lyingGoblins #meditation #techPhilosophy #cognitiveScience

#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

#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

The Difference That Makes A Difference That Peirce Makes • 29

Re: Ontolog Forum • Jon Awbrey • John Sowa

We are called to recall Peirce’s deeper meanings
of ideas like Form (think Platonic Ideas and the
way Aristotle compounded Form and Matter).  When
we come to Sentiment, by any other word, Feeling,
that is the medium of Aesthetics, which concerns
Beauty in no merely skin-deep sense but all that
embodies and manifests ‘the admirable in itself’,
thus every form of life worth living.  So Peirce
stands the normative science of Logic on grounds
within the pale of Ethics and fixes the sight of
Ethics on the prize Aesthetics picks to steer by.

cc: Systems Science • Structural Modeling • Ontolog Forum • Laws of Form • Cybernetics