Animated Logical Graphs

[Jon Awbrey]

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

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/

Regards,

Jon

[Jon Awbrey]

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.

Resource —

Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/

Regards,

Jon

cc: https://www.researchgate.net/post/Animated_Logical_Graphs