Mastodawn

Hacker News Mar 6, 2025

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

A brief meditation on formal systems and lying goblins

The other day I came across some people on The Internet talking about a certain scene from Labyrinth, which is a movie from the 80s (if you haven't seen it you should - lavish musical numbers, very unsettling Jim Henson puppetry, David Bowie doing contact juggling in spandex, it's really

The Nerve Blog

Show thread

Jon Awbrey Dec 7, 2022

#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

Logical Graphs - OeisWiki

Show thread

Jon Awbrey Dec 6, 2022

#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