home.social

#spencerbrown — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #spencerbrown, aggregated by home.social.

  1. Animated Logical Graphs • 2
    inquiryintoinquiry.com/2015/01

    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
    inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    inquiryintoinquiry.com/2024/09

    Survey of Animated Logical Graphs
    inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

  2. Animated Logical Graphs • 1
    inquiryintoinquiry.com/2015/01

    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
    oeis.org/wiki/User:Jon_Awbrey/

    Double Negation
    inquiryintoinquiry.com/wp-cont

    Peirce's Law
    inquiryintoinquiry.com/wp-cont

    Praeclarum Theorema
    inquiryintoinquiry.com/wp-cont

    Two‑Thirds Majority Function
    inquiryintoinquiry.com/wp-cont

    A full discussion of logical graphs can be found in the following article.

    Logical Graphs
    oeis.org/wiki/Logical_Graphs

    Resources —

    Logical Graphs • First Impressions
    inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    inquiryintoinquiry.com/2024/09

    Survey of Animated Logical Graphs
    inquiryintoinquiry.com/2025/05

    cc: academia.edu/community/ldzadj
    cc: mathstodon.xyz/@Inquiry/116494
    cc: researchgate.net/post/Animated
    cc: stream.syscoi.com/2026/04/30/a
    cc: groups.io/g/lawsofform/topic/a

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

  3. Animated Logical Graphs • 1
    inquiryintoinquiry.com/2015/01

    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
    oeis.org/wiki/User:Jon_Awbrey/

    See the following article for a full discussion of this type of logical graph.

    Logical Graphs
    oeis.org/wiki/Logical_Graphs

    Additional Resources —

    Logical Graphs • First Impressions
    inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    inquiryintoinquiry.com/2024/09

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. Joseph Parker’s manager offers update on boxing future after failed drugs test

    Joseph Parker’s manager, Spencer Brown, claims his client’s failed drug test was a result of a contaminated substance.…
    #NewsBeep #News #Boxing #ban #Boxingnews #drugtest #FabioWardley #JosephParker #OleksandrUsyk #SpencerBrown #Sports #UK #UnitedKingdom #Update
    newsbeep.com/uk/306959/