#lawsofform — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lawsofform, aggregated by home.social.
-
New: "The Primordial Mark" — one operation (drawing a distinction) generates the ultrametric tree underlying spin glasses, p-adic numbers, QCD jets, and the Classification of Finite Simple Groups.
The CFSG is exhaust. The engine is the Mark.
🔗 https://doi.org/10.5281/zenodo.20369071
#LawsOfForm #SpencerBrown #ultrametric #pAdic #CFSG #consilience
-
New: "The Primordial Mark" — one operation (drawing a distinction) generates the ultrametric tree underlying spin glasses, p-adic numbers, QCD jets, and the Classification of Finite Simple Groups.
The CFSG is exhaust. The engine is the Mark.
🔗 https://doi.org/10.5281/zenodo.20369071
#LawsOfForm #SpencerBrown #ultrametric #pAdic #CFSG #consilience
-
New: "The Primordial Mark" — one operation (drawing a distinction) generates the ultrametric tree underlying spin glasses, p-adic numbers, QCD jets, and the Classification of Finite Simple Groups.
The CFSG is exhaust. The engine is the Mark.
🔗 https://doi.org/10.5281/zenodo.20369071
#LawsOfForm #SpencerBrown #ultrametric #pAdic #CFSG #consilience
-
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 • 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 • 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 • 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 • 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_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_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_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_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 -
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 -
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 -
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 -
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 -
I think even I can remember this
-
I think even I can remember this
-
I think even I can remember this
-
I think even I can remember this
-
I think even I can remember this
-
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
-
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
-
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
-
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
-
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
-
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
-
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
-
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
-
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
-
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
-
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 • 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 • 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 • 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 • 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.
-
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.
-
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.
-
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.
-
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.
-
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/That introduced the initial elements of logical graphs and hopefully supplied the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/That introduced the initial elements of logical graphs and hopefully supplied the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/That introduced the initial elements of logical graphs and hopefully supplied the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/That introduced the initial elements of logical graphs and hopefully supplied the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/That introduced the initial elements of logical graphs and hopefully supplied the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • First Impressions 1
• https://inquiryintoinquiry.com/2024/08/30/logical-graphs-first-impressions-1/Moving Pictures of Thought —
A logical graph is a graph‑theoretic structure in one of the systems of graphical syntax Charles S. Peirce developed for logic.
Introduction —
In numerous papers on qualitative logic, entitative graphs, and existential graphs, C.S. Peirce developed several versions of a graphical formalism, or a graph‑theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated their line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph‑theoretic structures. The posts to follow explore the common basis of those formal systems from a bird's eye view, focusing on the aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
Resources —
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsFutures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_GraphsPropositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_SystemsCharles Sanders Peirce • Bibliography
• https://mywikibiz.com/Charles_Sanders_Peirce
• https://mywikibiz.com/Charles_Sanders_Peirce_%28Bibliography%29#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus -
Logical Graphs • First Impressions 1
• https://inquiryintoinquiry.com/2024/08/30/logical-graphs-first-impressions-1/Moving Pictures of Thought —
A logical graph is a graph‑theoretic structure in one of the systems of graphical syntax Charles S. Peirce developed for logic.
Introduction —
In numerous papers on qualitative logic, entitative graphs, and existential graphs, C.S. Peirce developed several versions of a graphical formalism, or a graph‑theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated their line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph‑theoretic structures. The posts to follow explore the common basis of those formal systems from a bird's eye view, focusing on the aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
Resources —
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsFutures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_GraphsPropositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_SystemsCharles Sanders Peirce • Bibliography
• https://mywikibiz.com/Charles_Sanders_Peirce
• https://mywikibiz.com/Charles_Sanders_Peirce_%28Bibliography%29#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus