#formalsystems — 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

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 — 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 — 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 — 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 • 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 • 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 • 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 • 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

#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

#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

#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

#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