#spencerbrown — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #spencerbrown, aggregated by home.social.
-
Animated Logical Graphs • 2
• https://inquiryintoinquiry.com/2015/01/14/animated-logical-graphs-2/It's almost 50 years now since I first encountered the volumes of Peirce's “Collected Papers” in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown's “Laws of Form” in the Whole Earth Catalog and I sent off for it right away. I would spend the next decade just beginning to figure out what either one of them was talking about in the matter of logical graphs and I would spend another decade after that developing a program, first in Lisp and then in Pascal, that turned graph‑theoretic data structures formed on their ideas to good purpose as the basis of its reasoning engine.
I thought it might contribute to a number of long‑running and ongoing discussions if I could articulate what I think I learned from that experience.
So I'll try to keep focused on that.
Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce's Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsDouble Negation
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-double-negation-2.0.gifPeirce's Law
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-peirces-law-2.0.gifPraeclarum Theorema
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-praeclarum-theorema-2.0.gifTwo‑Thirds Majority Function
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-two-thirds-majority-function-2.0.gifA full discussion of logical graphs can be found in the following article.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsResources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/cc: https://www.academia.edu/community/ldzadj
cc: https://mathstodon.xyz/@Inquiry/116494097283214718
cc: https://www.researchgate.net/post/Animated_Logical_Graphs
cc: https://stream.syscoi.com/2026/04/30/animated-logical-graphs-1/
cc: https://groups.io/g/lawsofform/topic/animated_logical_graphs/119049814#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsSee the following article for a full discussion of this type of logical graph.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsAdditional Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
This thing all things devours:
Birds, beasts, trees, flowers;
Gnaws iron, bites steel;
Grinds hard stones to meal;
Slays king, ruins town,
And beats high mountain down.— Tolkien • The Hobbit
Talking about time is a waste of time. Time is merely an abstraction from process and what is needed are better languages and better pictures for describing process in all its variety. In the sciences the big breakthrough in describing process came with the differential and integral calculus, that made it possible to shuttle between quantitative measures of state and quantitative measures of change. But every inquiry into a new phenomenon begins with the slimmest grasp of its qualitative features and labors long and hard to reach as far as a tentative logical description. What can avail us in the mean time, still tuning up before the first measure, to reason about change in qualitative terms?
Et sic deinceps … (So it begins …)
#Animata, #CSPeirce, #Change, #Cybernetics, #DifferentialLogic, #GraphTheory, #LawsOfForm, #Logic, #LogicalGraphs, #Mathematics, #Paradox, #Peirce, #Process, #ProcessThinking, #SpencerBrown, #SystemsTheory, #Time, #Tolkien
-
Charles Sanders Peirce, George Spencer Brown, and Me • 4
• https://inquiryintoinquiry.com/2017/08/06/charles-sanders-peirce-george-spencer-brown-and-me-4/
• https://bsky.app/profile/inquiryintoinquiry.bsky.social/post/3lh5fsszkmk23Two things impacting my studies of Peirce and Spencer Brown over the years were my parallel studies in mathematics and computer science. In the overlap between those areas came courses in logic, mathematical linguistics, and the theory of formal languages, grammars, and automata.
My intellectual wanderings over a nine‑year undergraduate career would take me through a cycle of majors from math and physics, to communication, psychology, philosophy, and a cross‑cultural liberal arts program, then back to grad school in mathematics.
The puzzles Peirce and Spencer Brown beset my brain with were a big part of what drove me back to math, since I could see I had no chance of resolving them without learning a lot more algebra, logic, and topology than I had learned till then.
-
Charles Sanders Peirce, George Spencer Brown, and Me • 1
• https://inquiryintoinquiry.com/2017/07/20/charles-sanders-peirce-george-spencer-brown-and-me-1/
• https://bsky.app/profile/inquiryintoinquiry.bsky.social/post/3lgxtd6z3nk2tIt’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown’s Laws of Form in the Whole Earth Catalog and I sent off for it right away.
I would spend the next decade just beginning to figure out what either one of them was talking about in the matter of logical graphs and I would spend another decade after that developing a program, first in Lisp and then in Pascal, converting graph-theoretic data structures formed on their ideas to good purpose in the mechanics of its propositional reasoning engine. I thought it might contribute to a number of ongoing discussions if I could articulate what I think I learned from that experience.
-
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#Boole #BooleanAlgebra #BooleanFunctions #ModelTheory #ProofTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics