📰 Security Geometry: Measuring System Resilience

Learn about security geometry and how to measure system resilience. Discover graph and game theory models. Learn how to protect critical infrastructure.

https://dobrepanstwo.org/szkatulka-kosztownosci/geometria-bezpieczenstwa-jak-mierzyc-odpornosc-systemow

#criticalinfrastructure #safetygeometry #graphtheory #systemresilience #CERDirective

#Higraph progress!

Still got lots to do, but hyperEdges can now be saved & loaded in modified #graphml files. The "model tree" on the left highlights items in the graph on the right.
I can see "minimum viable product"!

The #hyperedge structure is both graphically and algebraically accessible. I'm not aware of anything else that does this, pretty certainly not in #Python
#graphTheory #VisualFormalism

My colleagues and I thought the world definitely didn't need another traditional or digital agency.

So we built something we agreed was actually missing: an agency with real, material agency as its engineered deliverable.

https://graphtheory.agency/

#GraphTheory
#AgencyAsDeliverable
#BusinessEngineers

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_Animations

Double Negation
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-double-negation-2.0.gif

Peirce's Law
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-peirces-law-2.0.gif

Praeclarum Theorema
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-praeclarum-theorema-2.0.gif

Two‑Thirds Majority Function
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-two-thirds-majority-function-2.0.gif

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

Logical Graphs
• https://oeis.org/wiki/Logical_Graphs

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/

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_Animations

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

Logical Graphs
• https://oeis.org/wiki/Logical_Graphs

Additional 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

Anyone that loves solving problems using graph theory? I am working on a domain specific programming language that works within a graph/network and would love some feedback from diverse fields.

#graphtheory #graphThinking #networkanalysis #programming #programminglanguages

“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar

➡️ https://hermathsstory.eu/tabitha-rajashekar/

#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory